Personal report of the 3rd ECMDA-FA07 conference

Compte-R endu Conféren ce ECMD A 2007 11-14 juin, Haifa, Israël Benoît Combemale IRIT CNRS (UMR 5505) 2, rue Charles Camichel F-31071 T oulouse Cedex 7 http://combe male.perso. enseeiht.fr 3 novembre 2018 Résumé Ce document reprend mes notes personnelles, su r un style "informel", prises au cours de la conférence ECMD A 2007. I l mentionne l’intégralité du program me de la conférence (titr e de l’article et nom de l a personne qui a présenté) en détaillant certaines des présentations. T able des matières 1 Introduction 2 2 ECMD A : Main Confer ence (June 13, 2007 ) 2 2.1 Ke ynote : Stuart K ent (Microsoft) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Session A : Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.3 Session B : Founda tions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.4 Session C : Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 ECMD A : Main Confer ence (June 14, 2007 ) 4 3.1 Ke ynote : Andy Schü rr (Darmstadt Univ ersit y of T echnolog y) . . . . . . . . . . . . . . 4 3.2 Session D : ModelW are . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.3 Session E : Foundation s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.4 Session F : Foundation s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 4 Conclusion 6 1 1 Introd uction La conférence européenne ECMD A-F A ’07 ( http://www.hai fa.il.ibm.com /conferences/ecmda2007/ ) sur l’Ingénierie Dirigée par les Modè les a eu lieu le 13 et 14 juin 2007 à Haifa (Israël). Cette conférence est découpée en 2 t ypes de session : Applications (plutôt industrielles) et Foundation s (plutôt acadé- miques). Les actes so nt édités par Springer dans le LNCS V ol. 4530. Le p rogramme de la conférence est accessible à l’adresse http://www. haifa.il.ibm. com/conferenc es/ecmda2007/program.html et le résumé de chacune des présentations à l’adresse http ://www.haifa. il.ibm.com/co nferences/ecmda2007/abstr a c t s . h t m l . Adossé à cette conférence ont eu lieu le 11 juin un workshop informel sur la rencontre entre acadé- miques et industriels et le 12 juin un workshop sur la tracabilité des modèles ( http://modelb ased.net/ecmd a- traceabilit y / ) dont les actes sont disponibles à l’adresse http:/ /modelbased.n et/ecmda- tracea bility/papers07/ECMDA- TW- 07- P r o c e e d i n g s - F i n a l . p d f . 2 ECMD A : Main Confer ence (J une 13 , 2007) 2.1 Keynote : Stuart Ken t (Micr os oft) Pragmatic s of Model Driven development Après avoir présen té les notions de DSL et de DSD (Domain-Specific Dev elopment) tels qu’ils sont définis chez Microsoft, Stuart Ke nt a présenté le pragmatique de la plateforme Visu al Studio pour le dévelo ppement spécifique à un doma ine. A trav ers un exe mple d’application (réserv ation de chambres d’hôtel), il a présenté la plate-forme selon les points sui v ants : – V alidation de con traintes : utilisation du langage LINQ, un l angage proc he d’OCL a vec des primi- tiv es pour la génération de messages d’erreurs. – Modèles comple xes : possibilités de combiner différents diagrammes (de même t ype ou pas) cor- respondan ts à dif férents points de vue ou à dif f érents niv eaux de hiérarchisation. La plate-forme supporte le référencemen t de fragments de modèle à partir d’o pérateurs comme diff., mer ge. . . . – Mappings (génération de code, reverse , model to model) : le but est de pouv oir tra vailler sur des parties générées. On définit pour cela sur le code ou le modèle les parties q ui sont maîtres (lec- ture/écriture) et celles q ui sont esc lav es (lecture uniquement). Une limite toutefois : le prob l ème du round-tripping . – Personnalisation : la personna lisation peut se faire sur les générateurs d’outils, sur l es générateurs de cod e ou sur le code généré. Le versionning de vient alors c ompliqué : T ool platform vendor (v1, v2...), tool ve ndor (v 1.1, v1.2...v2.1....), tool customizers (v1.1.1, 1.1.2... .) et application builder (v1.1.1.1....). Cela pose alors le problème de qui peut personnaliser quoi ? La plate-forme doit permettre de le définir clairement. – Intégration du processus : la plate-forme essaye de combiner l’approche DS L av ec les méthodes agiles. 2.2 Session A : Ap plications Model T ransf ormation f rom O WL-S to BPEL Via SiT ra (Gareth H owells, Kent Univer - sity) L ’exposé a porté principalement sur la présentation du langag e d e transfo rmation SiT ra ( Simple T ransformer ) ; l’application O WL2BPEL détaillée dans l’article n’étant que brièvement év oquée. Les hypoth èses de conception de ce l angage de transforma tion sont : – les utilisateurs ne ve ulent pas utiliser une nouvelle approche autre que celle des langages de pro- grammation, – ils ne veulent pas appréhend er de nou veaux concepts de programmation. Ainsi, SiTra a pour objectif de permettre d’écrire une transformation par un langage de program- mation (jav a. . . ) et fournit pour cela des librairies : l a classe SimpleT ransformer , les interfaces Rule et T ransformer , et un certain nombre de méthodes ( chec k pour vérifier si la t ransformation peut être appli- quée, build pour construire un élément du modèle cible, setP r operties pour assigner des valeurs à des propriétés du modèle cible. . . ) à spécialiser pour chaque transformation. L ’exécution de l a transformation revient alors à créer une instance de T ransformer , à enregistrer la transformation, puis à appeler chacune des règles quand la méthode chec k ren voie true (ie. l’objet n’a pas encore été traité). 2 Les fonctionna lités principales de la v ersion actuelle sont la définition de règles simples, la réutilisa- tion de règles (composition ET/OU), l’héritage de règles et l’in vocation implicite/exp licite de règles. Les limitations actuelles de la plate-forme sont l’in vocation récursiv e d’une règle et le choix de la règle à applique r pour un même objet. T owards a Model-Driven Approach to auto matic BPEL ( Xiaofeng Y u, Nanjing Univer - sity par télé-conférence) Présentation d’un mappin g en QVT entre EDOC-CCA (profil UML de l’OMG pour E DOC qui per - met de modéliser la structure et le comportement de composants et leurs orchestrations) et BP EL (langage de w orkflo w s exécu table). Le but est d’u tiliser EDOC-CCA pour spécifier de manière ab straite l’orches- tration puis générer automatique ment l e wo rkflow BPEL. A Model- Driven Sof tware Factory using DSL (présenté par Annek e Kleppe, T wente Uni- versity) L ’exposé a commencé par une introduction au frame work Microsoft : Les déve loppeurs de DSL définissent un domain model à partir duqu el on t peu t générer un compo sant qui s’installe d ans l’IDE po ur le dévelop pement d’applications. Les développ eurs d’applications définissent des application model , conformes au modèle de domaine et génère ensuite semi-automatiquement le code de leur application. Le r este de la présentation était un retour d’expérience sur l’utilisation de ce framew ork pour le dévelo ppement de l’usine logicielle SMAR T -Microsoft. Les c onclusions principales sont : – d’utiliser des petits DSL et accepter qu’ils ne prennent pas tout en compte, – un modèle ne doit pas tenir compte d’une technologie particulière. C’est la transformation Mo- del2Code qui doit introduire cette technologie. 2.3 Session B : F oundations A Practical A pproach to Model Extension (Jean Bézivin, I NRIA) L ’exposé a commencé par une présentation de la plate-forme AMMA (A TM, AMW , AM3. . . ) puis a montré la nécessité d’avoir des mécanismes d’extension de modèle (+ notion de treillis de modèles). L ’exemp le pris pour cela est le méta-modèle des réseaux de P etri que l’on souhaite étendre pour ajouter le marquage couran t au cours d’une exécution. Les auteurs proposent une formalisation de la relati on "e xtensionOf" (un sous ensemble clair de l’opérateur "mer ge" introduit par l’OMG) et propose trois moy ens de l’implémenter : concaténation de descriptions textuelles en KM3, un modèle de lien (weaving) entre les 2 parties du méta-modèle ou une approche par transformation de modèle qui complète le premier par les informations du second. T owards the Generation o f a T ext Based IDE from a language M etamodel (Annek e Kleppe, T wente University) Après avoir introdu it les principales différences entre un méta-modèle et une grammaire (références conteneurs, mots-clés absent du metamodèle. . . ), l’auteur propose une approche pour définir des outils textuels (basé sur un e BNF) à partir d’un méta-modèle. Elle définit la notion de P arse Model (PM) qui rajoute au modèle de la syntaxe abtraite (AS M), à trav ers une transformation ASM2PM, les mots-clés permettant le parsing de texte (Rq : il peut y av oir plusieurs PM pour un ASM). A partir de là, une transformation PM2BNF fait le pont vers les outils génératifs de l’ingénierie des langag es. Les principales conclusions sont : – des outils textuels peuve nt être générés à partir d’un méta-modèle, – il faut une séparation claire entre la syntax e abstraite et une ou plusieurs syntaxes concrètes. Human Comprehens ible and Machine Processable Specifica tions of Opera tional Seman- tics (Markus Scheidgen, Berlin Uni versity) Les auteurs présentent dans cet article une méthode pour décrire la sémantique opérationnelle d’un méta-modèle. Ils proposent de définir pour une classe statique (instance de la métaclasse contenant les informations statiques), n classes d’exécution, toutes instances de la métaclasse héritant de la première et rajoutant les informations dynamiques, i.e. évo luant au cours de l’exécution. Ils proposent ensuite de 3 définir des diagrammes d’acti vités pour définir les transitions possibles d’un état à l’autre d’un modèle. L ’opérationalisation est exprimée a l’aide d’action s de base de création, modification, suppression. . . Associé à cette ap proche, ils ont définis un interpréteur générique permettant l’e xécution de modèles définis à partir d’un méta-modèle complété d’une telle description de la sémantique. 2.4 Session C : Ap plications Improving the Interoperability of A utomative T ools by Raising the Abstraction from Le- gacy XMI F ormats to Standardized Meta-Models (Mark Brokens , Carmeq GmbH) Model Re-engineering from T races to V alidate Distrib ute d Systems - An Industrial Case Study (Andreas Ulrich, Siemens A G) Adopting Model-Driven Development in a Large F inancial Organizatio n (Y ael Shaham- Gafni, Metaphor V ision Ltd.) 3 ECMD A : Main Confer ence (June 14, 2007) 3.1 Keynote : Andy Schürr (Darmstadt University of T echnology) Model-Driven De velopment With Matlab Simu link & State flow L ’exposé a montré l’utilisation de l’atelier Matlab Simulink & Stateflo w (MSS) dans les pro jets Mate et T oolnet. Le projet MA TE ( http://www. moflon.org/su ccess_stories/mate.html ) avait pour objectif de définir des guidelines sous MSS et les vérifier sur les modèles définis. Le principe adopté est de passer par le MOF et la définition de S DM (diagramme d’activité UML + règles de ré-écriture de graphes) à l’aide de transformations définis avec l’env i ronnement MOFLON ( http://www. moflon.org/ ). Les apports par rapport à OCL sont d’avoir des propriétés plus simples à lire, de pouvoir les définir de manière graphique et av ec un plus fort pouvoir d’expre ssion (fermeture transitiv e ...). Le projet TOOLNET ( htt p://www.moflo n.org/success _stories/toolnet.html ) per- met d’établir des liens de traçabilité e ntre d es ex i gences et les modèles MSS. Ils définissent pour cela d es spécifications bi-directionnelles (en utili sant le lan gage de transformation de graphe TGG, sous ensemble de QVT) et génèrent tous les dif férents scénarios. L ’exposé se termine par une description de l’atelier MOFLON (MOF , DiaGen, OCL, SDM, T GG, V elocity) et une co mparaison par rapports aux autres (AMMA, GME, Fujaba. . . ). Les problèmes ouv erts : – certains concepts UML (associations qualifiées. . . ) , – intégrer la définition de profil UML, – contraintes OCL : vérification de contraintes incrémentales, fermeture transitiv e, pattern-matching. . . – définition formelle des transformations de modèles locales avec SDM, – fusionner TGG avec QVT relationne l, – l’intégration avec le frame work de génération d’éditeur Diameta ( http://www.mo flon.org/succ ess_stories/diam e t a . h t m l ) . 3.2 Session D : ModelW are Is MDA Ready for R eal Business ? - A User Perspectives ! (Bjo rn Nordmoen, W estern- Geco) Conclusions en vrac : – on peut pas évaluer l’amélioration de la produ ctiv ité, – la création de profils est trop compliquée. 4 Adopting MD A in a Small Enterprise (Regis V ogel, IHG) Experimental V alidation of the Effects of Model Driven Development on the Soft ware Lifecycle (Y ael Dubinsk y , IBM Haifa Research Lab) Modelware Dis cussion 3.3 Session E : F oundations Scenarios of T racea bility in Model to T ext T ransformations (Goran Olsen, SINTEF) Présentation de l’outil MOFscript implémentant l e langage de transformation de même nom. Il a été dévelo ppé sous la forme d’un plugin Eclipse, dans le cadre de Modelw are. La présentation souligne la nécessité d’av oir des liens de traçabilité dans le cadre de transformations modèle à texte (traçabilité end-to-end, spécifications des t ransformations diffé rentes du développeme nt de système par les ingénieurs, modifications manuelles du code généré. . . ). Dans MOFscript : – la transformation a des références vers les éléments du modèle, – chaque référence est utilisée pour générer un fichier texte. De ce tte manière, le pro totype permet d’a voir un e vision de la trace pou r chaqu e élément d u modèle, un e couv erture des éléments utilisés pour générer. . . An Algebraic view on the Semantics of Model Composition Formalisation de la composition de modèles à différents niv eaux (syntaxique, sémantique, métho- dique) et études de diffé rentes propriétés à chacun des niv eaux. Execution of Aspect oriented UML Models (Pablo Sanchez, Uni versity of Mala ga) Hypothèse de départ : les modèles ex écutables sont une réali té mais pas encore de module de concep- tion d’application s basé sur le "cross-c utting" : ⇒ expression du comportemen t par des diagrammes d’activités, ⇒ transformation en Xpath et A TL pour gérer le cross cutting. 3.4 Session F : Foun dations T emplateable Metamodel f or Semantic V ariation P o ints (Arnaud Cucurru, CEA LI ST) Les auteurs s’intéressent aux points de variation sémantique (PVS) dans les métamodèles. Ces P VS consistuent une information essentielle dans le domaine de l’ingénierie des langages mais sont aussi présents dans l ’IDM où ils ne son t pas clairement identifiés et son t décrits le plus souv ent informellement dans la documen t ation associée aux métamodèles. La spécification d’UML 2 est un bon ex emple de cet état de fait. Ainsi, le MOF ne prop ose aucun mécanisme pour identifier ni traiter les PVS. Les auteurs proposent de s’i nspirer du mécanisme de généricité présent dans les langages de pro- grammation pour paramétrer un métamodèle, aussi bien au niv eau des paquetag es que des méta-classes. La no tation proposée s’appuie sur les templates d’UM L 2 et es t illustrée sur les machines à états d’UML 2 en s’intéressant à deux points de variation sémantique : l a sélection des événements et l a sélection des transitions. Chacun de ces deux PVS est décrit par une méta-classe, est utili sé comme paramètre de généricité du paquetage des machines à état et de la méta-classe State concernée par ces PVS . Deux réalisations c oncrètes de ces PVS so nt p roposées correspo ndant à des p olitiques respecti vement aléatoire et stochastique. Constraints Modeling for (Profiled) UML Models (François Lagarde, CEA LIST) L ’exposé part du constat qu’un st éréotype ajoute une information sémantique à un élément du mo- dèle. L ’augme ntation du nombre de profils définis amène à ce poser des question s sur leu rs com ptabilités entre eux, i.e. définition d’un cadre sain pour appliquer plusieurs profils simultanément. Dans ce contexte, les au teurs propo sent des mécan ismes pour exprimer des co ntraintes portant sur l’application. Ces méca- nismes ont été définis par des profils. Quelques informations ont été données sur le prototype (plugin Ecli pse) qui est en tr ain d’être déve- loppé et les algorithmes utilisés pour év aluer les règles sur les mod èles. 5 Efficient Reasoning About Finite Satisfiability of UML Class Diag rams with Co nstrained Generalizatio n Sets ( Azzam Maraee, Ben-Gurion Univ ersity of Israël) 4 Conclusion La prochaine édition de cette conférence ce tiendra du 9 au 12 j uin 2008 à Berlin. La date limite de soumission des articles est d’ores et déjà fixée au 5 février 2008. 6