ABSTRACT
Model-based engineering is becoming a de facto paradigm for designing complex systems and software. By being executable, models are easier to understand, as well as systems they abstract. UML is the most natural choice for modeling. fUML is an executable subset of UML with precise operational semantics. From causal relations defined in a model, fUML semantics only constructs partial execution orders. When considering fUML in a simulation process, this limitation is possibly an issue for engineers to observe various execution schemes and to have a representative execution of a system model. Usually simulation frameworks control the execution of an application thanks to a dedicated entity. This latter is responsible for the construction of the execution order conforming to the semantics of a specific Model of Computation (MoC). Furthermore it can be used to reflect extra-functional aspects like time. In order to overcome these limitations, this paper proposes principles to use fUML as a simulation environment. We propose to extract the execution control policy from a fUML model and to delegate it to a specific simulation library defining MoCs as fUML models. This library is responsible for controlling the execution and simulating extra-functional aspects. This approach provides the required flexibility and openness needed to support various applications domains. The solution is evaluated on a simple, but representative example.
- R. E. Shannon, "Introduction to the art and science of simulation," Proceedings of the 30th conference on Winter simulation (WSC '98), pp. 7--14, 1998. Google ScholarDigital Library
- OMG, Semantics of a Foundational Subset for Executable UML Models, 1.0 ed., 2011.Google Scholar
- OMG, Action Language for Foundational UML, 1.0 ed., 2012.Google Scholar
- OMG, Unified Modeling Language, 2.4.1 ed., 2011.Google Scholar
- A. Benyahia, "Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes," 2012.Google Scholar
- A. Benyahia, A. Cuccuru, S. Taha, F. Terrier, F. Boulanger and S. Gérard, "Extending the standard execution model of UML for real-time systems," Distributed and Biologically Inspired Systems, pp. 43--54, 2010.Google Scholar
- E. Riccobene, P. Scandurra and S. Bocchio, "A uml 2.0 profile for systemc: toward high-level soc de-sign," Proceedings of the 5th ACM international con-ference on Embedded software, pp. 138--141, 2005. Google ScholarDigital Library
- E. Aboussoror, I. Ober and I. Ober, "Seeing errors: Model driven simulation trace visualization," Model Driven Engineering Languages and Systems, pp. 480--496, 2012. Google ScholarDigital Library
- OMG, Modeling And Analysis Of Real-Time Embedded Systems, 1.1 ed., 2011.Google Scholar
- T. Mayerhofer, P. Langer and G. Kappel, "A runtime model for fuml," [email protected], 2012. Google ScholarDigital Library
- E. A. Lee and A. Sangiovanni-Vincentelli, "Comparing models of computation," International conference on Computer-aided design, pp. 234--241, 1996. Google ScholarDigital Library
Recommendations
Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software DevelopmentInnovations constraints due to competition forces industrials to increase features and services of their sys-tems, while improving their quality and reducing both time and cost to market. Consequently, product com-plexity is not far from the limit of ...
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 ...
Model-driven development of simulation solution based on SysML starting with the simulation core
TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S SymposiumToday's market is filled with a variety of simulation solutions for discrete-event simulation, but each one has its own meta-model. A conversion between these meta-models is complicated or even impossible. In some cases this is intended by the vendor of ...
Comments