Entwicklung von Modellierungswerkzeugen mit MOFLON

Transkript

1 Entwicklung von Modellierungswerkzeugen mit MOFLON Developing Modeling Tools with MOFLON Informatik 2009 Workshop Methodische Entwicklung von Modellierungswerkzeugen Keynote Talk Felix Klar ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering and Information Technology Dept. of Computer Science (adjunct Professor) author(s) of these slides 2009 including research results of the research network ES and TU Darmstadt otherwise as specified at the respective slide

2 Outline s are Languages A Motivation ing Examples MOFLON Scenarios Demo (Tool Integration Scenario TiE-DEA) MOFLON Architecture Related Work Current and Future Activities at Real-Time Systems Lab Entwicklung von Modellierungswerkzeugen mit MOFLON

3 ing Overview and Motivation World of Computers level of abstraction Human Natural Language Visual Modeling Language (e.g., UML / MOF / EMF) General Purpose Language (e.g., Java, C++) Data in Tools complies to Datastructure, i.e., i.e. Language Tool A System Requirements documents (text, model, ) relation / dependency Tool D Tool B System Modeling Tool C Bytecode Computer <<instanceof>> Test Cases SW-Functionality Defines Language for Models Software Developme nt Hollywood Models representing the World (Materialized) Artifacts and Procedures in World (or Universe) Astronom y Entwicklung von Modellierungswerkzeugen mit MOFLON Sports a domain Traffic Finance Managemen t Systems

4 ing Goals Constraints Constraints for detailed definiton of language Definition of erroneous states Rules to comly with special design guidelines (Meta-)Modeling of language constructs Definiton of language structure Domain specific semantics Transformationen to repair erroneous models Conversion of incompatible models into design compliant models Automatic adaption to design guidelines Abstract Syntax Transformation Model Entwicklung von Modellierungswerkzeugen mit MOFLON

5 A Solution SDM = Pattern-based Transformation Language TGG = Bi-directional Transformation Language with TraceLinks Constraints OCL 2.0 Abstract Syntax MOF 2.0 Transformation Story Driven Modeling (SDM) Integration Triple Graph Grammars (TGG) Model Entwicklung von Modellierungswerkzeugen mit MOFLON

6 Case Study Statechart Editor (STaX) + MOFLON can be used to build editors, but building editors is not the main goal of MOFLON MOFLON is mainly used to integrate existing DSL tools generate standard compliant metamodel implementations specify transformations on instances of the metamodel Entwicklung von Modellierungswerkzeugen mit MOFLON

7 Tool Integration Example DOORS / EA traceability link objects Entwicklung von Modellierungswerkzeugen mit MOFLON

8 Outline s are Languages A Motivation ing Examples MOFLON Scenarios Demo (Tool Integration Scenario TiE-DEA) MOFLON Architecture Related Work Current and Future Activities at Real-Time Systems Lab Entwicklung von Modellierungswerkzeugen mit MOFLON

9 Demo Tool Integration Scenario (DOORS - EA) DOORS TGGs relate EA MOFLON generates integration rule code Entwicklung von Modellierungswerkzeugen mit MOFLON

10 MOFLON Architecture Domain Specific Meta Models, Tool Representations M O F L O N CASE Tools (Rational Rose, etc.) Model Analysis, Model Transformation, Model Integration, etc. import XML Interchange (XMI, GXL) instantiate MOF 2.0 l transform refine XSLT Transformation MOMoC Visual MOF 2.0 Editor instantiate instantiate instantiate refine Constraints (OCL, Java) repair transform OCL Compiler Dresden Visual SDM Editor Fujaba Graph Transformation Fujaba Visual TGG Editor transform instantiate Velocity Transformation Fujaba TGGs generate generate Java Representation (JMI) XML Representation (XMI) Tailored Interfaces Reflective Interfaces MOF 2.0 Instances Event Notification Constraint Checking Repair Transformation Entwicklung von Modellierungswerkzeugen mit MOFLON

11 Related Approaches standards approaches based on graph-/modeltransformation classic meta-case approaches text based approaches from Amelunxen, Königs, Rötschke, and Schürr, MOSL: Composing a Visual Language for a ing Framework in IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2006), September, 2006, Entwicklung von Modellierungswerkzeugen mit MOFLON

12 Model-Driven Software Development at Real-Time Systems Lab 6. Model-Based & Product Line Testing Sebastian Oster [BMBF/TUD] Harald Cichos [TUD] 4. P2P Systems & Global SW Eng. 5. Model-Driven Security Engineering Patrick Mukherjee [DFG] NN [DFG] Application Areas: Automotive SW Automation SW Lars Patzina [CASED] Sven Patzina [TUD] 2. Modeling Language & Tool Integration 3. Domain-Specific Eng. Languages & Methods Sebastian Rose [EAG/SAP] Felix Klar [TUD/Daimler] 1. Meta-Models & Model Transformations (OMG) Elodie Legros [TUD] Marius Lauder [CE/Siemens] Anthony Anjorin [CE] Martin Wieber [BMBF] Entwicklung von Modellierungswerkzeugen mit MOFLON

