Tanja Mayerhofer
Philip Langer
ABSTRACT
With the introduction of fUML, an OMG standard defining the operational semantics of a subset of UML and the conforming virtual machine, UML models can be used not only for informal design sketching but also for completely building executable systems. Although this has been an important step for UML, the full potential of having executable UML models, such as enabling runtime analysis and adaptation, cannot be realized using the standardized virtual machine due to the lack of the adequate means for accessing important runtime information and controlling the execution of UML models. In this paper, we aim at establishing the necessary basis to overcome this limitation. Therefore, we introduce extensions of the standardized fUML virtual machine in terms of a dedicated trace model, an event model, and a command API. We provide an open-source implementation of the proposed extensions, as well as a model debugger for UML models based on this implementation to demonstrate the feasibility of the presented concepts.
- G. S. Blair, N. Bencomo, and R. B. France. [email protected]. IEEE Computer, 42(10):22--27, 2009. Google Scholar
Digital Library
- M. Broy, M. V. Cengarle, H. Grönniger, and B. Rumpe. Definition of the system model. In UML 2 Semantics and Applications, pages 61--93. Wiley, 2009.Google Scholar
- B. R. Bryant, J. Gray, M. Mernik, P. J. Clarke, R. B. France, and G. Karsai. Challenges and directions in formalizing the semantics of modeling languages. Computer Science and Information Systems, 8(2):225--253, 2011.Google ScholarCross Ref
- C. Ghezzi, A. Mocci, and M. Sangiorgio. Runtime monitoring of functional component changes with behavior models. In Proc. of MODELS'11, pages 152--166, 2012. Google ScholarDigital Library
- A. Hamou-Lhadj and T. C. Lethbridge. A metamodel for the compact but lossless exchange of execution traces. Softw. Syst. Model., 11(1):77--98, 2012. Google ScholarDigital Library
- J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen. Empirical assessment of MDE in industry. In Proc. of ICSE '11, pages 471--480, 2011. Google ScholarDigital Library
- S. Maoz. Model-based traces. In Proc. of MODELS'08, pages 109--119, 2009. Google ScholarDigital Library
- S. J. Mellor and M. J. Balcer. Executable UML: A foundation for model-driven architecture. Addison Wesley, 2002. Google ScholarDigital Library
- B. Selic. The less well known UML. In Formal Methods for MDE, volume 7320 of LNCS, pages 1--20. Springer Berlin / Heidelberg, 2012. Google ScholarDigital Library
- T. Vogel, S. Neumann, S. Hildebrandt, H. Giese, and B. Becker. Incremental model synchronization for efficient run-time monitoring. In Proc. of MODELS'09, pages 124--139, 2010. Google ScholarDigital Library
Index Terms
- A runtime model for fUML
Recommendations
Combining fUML and profiles for non-functional analysis based on model execution traces
QoSA '13: Proceedings of the 9th international ACM Sigsoft conference on Quality of software architecturesFor developing software systems it is crucial to consider non-functional properties already in an early development stage to guarantee that the system will satisfy its non-functional requirements. Following the model-based engineering paradigm ...
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams
Advanced Information Systems EngineeringAbstractThe quality of the specifications used for test generation plays an important role in the quality of the generated tests. One approach to improve the quality of the UML specification is the use of executable models specified using the Foundational ...
Activity diagrams between devs-based modeling & simulation and fuml-based model execution
SummerSim '20: Proceedings of the 2020 Summer Simulation ConferenceActivity Diagrams are prominently used for modeling for both system and software engineering. Their metamodel in the Unified Modeling Language (UML), and the System Modeling Language (SysML), is used to standardize specifying behavioral models in a flow-...
Comments