Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML

Jérémie Tatibouët, Arnaud Cuccuru, Sébastien Gérard, François Terrier

Abstract

The purpose of UML profile mechanism is to design domain specific languages (DSL) based on UML. It exists a wide range of UML profiles: MARTE, ROOM, SysML. Current profile design methodology only considers the syntactic part of the language and keeps informal the execution semantics description. This impairs Model Driven Engineering (MDE) promises which advocates for executable models. This paper presents a systematic approach to formalize the execution semantics of UML profiles using foundational UML (normative specification) which defines a precise semantics for a subset of UML. This approach is integrated into the reference profile design methodology. It is illustrated on a small profile to support Turing machines. It demonstrates capability to execute resulting profiled models through the defined semantics.

References

  1. Chang, W.-T., Ha, S., and Lee, E. A. (1997). Heterogeneous simulation: Mixing discrete-event models with dataflow. J. VLSI Signal Process. Syst., 15(1/2):127- 144.
  2. Cuccuru, A., Mraidha, C., Terrier, F., and Gérard, S. (2007). Enhancing uml extensions with operational semantics behaviored profiles with templates. In Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, MODELS'07, pages 271-285, Berlin, Heidelberg. Springer-Verlag.
  3. Harel, D. and Rumpe, B. (2004). Meaningful modeling: What's the semantics of semantics? Computer, 37(10):64-72.
  4. Mayerhofer, T., Langer, P., and Wimmer, M. (2012). Towards xmof: executable dsmls based on fuml. In Proceedings of the 2012 workshop on Domain-specific modeling, DSM 7812, pages 1-6, New York, NY, USA. ACM.
  5. MetaCase (2012). Domain specific modeling with metaedit+ : 10 times faster than uml.
  6. Mraidha, C., Tanguy, Y., Jouvray, C., Terrier, F., and Gérard, S. (2008). An execution framework for martebased models. In Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems, ICECCS 7808, pages 222-227, Washington, DC, USA. IEEE Computer Society.
  7. Muller, P.-A., Fleurey, F., and Jézéquel, J.-M. (2005). Weaving executability into object-oriented metalanguages. In Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, MoDELS'05, pages 264-278, Berlin, Heidelberg. Springer-Verlag.
  8. Noyrit, F., Gérard, S., and Terrier, F. (2013). Computer assisted integration of domain-specific modeling languages using text analysis techniques. In Proceedings of the 16th international conference on Model Driven Engineering Languages and Systems, MoDELS'13.
  9. OMG-Alf (2012). Action language for foundational uml. Technical report, Object Management Group.
  10. 4Real-Time Object-Oriented Modeling OMG-fUML (2010). Semantics of a foundational subset for executable uml models. Technical report, Object Management Group.
  11. OMG-Marte (2011). Modeling and analysis of real-time embedded systems. Technical report, Object Management Group.
  12. OMG-MOF (2011). Meta object facility. Technical report, Object Management Group.
  13. OMG-UML (2011). Unified modeling language. Technical report, Object Management Group.
  14. Pardillo, J. (2010). A systematic review on the definition of uml profiles. In Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, MODELS'10, pages 407- 422, Berlin, Heidelberg. Springer-Verlag.
  15. Phan, T. H., Gerard, S., and Terrier, F. (2004). Languages for system specification. In Grimm, C., editor, Languages for system specification, chapter Real-time system modeling with ACCORD/UML methodology: illustration through an automotive case study, pages 51-70. Kluwer Academic Publishers, Norwell, MA, USA.
  16. Riccobene, E. and Scandurra, P. (2010). An executable semantics of the systemc uml profile. In Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, ABZ'10, pages 75- 90, Berlin, Heidelberg. Springer-Verlag.
  17. Selic, B. (2007). A systematic approach to domain-specific language design using uml. In Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 7807, pages 2-9, Washington, DC, USA. IEEE Computer Society.
  18. Selic, B. (2009). Elements of model-based engineering with uml2: What they don't teach you about uml.
  19. Selic, B. and Limited, O. (1996). Real-time object-oriented modeling (room). In Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS 7896), RTAS 7896, pages 214-, Washington, DC, USA. IEEE Computer Society.
  20. Tatibouet, J., Cuccuru, A., Gérard, S., and Terrier, F. (2013). Principles for the realization of an open simulation framework based on fuml (wip). In Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, DEVS 13, pages 4:1-4:6, San Diego, CA, USA. Society for Computer Simulation International.
Download


Paper Citation


in Harvard Style

Tatibouët J., Cuccuru A., Gérard S. and Terrier F. (2014). Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 182-192. DOI: 10.5220/0004696801820192


in Bibtex Style

@conference{modelsward14,
author={Jérémie Tatibouët and Arnaud Cuccuru and Sébastien Gérard and François Terrier},
title={Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={182-192},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004696801820192},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML
SN - 978-989-758-007-9
AU - Tatibouët J.
AU - Cuccuru A.
AU - Gérard S.
AU - Terrier F.
PY - 2014
SP - 182
EP - 192
DO - 10.5220/0004696801820192