Combining ontology-enriched Domain-Specific Languages

Combining ontology-enriched Domain-Specific Languages Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE) 04.10.2009, Denver, Colorado Tobias Walter Jürgen Ebert

Objectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Integration Scenarios BEDSL Metamodel OWL Metamodel transform BEDSL+OWLMetamodel + BEDSL+OWL Model BEDSL+PDDSL+OWL Model transform BEDSL+PDDSL+OWL Metamodel PDDSL Metamodel OWL Metamodel PDDSL+OWLMetamodel + transform + PDDSL+OWL Model + Scenario 1 (WCDSL Paper) Scenario 2 (here)

Scenario 1 ,[object Object],[object Object],[object Object],Comarch Domain Model:

Scenario 2 ,[object Object],[object Object],[object Object],[object Object],merge model elements merge model elements + constraints Comarch Domain Model BEDSL model PDDSL model

Metamodel (BEDSL) ,[object Object],[object Object],M2 layer M1 layer BEDSL Metamodel BEDSL Model conformsTo conformsTo

Metamodel (PDDSL) ,[object Object],[object Object],M2 layer M1 layer PDDSL Metamodel PDDSL Model conformsTo conformsTo

Description Logics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Example (OWL2) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],M1 layer

Metamodel of OWL2 (Excerpt) M2 layer OWL2 Metamodel

Integration (BEDSL + OWL) ,[object Object],M2 layer M1 layer conformsTo conformsTo

Integration (PDDSL + OWL) ,[object Object],M2 layer M1 layer conformsTo conformsTo

Combination of ontology-enriched DSLs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Transformation-based Integration ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Merge Transformation ,[object Object],[object Object],[object Object],[object Object],[object Object],Class: A EquivalentWith: B

Specialization Transformation ,[object Object],[object Object],[object Object],[object Object],Class: A SubClassOf: B

Example (ok) ,[object Object],[object Object],[object Object],1) merge model elements 2) merge constraints

Example (not ok) ,[object Object],[object Object],[object Object],1) merge model elements 2) merge constraints unsatisfiable class

Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Finally ,[object Object],[object Object],www.most-project.eu

Combining ontology-enriched Domain-Specific Languages

Recommended

Recommended

More Related Content

Similar to Combining ontology-enriched Domain-Specific Languages

Similar to Combining ontology-enriched Domain-Specific Languages (20)

Combining ontology-enriched Domain-Specific Languages

Editor's Notes