13 Further reading A. Königs, A. Schürr: "Tool Integration with Triple Graph Grammars - A Survey", in: R. Heckel (ed.), Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques, Amsterdam: Elsevier Science Publ., 2006; Electronic Notes in Theoretical Computer Science, Vol. 148, F. Klar, S. Rose, A. Schürr: "TiE - A Tool Integration Environment", Proceedings of the 5th ECMDA Traceability Workshop, 2009; CTIT Workshop Proceedings, Vol. WP09-09, F. Klar, S. Rose, A. Schürr: "A Meta-Model-Driven Tool Integration Development Process", Proceedings of the 2nd International United Information Systems Conference, 2008; Lecture Notes in Business Information Processing, C. Amelunxen, A. Königs, T. Rötschke, A. Schürr: "MOFLON: A Standard-Compliant ing Framework with Graph Transformations", in: A. Rensink, J. Warmer (eds.), Model Driven Architecture - Foundations and Applications: Second European Conference, Heidelberg: Springer Verlag, 2006; Lecture Notes in Computer Science (LNCS), Vol. 4066, Springer Verlag, A. Königs: "Model Integration and Transformation - A Triple Graph Grammar-based QVT Implementation", Technische Universität Darmstadt, Phd Thesis, Entwicklung von Modellierungswerkzeugen mit MOFLON

14 Time for questions and discussion Entwicklung von Modellierungswerkzeugen mit MOFLON

15 Backup Slides Entwicklung von Modellierungswerkzeugen mit MOFLON

16 Motivation Models are widely used in engineering disciplines Need for tool support that enables model-editing Domain experts want domain specific languages (DSL) domain specific models do not build model editors from scratch each time reuse functionality use meta-information describe describe Metametamodel M3 describe M2 describe PIM Model PSM M1 System M Entwicklung von Modellierungswerkzeugen mit MOFLON

17 MOFLON Main Features MOF2.0 editor (draw metamodels that comply to MOF2.0 standard) build Domain Specific Languages (DSLs) based on the CASE-tool framework Fujaba possibility to extend MOFLON by own plugins interoperabilty (import / export) transform metamodel instances with model transformations (SDM, TGG) generate code (JMI-compliant) from DSLs instantiate models of the DSL (= repositories) basic editing support for generated repositories Standard compliance! Entwicklung von Modellierungswerkzeugen mit MOFLON

18 TiE Architecture Tool A Tool B TiE design (model-based) implementation & runtime Entwicklung von Modellierungswerkzeugen mit MOFLON Link Management Tool

19 TiE Architecture tool s data structure as metamodel Tool A Tool B TiE MOFLON Tool A requirements of tool integration project Link Integration Rules Tool B Triple Graph Grammars relate Entwicklung von Modellierungswerkzeugen mit MOFLON Link Management Tool

20 TiE Architecture MOFLON generates Tool A Tool B TiE MOFLON Tool A Repository Repository requirements of tool integration project Link Integration Rules Tool B Integration Rule Code Repository Entwicklung von Modellierungswerkzeugen mit MOFLON Link Management Tool

21 TiE Architecture Tool A Tool B TiE MOFLON Tool Adapter A Tool Adapter B Tool A Repository Repository requirements of tool integration project Link Integration Rules Tool B Integration Rule Code Repository Tool Adapter Link Management implement tool adapters (handwritten code) Entwicklung von Modellierungswerkzeugen mit MOFLON Link Management Tool

22 TiE Architecture Tool A Tool B TiE MOFLON Tool Adapter A Tool Adapter B Tool A Repository Repository Rule Application Strategies requirements of tool integration project Link Integration Rules Integration Rule Code Integration Framework controls Editor Tool B Repository Tool Adapter Link Management Visualization Entwicklung von Modellierungswerkzeugen mit MOFLON Link Management Tool

23 TiE Runtime Tool A Tool B get element from tool invoke integration rule find match transform etstablish link process next element Tool Adapter A Repository Tool Adapter B Repository Rule Application Strategies Integration Rule Code Integration Framework Editor Repository Tool Adapter Link Management Visualization Entwicklung von Modellierungswerkzeugen mit MOFLON Link Management Tool

24 Meta-s A History MOF 1.3/1.4 Implementation based on MOF 1.4 without Associations Ecore/EMF ~ 2000 ~ 2003 MOF 2.0 further development of MOF 1.4 from UML2.0 Constructs: Constraints, Associations, Redefinitions, Package Import, Package Merge, 2005 EMOF «merge» CMOF Extension: Tags Entwicklung von Modellierungswerkzeugen mit MOFLON

25 Concepts in MOF 1.4, EMOF, and CMOF EMOF 2.0 MOF 1.4 CMOF 2.0 Primitive Type, Enumeration Class, Property, Operation - Classifier, Feature Packages - Namespaces - Inherit/Cluster/Merge Reference Association - Subsets, Redefinitions Entwicklung von Modellierungswerkzeugen mit MOFLON

26 Code Generation EMOF 2.0/ Ecore MOF 1.4 CMOF 2.0 Implementation EMF MOIN MOFLON Interface Standard none JMI JMI Serialization XMI XMI XMI Metaobject Access Refl. Access on Properties Refl. Call of Methods * All Instances of Classifier delete() on Links/Elements * * static-method in EcoreEvaluationEnvironment/EcoreUtil Entwicklung von Modellierungswerkzeugen mit MOFLON