Alessandra Cavarra
ABSTRACT
This paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract State Machines (ASMs). Structural model elements are translated into an ASM vocabulary as collections of domains and functions, whereas the dynamic view is captured by multi-agent ASMs reflecting the behavior modeled by UML state machines.In the toolkit presented, input UML models can be drawn using any UML CASE Tool able to produce the XMI format for diagrams. This textual representation is exploited to initialize the ASM model for UML state machines which can be symbolically executed by AsmGofer, an advanced Abstract State Machine programming system.Tool features are described through the simulation of a simple stack-printer UML model showing the interactions among state machines by signals exchange and operation calls.
- 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.]] Google Scholar
Digital Library
- 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.]]Google Scholar
- 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.]]Google Scholar
- E. Börger, R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.]] Google ScholarDigital Library
- 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.]]Google Scholar
- iUML, from Kennedy Carter's website. http://www.kc.com.]]Google Scholar
- Kabira Design Center, from Kabira company. http://www.kabira.com.]]Google Scholar
- W. E. McUmber and B. H. C. Cheng. A General Framework for Formalizing UML with Formal Languages. In ICSE01. IEEE Computer Society Press, 2001.]] Google ScholarDigital Library
- 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.]]Google Scholar
- Poseidon UML Tool. http://www.gentleware.com.]]Google Scholar
- BridgePoint Development Suite http://www.projtech.com.]]Google Scholar
- Prosasim UML simulator. http://www.prosa.fi/eng/pr2sim.htm.]]Google Scholar
- OMG Unified Modeling Languages Specification, version 1.4, 2001.]]Google Scholar
- OMG Unified Modeling Languages Specification, version 1.5, 2003.]]Google Scholar
- UMLAUT. http://www.irisa.fr/pampa/UMLAUT/.]]Google Scholar
- A framework to simulate UML models: moving from a semi-formal to a formal environment
Recommendations
An Execution Framework for MARTE-Based Models
ICECCS '08: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer SystemsThe UML is now the most widespread language for systems modeling. However, this language has been designed as a general purpose modeling language that may lack for modeling constructs for specific domain, as for the real-time embedded (RTE) domain. In ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...
An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations
WRT '12: Proceedings of the Fifth Workshop on Refactoring ToolsWhen refactorings are applied to software models that are specified using the Unified Modeling Language (UML), the actual model and the graphical presentation of the model using a diagram need to be distinguished. While UML refactoring tools exist, they ...
Comments