Improvements towards formalizing UML state diagrams in CSP

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2005, Issue , 2005, Pages 176-182

  Yeung, W L ^a   Leung, Karl R P H ^b   Wang, Ji ^c   Dong, Wei ^c  

^a LINGNAN UNIVERSITY   (Hong Kong)

^b HONG KONG INSTITUTE OF VOCATIONAL EDUCATION   (Hong Kong)

^c NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; GRAPH THEORY; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

ABSTRACT SYNTAX; COMMUNICATING SEQUENTIAL PROCESSES (CSP); STATE DIAGRAMS (SD); UNIFIED MODELLING LANGUAGE (UML);

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 33847312772     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2005.70     Document Type: Conference Paper

References (20)

1. V. D. Bianco, L. Lavazza, and M. Mauri. Model Checking UML Specifications of Real Time Software. In Proc. 8th International Conference on Engineering of Complex Computer Systems (ICECCS'02). IEEE Computer Society, 2002.
2. Karsten Diethers and Michaela Huhn. Vooduu: Verification of object-oriented designs using UPPAAL. In Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2004, volume 2988 of LNCS, pages 139-143, 2004.
3. Wei Dong, Ji Wang, Xuan Qi, and Zhi-Chang Qi. Model checking UML statecharts. In Proc. 8th Asia-Pacific Software Engineering Conference APSEC'01. IEEE, 2001.
4. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, 2003.
5. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
6. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
7. D. N. Jansen, H. Hermanns, and J.-P. Katoen. A Probabilistic Extension of UML Statecharts: Specification and Verification. In FTRTFT 2002, volume 2469 of LNCS, pages 355-374. Springer, 2002.
8. V. S. W. Lam and J. Padget. Formalization of UML statechart diagrams in the pi-calculus. In D. D Grant, editor, Proceedings of 13th Australian Software Engineering Conference, pages 213-223, 2001.
9. D. Latella, I. Majzik, and M. Massink. Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637-664, 1999.
10. Johan Lilius and Ivan Porres Paltor. vUML: A Tool for Verifying UML Models. In Proceedings of 14th IEEE International Conference on Automated Software Engineering. IEEE Computer Society, 1999.
11. William E. McUmber and Betty H. C. Cheng. A general framework for formalizing uml with formal languages. In Proceedings of the 23rd International Conference on Software Engineering, pages 433-442. IEEE Computer Society, 2001.
12. Huaikou Miao, Ling Liu, and LiLi. Formalizing UML models with object-z. In Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, volume 2495 of Lecture Notes in Computer Science, pages 523-534, 2002.
13. Muan Yong Ng and Michael Butler. Tool Support for Visualizing CSP in UML. In C. George and H. Miao, editors, Proc. ICFEM 2002, volume 2495 of Lect. Notes Comp. Sci., pages 287-298. Springer, 2002.
14. Muan Yong Ng and Michael Butler. Towards Formalizing UML State Diagrams in CSP. In Proc. 1st IEEE International Conference on Software Engineering and Formal Methods, Lect. Notes Comp. Sci., pages 138-147. IEEE Computer Society, 2003.
15. Object Management Group. OMG Unified Modeling Language Specification Version 1.5, March 2003.
16. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
17. Bill Roscoe. Compiling statemate statecharts into CSP and verifying them using FOR - abstract. http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/ publications/94ab.ps, January 2003.
18. S.A.Schneider. Concurrent and Real-time Systems: The CSP Approach. John Wiley, 2000.
19. Michael von der Beeck. Formalization of UML-Statecharts. In UML 2001, volume 2185 of LNCS, pages 406-421. Springer, 2001.
20. Xuede Zhan and Huaikou Miao. An approach to formalizing the semantics of UML statecharts. In Conceptual Modeling - ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004, volume 3288 of LNCS, pages 753-765, 2004.