An approach to formalizing the semantics of UML statecharts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3288, Issue , 2004, Pages 753-765

  Zhan, Xuede ^a   Miao, Huaikou ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE DESIGN; SOFTWARE TESTING;

FREE STATE; OBJECT-ORIENTED SYSTEM; REGULAR EXPRESSIONS; STATE MODELS; UML STATECHARTS;

SEMANTICS;

EID: 33847300414     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30464-7_56     Document Type: Article

References (18)

1. OMG UML Specification, version 2.0, Nov 2003, http://www.omg.org .
2. S-K. Kim and D. Carrington, A formal metamodeling approach to a transformation between the UML state machine and object-Z, In Proceedings of International Conference on Formal Engineering Methods 2002, Springer Verlag, LNCS 2495.
3. E. Mikk, Y. Lakhnech, C. Petersohn and M. Siegel, On Formal Semantics of Statecharts as Supported by STATEMATE, In 2nd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, July 1997.
4. D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodology (Also available as technical report of Weizmann Institute of Science, CS95-31), 5(4):293-333, Oct 1996.
5. D. Harel, A. Pnueli, J.P. Schmidt and R. Sherman. On the Formal Semantics of Statecharts. In Proc. 2nd IEEE Symp. on Logic in Computer Science, pages 56-64. IEEE Press, 1987.
6. Robert V. Binder. Testing Object-Oriented System:Models, Patterns, and Tools. Addison Wesley Longman, Inc. 2000.
7. Pnueli and M. Shalev, What is in a step: on the semantics of statscharts, Proceedings of International Conference on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, Vol. 298, pages 245-264,Springer- Verlag, 1991.
8. Huaikou Miao, Ling Liu, and Li Li, Formalizing UML Models with Object-Z, In Proceedings of International Conference on Formal Engineering Methods 2002, Springer-Verlag, LNCS 2495, p. 523
9. Y. Jin, R. Esser and J. W. Janneck. Describing the syntax and semantics of UML Statecharts in a heterogeneous modeling environment. Proceedings DIAGRAMS 2002,2002.
10. Uselton and S. Smolka. A compositional semantics for Statecharts using labeled transition systems. In CONCUR '94, volume 836 of LNCS, pages 2-17. Springer-Verlag, 1994.
11. Huizing, R. Gerth, and W.P. de Roever. Modeling Statecharts behavior in a fully abstract way. In CAAP '88, volume 299 of LNCS, pages 271-294. Springer-Verlag, 1988.
12. M.v.d. Beeck. Formalization of UML-Statecharts. M. Gogolla and C. Kobryn (Eds.): «UML« 2001, LNCS 2185,pp.406-421,2001. Springer 2001.
13. S. Kuske. A Formal Semantics of UML State Machines Based on Structured Graph Transformation. M. Gogolla and C. Kobryn (Eds.): «UML« 2001, LNCS 2185, pp.406-421, 2001. Springer 2001.
14. Li Liuying.Wang Ji, Qi Zhichang. An Operational Semantics for UML Statechart Diagrams. Journal of Software, Vol. 12, pages 1864-1873, 2001.
15. issertation] (in Chinese). National University of Defense Technology, Changsha, 2000.
16. Bowen, J. P. Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press, 1996.
17. Jacky, J. The Way of Z: Practical Programming with formal Methods. Cambridge University Press, 1997.
18. Bowen, J. P. Experience Teaching Z with Tool and Web Support. Technical Report SBUCISM-00-30, SCISM, South Bank University, London, UK, 2000.