Challenges for advanced domain-specific modeling. István Ráth. Budapest University of Technology and Economics

Transcription

1 Challenges for advanced domain-specific modeling frameworks István Ráth Dániel Varró Department of Measurement and Information Systems Department of Measurement and Information Systems Budapest University of Technology and Economics

2 Aspects of language g engineering Concrete syntax Modeling Constraints Abstract syntax Dynamic Trans- Model semantics formations transformation

3 ViatraDSM Integrated modeling and simulation framework integrated: learn one approach for all aspects modeling: graphical domain-specific editors simulation: editing-time interactive model simulation Based on VIATRA2 and Eclipse Using the Graphical Editing Framework (GEF)

4 Challenges Simplify diagrams association = edge, class = node arbitrary mapping declarative mapping specification minimize manual coding requirements Integrate dynamic modeling (simulation) intuitively fully customizable

5 Domain integration: Multi-domain modeling Domain A Domain B <<A>> <<A,B>> <<B>> Multi-domain models

6 Multi-domain ltid i modeling How to do it? Light-weight approaches Model-level tagging Mt Metamodel-level dll l stereotyping Heavyweight approach Model transformation Domain A metamodel DSM Core metamodel {explicit} Domain B metamodel Domain A models Mapped models Domain B models Transformation

7 Multi-domain ltid i editors How to do it? Light-weight approaches Model-level tagging Mt Metamodel-level dll l stereotyping Show Heavyweight only relevant approach attributes Model transformation Problem: differences in structure Solution: transformations!

8 Separating abstract and concrete syntax

9 Separating abstract and concrete syntax What? concrete syntax diagrams abstract syntax logical model Why? Abstract Concrete syntax syntax Why? Test : Class Test reduce complexity (for the user ) more possibilities (for the language engineer) ID : Attribute ID: id0 id0 :String

10 Objectives Arbitrary mapping abstraction aggregation diagram-specific ifi elements decorators Logical model p0 : Place Diagram h0 :token :token :token 3 t0:token t1:token t2:token

11 Architecture t Diagram editing Model editing Eclipse/GEF View classes Plugin Tree view Diagram model Bi-directional mapping Logical model VIATRA2 modelspace Transformations

12 Proposal Bi-directional mapping goal: arbitrary mapping means: metamodeling + model transformations Logical model Diagram model Diagram p0 : Place :model _p0 : PlaceFigure :token :token :token :property 3 t0:token t1:token t2:token tokencount :Property h0

13 Separating abstract and concrete syntax Implementation on the model level the user decides what to show most tools support it on the metamodel level the language engineer defines diagrams uses a separate modeling layer for graphical representation new approach!

14 Demo #1: TokenCount

15

16 Dynamic modeling: simulation

17 Integrated t model simulation Why? constructing new languages: no existing tool support existing languages: insufficient tool support model generate test see changes instantly faster development What to simulate? Translator: execute generated code Interpreter: direct model manipulation

18 Integrated t model simulation Definition of model simulators VIATRA2 transformations Guided (interactive) simulation Automatic simulation declarative semantics: graph patterns imperative semantics: abstract state machines VTCL: Viatra Textual Control Language high abstraction level DSL

19 Integrated t model simulation Graph patterns Definition of model simulators precondition VIATRA2 transformations Guided (interactive) simulation P Tr P Automatic simulation declarative semantics: postcondition graph patterns Tk P Tr P imperative semantics: abstract state machines VTCL: Viatra Textual Control Language high abstraction level DSL Tk

20 Demo: Petri nets

21

22 Summary ViatraDSM integated language engineering environment Separation of abstract and concrete syntax Integrated interactive model simulation (VIATRA2 feature) e)