A transformation approach for modeling and analysis of complex UML statecharts: A case study

Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05

Volumn 1, Issue , 2005, Pages 361-367

  Hu, Zhaoxia ^a   Shatz, Sol M ^a  

^a 1120 Science and Engineering Offices   (United States)

Author keywords

Formal methods; Model analysis; Petri nets; Transformation; UML statecharts

Indexed keywords

COMPUTER SOFTWARE; ENGINEERING RESEARCH; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS;

EARLY WARNING SYSTEMS; FORMAL MODELING; INTERMEDIATE MODELS; MODEL ANALYSIS; MODELING AND ANALYSIS; MODELING AND SIMULATIONS; NET MODELS; PETRI-NET; TARGET MODELS; TRANSFORMATION; UML STATECHARTS;

FORMAL METHODS;

EID: 60749126690     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Fataricza and G. Savoia. Dependability Analysis in the Early Phases of UML-based System Design. Journal of Computer Systems Science and Engineering, 16(5), 2001, pp. 265-275.
2. G. Booch, I. Jacobson and J. Rumbaugh, The Unified Modeling Language User Guide, Addison-Wesley, 1999.
3. Z. Dong, Y. Fu, and X. He. Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. In Proc Int 'l Conf. on Software Engineering and Knowledge Engineering (SEKE '03), 2003.
4. H. dels. In Proc. of Fifth IEEE International Symposium on High Assurance Systems Engineering, 2000, pp. 83-Gábor and M. István. Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Mo92.
5. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts, Computing McGraw-Hill, 1998.
6. Z. Hu and S. M. Shatz. Mapping UML Diagrams to a Petri Net Notation to Exploit Tool Support for System Simulation. In Proc. Int 'l Conf. on Software Engineering and Knowledge Engineering (SEKE '04), 2004, pp. 213-219
7. Z. Hu and S. M. Shatz. Explicit Modeling of Semantics Associated with Composite States in UML Statecharts. Accepted for publication in the Int'l Journal of Automated Software Engineering. 2005.
8. L.M. Kristensen, S. Christensen, K. Jensen, "The Practitioner's Guide to Coloured Petri Nets," International Journal on Software Tools for Technology Transfer, 1998, Springer Verlag, pp. 98-132.
9. W. E. McUmber and B. H. Cheng. UML-based Analysis of Embedded Systems Using a Mapping to VHDL. In Proc. of IEEE high Assurance Software Engineering (HASE99). IEEE. 1999.
10. OMG. UML semantics 1.5, 2003, available at www.uml.org.
11. R. G. Pettit IV and H. Gomaa. Validation of Dynamic Behavior in UML Using Colored Petri Nets. In S. Kent, A. Evans, and B. Selic, editors, Proc. of UML '2000 Workshop - Dynamic Behaviour in UML Models: Semantic Questions, volume 1939 in LNCS. Springer Verlag, 2000.
12. I. Paltor and J. Lilius. Formalizing UML State Machines for Model Checking. In R. France and B. Rumpe, editors, UML'99 - The Unified Modeling Language. Beyond the Standard, volume 1723 in LNCS. Springer, 1999.
13. J. A. Saldhana, S. M. Shatz, and Z. Hu. Formalization of Object Behavior and Interactions From UML Models. International Journal of Software Engineering and Knowledge Engineering, 11(6), 2001, pp. 643-673.
14. J. Whittle. "Formal Approaches to Systems Analysis Using UML: An Overview." Journal of Database Management, 11(4), 2000, pp. 4-13.