Proposition d'une démarche de type IDM pour la construction d'outils d'exécution de processus

RESUME. L'ingenierie des systemes d'information fait appel a de multiples langages pour modeliser, programmer et manipuler divers artefacts tout le long du cycle de developpement. Ces langages sont generalement supportes par des outils logiciels. La construction de ces outils est une tâche complexe menee souvent de maniere ad-hoc. L’exploitation adequate des techniques de meta-modelisation a le potentiel faciliter cette tâche. Cependant, pour un langage de modelisation de processus, la prise en compte de sa semantique d’execution dans un meta-modele n’est pas encore au point. Dans cet article, nous presentons une demarche basee sur l'usage de meta-modeles evenementiels et de regles de transformation pour decrire la semantique d'execution d'un modele de processus et en deriver une architecture d'outil d'execution. Cette demarche est experimentee avec un langage de modelisation oriente intention et le resultat est compare avec des travaux anterieurs.

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

[2]  J. Favre,et al.  L'ingénierie dirigée par les modèles : au-delà du MDA , 2006 .

[3]  Jean Bézivin,et al.  Towards an advanced model-driven engineering toolbox , 2009, Innovations in Systems and Software Engineering.

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

[5]  Anneke Kleppe The Field of Software Language Engineering , 2008, SLE.

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

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

[8]  PaakkiJukka Attribute grammar paradigmsa high-level methodology in language implementation , 1995 .

[9]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[10]  João Saraiva,et al.  Generative and Transformational Techniques in Software Engineering II , 2007, Lecture Notes in Computer Science.

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

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

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

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

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

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

[17]  Denyse Baillargeon,et al.  Bibliographie , 1929 .

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

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

[20]  Xavier Crégut,et al.  The TOPCASED project : a toolkit in open source for critical aeronautic systems design , 2006 .

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

[22]  Gabor Karsai,et al.  Metamodelling - State of the Art and Research Challenges , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[23]  Peter Lucas,et al.  Formal Semantics of Programming Languages: VDL , 1981, IBM J. Res. Dev..

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

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

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

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

[28]  Diomidis Spinellis,et al.  Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer? , 2009, IEEE Software.

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

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

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

[32]  G. Winskel The formal semantics of programming languages , 1993 .