Simulation-based analysis of UML statechart diagrams: Methods and case studies

Software Quality Journal

Volumn 16, Issue 1, 2008, Pages 45-78

  Lian, Jiexin ^a   Hu, Zhaoxia ^a   Shatz, Sol M ^a  

^a 1120 Science and Engineering Offices   (United States)

Author keywords

Design analysis; Formal methods; Petri nets; UML statecharts

Indexed keywords

FORMAL METHODS; GRAPHIC METHODS; PETRI NETS;

DESIGN ANALYSIS; EARLY WARNING SYSTEM; PETRI NET MODELS; SIMULATION-BASED ANALYSIS; STATE CHART DIAGRAMS; UML STATECHART DIAGRAMS; UML STATECHARTS; VISUAL REPRESENTATIONS;

UNIFIED MODELING LANGUAGE;

EID: 37849047179     PISSN: 09639314     EISSN: 15731367     Source Type: Journal    
DOI: 10.1007/s11219-007-9020-9     Document Type: Article

References (33)

1. Baresi, L., & Pezzè, M. (2001). On formalizing UML with high-level Petri nets. In G. Agha & F. De Cindio (Eds.), Concurrent object-oriented programming and Petri nets (a special volume in Petri Nets series), (Vol. 2001 of LNC, pp. 271-300). Springer Verlag.
2. Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Fataricza, A., & Savoia, G. (2001). Dependability analysis in the early phases of UML-based system design. Journal of Computer Systems Science and Engineering, 16(5), 265-275.
3. Booch, G., Jacobson, I., & Rumbaugh, J. (1999). The unified modeling language user guide. Reading: Addison-Wesley.
4. Corbett, J. C., Dwyer, M. B., Hatcliff, J., Laubach, S., Pasareanu, Robby, C. S., & Zheng, H. (2000). Bandera: Extracting finite-state models from Java source code. Proceedings of international conference on software engineering (ICSE ''00), IEEE.
5. Crane, M. L., & Dingel, J. (2005). UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal. Proceedings of 8th international conference on model driven engineering languages and systems, October 2-7, 2005.
6. Design/CPN. See http://www.daimi.au.dk/designCPN/
7. Dong, Z., Fu, Y., & He, X. (2003). Deriving hierarchical predicate/transition nets from statechart diagrams. Proceedings of international conference on software engineering and knowledge engineering (SEKE'03).
8. Dwyer, M. B., Avrunin, G. S., & Corbett, J. C. (1999). Patterns in property specifications for finite-state verification. Proceedings of international conference on software engineering (ICSE ''99). IEEE.
9. Gabor, H., & Istvan, H. M. (2000). Quantitative analysis of dependability critical systems based on UML statechart models. Proceedings of international symposium on high assurance systems engineering (HASE '00), IEEE.
10. Gery, E., Harel, D., & Palatshy, E. (2002). Rhapsody: A complete lifecycle model-based development system. Proceedings of international conference on integrated formal methods (pp. 1-10).
11. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 231-274.
12. Harel, D., & Politi, M. (1998). Modeling reactive systems with statecharts. New York: McGraw-Hill.
13. Hu, Z., & Shatz, S. M. (2004). Mapping UML diagrams to a Petri net notation to exploit tool support for system simulation. Proceedings of international conference on software engineering and knowledge engineering (SEKE'04) (pp. 213-219).
14. Hu, Z., & Shatz, S. M. (2005). A transformation approach for modeling and analysis of complex UML statecharts: A case study. Proceedings of the international workshop on the applications of UML/MDA to software systems (UMSS05). Las Vegas, NV, June.
15. Hu, Z., & Shatz, S. M. (2006). Explicit modeling of semantics associated with composite states in UML statecharts. Journal of Automated Software Engineering, 13(4), 423-467.
16. ITU-T Recommendation Z.120: Message Sequence Chart. International Telecommunication Union; Telecommunication Standardization Sector (ITU-T), 1999.
17. Jensen, K. (1997). Coloured Petri nets: Basic concepts, analysis methods and practical use. Springer Verlag, 2nd corrected printing 1997.
18. Kristensen, L. M., Christensen, S., & Jensen, K. (1998). The practitioner's guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer (pp. 98-132). Springer Verlag.
19. Lilius, J. & Paltor, I. (1999). vUML: A tool for verifying UML models. Proceedings of the 14th international conference on automated software engineering (pp. 255-258), IEEE.
20. McUmber, W. E., & Cheng, B. H. (1999). UML-based analysis of embedded systems using a mapping to VHDL. In Proceedings of IEEE high assurance software engineering (HASE99). IEEE.
21. Message Sequence Chart Library, available at www.daimi.au.dk/designCPN/ libs/mscharts/
22. Murata, T. (1989). Petri Nets: Properties analysis and applications. Proceedings of IEEE, 77(4), 541-580.
23. ObjectGEODE. www.csverilog.com
24. OMG. UML Semantics 1.5, available at www.uml.org
25. OMG. UML Semantics 2.0, available at www.uml.org
26. Paltor, I., & Lilius, J. (1999). Formalizing UML state machines for model checking. In R. France & B. Rumpe (Eds.), UML'99 - The unified modeling language. Beyond the standard (Vol. 1723 in LNCS). Springer.
27. Pettit, IV, R. G. (2003). Improving the reliability of concurrent object-oriented software designs. Workshop on object-oriented real-time and dependable systems (WORDS03). Capri, Italy, October.
28. Pettit, IV, R. G., & Gomaa, H. (2000). Validation of dynamic behavior in UML using colored Petri nets, In S. Kent, A. Evans, & B. Selic (Eds.), Proceedings of UML 2000 Workshop - Dynamic behaviour in UML models: Semantic questions (Vol. 1939 in LNCS). Springer Verlag.
29. Pettit, IV, R. G., & Gomaa, H. (2001). Modeling state-dependent objects using colored Petri nets. Proceedings of coloured Petri nets 2001: Modeling of objects, components and agents workshop. Aarhus, Denmark, August, 2001.
30. Rational Rose Realtime Documentation. Version 2003.06, Rational Software Corporation.
31. Saldhana, J. A., Shatz, S. M., & Hu, Z. (2001). Formalization of object behavior and interactions from UML models. International Journal of Software Engineering and Knowledge Engineering, 11(6), 643-673.
32. Whittle, J. (2000). Formal approaches to systems analysis using UML: An overview. Journal of Database Management, 11(4), 4-13.
33. Xu, H., & Shatz, S. M. (2003). A framework for model-based design of agent-oriented software. IEEE Transactions on Software Engineering, 29(1), 15-30.