The Performance-ability Evaluation of an UML Activity Diagram with the EMFG


The KIPS Transactions:PartD, Vol. 13, No. 1, pp. 117-124, Feb. 2006
http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.117,   PDF Download:
Keywords: EMFG(Extended Mark Flow Graph), UML(Unified Modeling Language), AD(Activity Diagram), Performance-ability
Abstract

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
Y. Jeong-Mo and L. Mi-Soon, "The Performance-ability Evaluation of an UML Activity Diagram with the EMFG," The KIPS Transactions:PartD, vol. 13, no. 1, pp. 117-124, 2006. DOI: http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.117.

[ACM Style]
Yeo Jeong-Mo and Lee Mi-Soon. 2006. The Performance-ability Evaluation of an UML Activity Diagram with the EMFG. The KIPS Transactions:PartD, 13, 1, (2006), 117-124. DOI: http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.117.