skip to main content
10.5555/2499634.2499638acmotherconferencesArticle/Chapter ViewAbstractPublication PagesspringsimConference Proceedingsconference-collections
research-article

Principles for the realization of an open simulation framework based on fUML (WIP)

Authors Info & Claims
Published:07 April 2013Publication History

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. OMG, Semantics of a Foundational Subset for Executable UML Models, 1.0 ed., 2011.Google ScholarGoogle Scholar
  3. OMG, Action Language for Foundational UML, 1.0 ed., 2012.Google ScholarGoogle Scholar
  4. OMG, Unified Modeling Language, 2.4.1 ed., 2011.Google ScholarGoogle Scholar
  5. 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 ScholarGoogle Scholar
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. OMG, Modeling And Analysis Of Real-Time Embedded Systems, 1.1 ed., 2011.Google ScholarGoogle Scholar
  10. T. Mayerhofer, P. Langer and G. Kappel, "A runtime model for fuml," [email protected], 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. E. A. Lee and A. Sangiovanni-Vincentelli, "Comparing models of computation," International conference on Computer-aided design, pp. 234--241, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader