A method of implementing UML virtual machines with some constraints based on Abstract State Machines

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2003-January, Issue , 2003, Pages 224-233

  Shen, Wuwei ^a   Compton, Kevin ^b   Huggins, James ^c  

^a Western Michigan University   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

^c KETTERING UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

ABSTRACT STATE MACHINES; DESIGNING SOFTWARES; META MODEL; SOFTWARE DEVELOPER; SOFTWARE MODEL; SOFTWARE SYSTEMS; UML VIRTUAL MACHINES; VIRTUAL MACHINES;

SOFTWARE DESIGN;

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

References (15)

1. M. Anlauff. XASM - an extensible, component-based abstract state machines langu age. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Abstract State Machines - Theory and Applications, volume 1912 of LNCS, pages 69-90. Springer.
2. E. Börger, A. Cavarra, and E. Riccobene. An ASM semantics for UML activity diagrams. In Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, volume 1816 of LNCS. Springer.
3. E. Börger, A. Cavarra, and E. Riccobene. Modeling the dynamic of UML state machines. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Abstract State Machines - Theory and Applications, volume 1912 of LNCS, pages 223-241. Springer.
4. E. Börger, I. Durdanovic, and D. Rosenzweig. Occam: Specification and compiler correctness. Part I: Simple mathematical interpreters. In E. O. U. Montanari, editor, Proceedings of PROCOMET'94 (IFIP Working Conference on Programming Concepts, Methods and Calculi), pages 489-508, North-Holland, 1994.
5. E. Börger, U. Glässer, and W. Muller. The semantics of behavioral vhdl'93 descriptions. In Proceedings of EURO-DAC'94/EURO-VHDL'94. IEEE Press, 1994.
6. E. Börger and W. Schulte. Programmer friendly modular definition of the semantics of java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in LNCS, 1998.
7. A. Cavarra and E. Riccobene. Simulating uml statecharts. In Proceeding of EUROCAST 2001, pp 224-227, Gran Canaria, Spain Feb. 2001.
8. K. Compton, Y. Gurevich, J. Huggins, and W. Shen. An automatic verification tool for UML. Technical Report Technical report, CSE-TR-423-00, Dept. of EECS, University of Michigan, May, 2000.
9. M. Gogolla and M. Richters. On constraints and queries in UML. In M. Schader and A. Korthaus, editors, The Unified Modeling Language - Technical Aspects and Applications, pages 109-121. Physica-Verlag, Heidelberg, 1998.
10. M. F. Group. Introducing asml: A tutorial for the abstract state machine language. Technical report, Microsoft FSE Group, Dec, 2001.
11. Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
12. OMG Unified Modeling Language Specification, version 1.3, June 1999.
13. OMG XML Metadata Interchange (XMI) Specification. OMG. 2000.
14. M. Richters and M. Gogolla. Validating UML models and OCL constraints. In UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, volume 1939 of LNCS, pages 265-277. Springer, 2000.
15. D. Riehle, S. Fraleigh, D. Bucka-Lassen, and N. Omorogbe. The architecture of a UML virtual machine. In Proceedings of the OOPSLA'01 conference on Object Oriented Programming Systems Languages and Applications, pages 327-341, 2001.