Vers une sémantique orientée événement des modèles de processus. Démarche de type IDM

Information System engineering involves multiple languages for modeling, programming and handling various artifacts throughout the development cycle. Beyond abstract and concrete syntax, the specification of a language raises the tricky problem of expressing its semantics. A precise and rigorous expression of language semantics is essential to building software support tools, in particular when the language possesses executable semantics and when the construction of an execution tool is envisioned. In this paper, we present an approach in which process execution semantics are expressed using an event meta-model, and a set of transformation rules are defined and applied in order to derive the object-oriented architecture of an execution tool. This approach is illustrated on the case of a goal-oriented modeling language. To highlight the conceptual and methodological contributions of this approach, we discuss in detail how it relates and compares to a significant set of related works. 2 ISI. Volume X – n° 1/2015 MOTS-CLÉS : Ingénierie des langages logiciels, méta-modélisation, exécutabilité d’un modèle, sémantique d’un modèle de processus, exécution de processus.

[1]  Gerti Kappel,et al.  xMOF: Executable DSMLs Based on fUML , 2013, SLE.

[2]  Benoît Combemale,et al.  Towards Rigorous Metamodeling , 2006, MDEIS.

[3]  Jukka Paakki,et al.  Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.

[4]  Marc-Henri Edme.  Proposition pour la modélisation intentionnelle et le guidage de l'usage des systèmes d'information , 2005 .

[5]  Anne-Marie Kermarrec,et al.  The many faces of publish/subscribe , 2003, CSUR.

[6]  Colette Rolland,et al.  A Multi-Model View of Process Modelling , 1999, Requirements Engineering.

[7]  Carine Souveyet,et al.  Proposition d'une démarche de type IDM pour la construction d'outils d'exécution de processus , 2014, INFORSID.

[8]  Pierre Boulet,et al.  Evaluation of Modeling Tools Adaptation , 2012 .

[9]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[10]  Benoît Combemale,et al.  Definition of an Executable SPEM 2.0 , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[11]  Saïd Assar,et al.  Enacting a Requirement Engineering Process with Meta-Tools: an Exploratory Project , 2013 .

[12]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[13]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[14]  Carine Souveyet.  Validation des specifications conceptuelles d'un systeme d'information , 1991 .

[15]  Donald E. Knuth,et al.  Semantics of context-free languages , 1968, Mathematical systems theory.

[16]  Görel Hedin.  An Introductory Tutorial on JastAdd Attribute Grammars , 2009, GTTSE.

[17]  Angelo Gargantini,et al.  A semantic framework for metamodel-based languages , 2009, Automated Software Engineering.

[18]  Eelco Visser,et al.  The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge , 2013, SLE.

[19]  Dániel Varró,et al.  Lessons learned from building model-driven development tools , 2012, Software & Systems Modeling.

[20]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[21]  Uwe Aßmann,et al.  Reference Attribute Grammars for Metamodel Semantics , 2010, SLE.

[22]  Benoît Combemale,et al.  Generative Technologies for Model Animation in the TopCased Platform , 2010, ECMFA.

[23]  Steven Kelly.  Empirical comparison of language workbenches , 2013, DSM '13.

[24]  Jean-Marc Jézéquel,et al.  Bridging the chasm between MDE and the world of compilation , 2012, Software & Systems Modeling.

[25]  Glynn Winskel,et al.  The formal semantics of programming languages - an introduction , 1993, Foundation of computing series.

[26]  Tony Clark,et al.  Applied Metamodelling: A Foundation for Language Driven Development (Third Edition) , 2015, ArXiv.

[27]  Benoît Combemale,et al.  Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification , 2009, J. Softw..

[28]  Annika Hinze,et al.  Event-based applications and enabling technologies , 2009, DEBS '09.

[29]  Anneke Kleppe,et al.  Software Language Engineering: Creating Domain-Specific Languages Using Metamodels , 2008 .

[30]  Remco M. Dijkman,et al.  A visual token-based formalization of BPMN 2.0 based on in-place transformations , 2013, Inf. Softw. Technol..

[31]  Sana Mallouli.  Méta-modélisation du Comportement d'un Modèle de Processus : Une Démarche de Construction d'un Moteur d'Exécution , 2014 .

[32]  Ralf Lämmel,et al.  Guest Editors' Introduction to the Special Section on Software Language Engineering , 2009, IEEE Trans. Software Eng..

[33]  Jean-Marc Jézéquel,et al.  Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.

[34]  Marjan Mernik,et al.  A preliminary study on various implementation approaches of domain-specific language , 2008, Inf. Softw. Technol..

[35]  Paul Klint,et al.  On the impact of DSL tools on the maintainability of language implementations , 2010, LDTA.

[36]  Michael Philippsen,et al.  eSPEM - A SPEM Extension for Enactable Behavior Modeling , 2010, ECMFA.

[37]  Antonio Vallecillo,et al.  Adding Behavioral Semantics to Models , 2007 .

[38]  Raman Ramsin,et al.  Computer-Aided Method Engineering: An Analysis of Existing Environments , 2008, CAiSE.

[39]  Gabor Karsai,et al.  Challenges and directions in formalizing the semantics of modeling languages , 2011, Comput. Sci. Inf. Syst..

[40]  Olivier Barais,et al.  Model Driven Language Engineering with Kermeta , 2009, GTTSE.

[41]  Vitus S. W. Lam.  A Precise Execution Semantics for BPMN , 2012 .

[42]  Jean-Yves Lingat.  Rubis : un systeme pour la specification et le prototypage d'applications bases de donnees , 1988 .