Comparison of graphical DSL editors Philip De Smedt 20061649 - PowerPoint PPT Presentation

Comparison of graphical DSL editors Philip De Smedt – 20061649

Overview • Introduction • Problem Statement • Discussion - AToM3 - MetaEdit+ - Poseidon • Results • Demo 2

Introduction (1) • Modern Software Design - Complex - How do we ensure correctness? - Problem specific solutions required • Solution: Modeling & Simulation! 3

Introduction (2) Modeling Formalism (like Statecharts, PetriNet, Causal Block Diagram, …) • Syntax - Form and structure of valid models - Concrete Syntax (CS) & Abstract Syntax (AS) 4

Introduction (2) Modeling Formalism (like Statecharts, PetriNet, Causal Block Diagram, …) • Semantics - Meaning of the formalism - Operational (explicit) & Denotational (rule based) - Correctness with constraints 5

Problem Statement • Traffic Formalism - AToM3 - MetaEdit+ - Poseidon for DSLs • Basic building blocks - Road, Fork, Join - Traffic Light - Capacity - Garage, Sink 6

Discussion: AToM3 (1) • Meta-modeling and model-transforming • Python 7

Discussion: AToM3 (1) • Meta-modeling and model-transforming • Python • API - Access the graph grammar - Iterate through ASG 8

Discussion: AToM3 (2) Abstract Syntax - How the language components may be connected • Metamodels - Formalism CD_ClassDiagramV3 • Classes and Associations - Stored as Abstract Syntax Graphs (ASG) - Nodes and links in the ASG are typed - Relationships are subject to constraints 9

10

Discussion: AToM3 (3) Concrete Syntax - How the language components may appear • No generic symbols • Strong binding between AS and CS - No implicit representation - One graphical representation per concept - Concrete Syntax may contain values extracted from their AS objects 11

Discussion: AToM3 (4) Correctness: constraints • Freedom! • Specified in Python - Name - Action (CREATE/EDIT/…) - When to check (PRE or POST condition?) - Constraint code 12

Discussion: MetaEdit+ (1) • Repository-Based Modeling tool 13

Discussion: MetaEdit+ (1) • Repository-Based Modeling tool • Java API - SOAP to communicate with models inside MetaEdit+ - Set up SOAP server in MetaEdit+ - Generated Java Stubs form the bridge between simulation code and MetaEdit+ 14

Discussion: MetaEdit+ (2) Abstract Syntax - How the language components may be connected • Metamodels - Formalism GOPPRR - Graph – Object - Property – Port – Role – Relationship 15

Discussion: MetaEdit+ (2) Abstract Syntax - How the language components may be connected • Metamodels - Formalism GOPPRR - Graph – Object - Property – Port – Role – Relationship 16

17

Discussion: MetaEdit+ (3) Concrete Syntax - How the language components may appear • Generic Symbol for each object • Custom Symbols possible - May contain text/property values from AS objects - Symbols may be shown based on a condition - Multiple representations/symbols per concept 18

Discussion: MetaEdit+ (4) Correctness: constraints • Limited expressibility • Specified in MetaEdit+ constraint tool - Object connectivity in a relationship • Object in a binding for # times (car to one road) - Object occurrence in a model • Maximum # occurences (max 5. cars) - Uniqueness of a property • (only 1 car named Volkswagen) 19

Discussion: Poseidon (1) • Modeling tool integrated within Eclipse 20

Discussion: Poseidon (1) • Modeling tool integrated within Eclipse • Poseidon for ECore - Graphical editor for metamodel creation • Poseidon - Graphical editor for model creation, based on a loaded metamodel • Metamodels in Poseidon for ECore: synthesized to Java code (XText) 21

Discussion: Poseidon (2) Abstract Syntax - How the language components may be connected • Metamodels - Create ECore models that can be used as metamodels - Three basic objects • PoseidonCoreNamedElement: a simple node • PoseidonCoreNamespace: nodes that are capable of containing other nodes • PoseidonCoreDirectedRelationship: an edge (relationship) 22

Discussion: Poseidon (3) Concrete Syntax - How the language components may appear • Need to define all nodes/tools described in the metamodel! • Rules to modify graphical representation: - node Sink { metamodel_element: Sink icon: “end-state” shape: ROUNDED_RECTANGLE } 23

Discussion: Poseidon (4) Correctness: constraints • Rules for all PoseidonCoreDirectedRelationship elements • rules_for GarageToOutput { From Garage create Output } 24

Example Poseidon 1. Create and export your Ecore meta-model in Poseidon for Ecore 25

26

27

Example Poseidon 1. Create and export your Ecore meta-model in Poseidon for Ecore 2. Generate model code and build meta-models (Eclipse) - Generates Java implementations 28

Example Poseidon 1. Create and export your Ecore meta-model in Poseidon for Ecore 2. Generate model code and build meta-models (Eclipse) - Generates Java implementations 3. Modify default implementations - Diagram elements, Poseidon tools, Edge rules 29

Example Poseidon 1. Create and export your Ecore meta-model in Poseidon for Ecore 2. Generate model code and build meta-models (Eclipse) - Generates Java implementations 3. Modify default implementations - Diagram elements, Poseidon tools, Edge rules 4. Generate Poseidon code 30

31

32

Example Poseidon 1. Create and export your Ecore meta-model in Poseidon for Ecore 2. Generate model code and build meta-models (Eclipse) - Generates Java implementations 3. Modify default implementations - Diagram elements, Poseidon tools, Edge rules 4. Generate Poseidon code 5. Create custom models 33

Example Poseidon 1. Create and export your Ecore meta-model in Poseidon for Ecore 2. Generate model code and build meta-models (Eclipse) - Generates Java implementations 3. Modify default implementations - Diagram elements, Poseidon tools, Edge rules 4. Generate Poseidon code 5. Create custom models 6. Export models for simulation purposes - Not possible in evaluation version 34

35

Results AToM3 MetaEdit+ Poseidon Repository No Yes No Transformation Tool Yes Yes No API Yes (Python) Yes (Java) Limited (Java) Abstract Syntax Class Diagram GOPPRR ECore Concrete Syntax Vector Tool Vector Tool Textual DSL Binding AS & CS Hard Soft Soft Constraints User-defined Limited No License Free Commercial Commercial 36

Conclusion • Subjective • Stable? - MetaEdit+ - Poseidon • Experimental/Research? - AToM3 37

Demo • Time for some action. • Wanna know more? Feel free to read my paper J 38