An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions


The KIPS Transactions:PartD, Vol. 16, No. 4, pp. 527-540, Aug. 2009
10.3745/KIPSTD.2009.16.4.527,   PDF Download:

Abstract

State diagrams describe the dynamic behavior of an individual object as a number of states and transitions between these states. In this paper, we propose an automated technique to the generation of a state diagram from class operations with pre/post conditions. And I also develop a supporting tool, SDAG (State Diagram Automatic Generation tool). Additionally, we propose a complexity metric and a state diagram generation approach concerning types of each operation for decreasing complexity of generated state diagram.


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]
K. M. Lee, J. H. Bae, H. S. Chae, "An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions," The KIPS Transactions:PartD, vol. 16, no. 4, pp. 527-540, 2009. DOI: 10.3745/KIPSTD.2009.16.4.527.

[ACM Style]
Kwang Min Lee, Jung Ho Bae, and Heung Seok Chae. 2009. An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions. The KIPS Transactions:PartD, 16, 4, (2009), 527-540. DOI: 10.3745/KIPSTD.2009.16.4.527.