A framework to simulate UML models: Moving from a semi-formal to a formal environment

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2004, Pages 1519-1523

  Cavarra, Alessandra ^a   Riccobene, Elvinia ^b   Scandurra, Patrizia ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF CATANIA   (Italy)

Author keywords

Abstract State Machines; Model Mapping; UML; UML Models Simulation

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER WORMS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; SEMANTICS; SYSTEMS ANALYSIS;

ABSTRACT STATE MACHINES (ASM); SINGNALS EXCHANGE; TRANSITION SYSTEMS; UNIFIED MODELING LANGUAGES (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 2442581467     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. E. Börger, A. Cavarra, and E. Riccobene. Modeling the Dynamics of UML State Machines. In Y. Gurevich et al., editor, Abstract State Machines. Theory and Applications, LNCS 1912, pp 223-241. Springer, 2000.
2. E. Börger, A. Cavarra, and E. Riccobene. A precise semantics of UML State Machines: making semantic variation points and ambiguities explicit, In Proc. Semantic Foundations of Engineering Design Languages (SFEDL02) - ETAPS 2002.
3. E. Börger, A. Cavarra, and E. Riccobene. Modeling the meaning of transitions from and to concurrent states in UML State Machines. In ACM SAC 2003 Software Engineering Track.
4. E. Börger, R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.
5. A. Cavarra, E. Riccobene, and P. Scandurra. Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines. In E. Börger et al., editor, ASM 2003, LNCS 2589. Springer, 2003.
6. iUML, from Kennedy Carter's website. http://www.kc.com.
7. Kabira Design Center, from Kabira company. http://www.Kabira.com.
8. W.E. McUmber and B.H.C. Cheng. A General Framework for Formalizing UML with Formal Languages. In ICSE01. IEEE Computer Society Press, 2001.
9. I. Ober. An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. In E. Börger et al., ed., ASM 2003, vol. 2589 LNCS. Springer, 2003.
10. Poseidon UML Tool, http://www.gentleware.com.
11. BridgePoint Development Suite http://www.projtech.com.
12. Prosasim UML simulator. http://www.prosa.fi/eng/pr2Sim.htm.
13. OMG Unified Modeling Languages Specification, version 1.4, 2001.
14. OMG Unified Modeling Languages Specification, version 1.5, 2003.
15. UMLAUT. http://www.irisa.fr/pampa/UMLAUT/.