Formalization of UML statechart diagrams in the π-calculus

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2001-January, Issue , 2001, Pages 213-223

  Lam, Vitus S W ^a   Padget, Julian ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; GRAPHIC METHODS; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMPOSITE STATE; INTERNAL TRANSITIONS; PI CALCULUS; PSEUDO-STATES; SEMI-FORMAL SPECIFICATION; STATE CHART DIAGRAMS; UML STATECHART DIAGRAMS;

CALCULATIONS;

EID: 33646408045     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2001.948515     Document Type: Conference Paper

References (16)

1. OMG Unified Modeling Language Specification Version 1.3. June 1999. http://www.omg.org/technology/documents/for mal.
2. OMG Unified Modeling Language Specification Version 1.3. March 2000. http://www.rational.com/uml/resources/docume ntation/index.jsp.
3. Booch, G., Rumbaugh, J. and Jacobson, I. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
4. Milner, R., Parrow, J. and Walker, D. A Calculus of Mobile Process (Parts I and II). Information and Computation, 1992, 100, pp. 1-77.
5. Milner, R. The Polyadic 7r-Calculus: A Tutorial. Logic and Algebra of Specification. Springer-Verlag, 1993, pp. 203-246.
6. Milner, R. Communication and Concurrency. Prentice Hall, 1989.
7. Honda, K. and Tokoro, M. An Object Calculus for Asynchronous Communication. In: Proceedings of the 5th European Conference on Object-Oriented Programming, Lecture Notes in Computer Science 512, 1991, pp. 133-147.
8. Pierce, B. C. and Turner, D. N. Concurrent Objects in a Process Calculus. In: Theory and Practice of Parallel Programming, Lecture Notes in Computer Science 907, 1995, pp. 187-215.
9. Zhang, X. and Potter, J. Class-based Models in the 7r-Calculus. In: Proceedings of the 25th International Conference in Technology of Object-Oriented Languages and Systems, 1997, pp. 219-231.
10. Harel, D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 1987, 8(3), pp. 231-274.
11. Harel, D. and Naamad, A. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 1996, 5(4), pp. 293-333.
12. Reggio, G., Astesiano, E., Choppy, C. and Hussmann, H. Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. In: Proceedings of FASE 2000, Lecture Notes in Computer Science 1783, 2000.
13. Mikk, E., Lakhnech, Y. and Siegel, M. Hierarchical Automata as Model for Statecharts. In: Proceedings of the 3rd Asian Computing Science Conference (ASIAN '97), Lecture Notes in Computer Science 1345, 1997, pp. 181-196.
14. Lilius, J. and Paltor, LP. The Semantics of UML State Machines. TUCS Technical Report No. 273. Turku Centre for Computer Science, 1999.
15. Seshia, S. A., Shyamasundar, R. K., Bhattacharjee, A. K. and Dhodapkar, S. D. A Translation of Statecharts to Esterel. Lecture Notes in Computer Science 1709, 1999, pp. 983-1007.
16. Victor, B. and Moller, F. The Mobility Workbench: A Tool for the π-Calculus. In: Proceedings of CAV '94, Lecture Notes in Computer Science 818, 1994, pp. 428-440.