OntoDSL: An Ontology-Based Framework for Domain-Specific Languages

OntoDSL An Ontology-Based Framework for Domain-Specific Languages Tobias Walter Fernando Silva Parreiras Steffen Staab 08.10.2009

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

Scenario (Roles) Abstract syntax Semantics Concrete syntax Guidance and services Constraints DSL User DSL Designer DSL Metamodel uses specifies Domain Model builds Metamodeling Language uses Framework Developer specifies requires based on defined in

Scenario ,[object Object],Cisco 7603: ,[object Object],[object Object],[object Object],[object Object],Domain Model: SupervisorEngine HotSwappableOSM Slot Slot Slot Configuration Device DSL Designer

Scenario (DSL User) ,[object Object],[object Object],[object Object],[object Object],(inconsistent) Error HotSwappableOSM Configuration Device DSL User

Scenario (DSL User) ,[object Object],[object Object],[object Object],[object Object],[object Object],HotSwappableOSM ,[object Object],(consistent) Slot Slot Slot Configuration Device DSL User

Scenario (DSL User) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],(inconsistent) Error Error Error Explanation: Configuration hasSlot some Slot and hasCard some SupervisorEngine SPAInterface HotSwappableOSM HotSwappableOSM Slot Slot Slot Configuration Device DSL User

Scenario (DSL User) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],(consistent) SupervisorEngine HotSwappableOSM Slot Slot Slot Configuration DSL User Configuration7603 Device Cisco7603

State of the Art ,[object Object],[object Object],[object Object],[object Object],class Device { reference hasConfiguration [1-*]: Configuration; } class Cicso7603 extends Device{ } class Configuration { reference hasSlot [1-*]: Slot; } class Configuration7603 extends Configuration{ } class Slot { reference hasCard [1-*]: Card; } class Card { } DSL Designer

Description Logics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Knowledge Base TBox ABox Inference Engine Application

Description Logic (Example) ,[object Object],[object Object],Configuration7603(conf) Cisco7603(cisco)

Description Logics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],DSL Designer

Proposed Solution ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Ontology-based framework for domain-specific languages DSL User DSL Designer Framework Developer

Model-based Integration Architecture ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],DSL User DSL Designer Framework Developer

Integrated Modeling ,[object Object],class Device { reference hasConfiguration [1-*]: Configuration; } class Cisco7603 extends Device } class Configuration reference hasSlot : Slot; } class Configuration7603 extends Configuration } class Slot { reference hasCard [1-*]: Card; } , equivalentWith restrictionOn hasConfiguration with min 1 Configuration7603 { { equivalentWith IntersectionOf(restrictionOn hasSlot with min 1 Slot, restrictionOn hasSlot some restrictionOn hasCard some SupervisorEngine) { { , equivalentWith IntersectionOf ( restrictionOn hasSlot with exactly 3 Slot, restrictionOn hasSlot with some restrictionOn hasCard with some UnionOf (HotSwappableOSM, SPAInterface) { { DSL Designer

Benefits of DL in Domain Modeling ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],DSL User DSL Designer Framework Developer

Discussion… ,[object Object],[object Object],http://ontodsl.semanticsoftware.eu Supported by EU STReP-216691 MOST

Description Logic (Example) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],TBox (Concepts):

Description Logic (Example) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],TBox (Roles):

Description Logic (Example) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Individual: cisco Types: Device Facts: hasConfiguration conf Individual: conf Types: Configuration7603, Facts: hasSlot slot1, hasSlot slot2, hasSlot slot3 Individual: slot1 Types: Slot Facts: hasCard supervisor720 Individual: slot2 Types: Slot Facts: hasCard spa1 Individual: slot3 Types: Slot Facts: hasCard hotSwappable Individual: spa1 Types: SPAInterface Individual: supervisor720 Types: SupervisorEngine Individual: hotSwappable Types: HotSwappableOSM ABox:

Description Logic (Example) ABox:

OntoDSL: An Ontology-Based Framework for Domain-Specific Languages

Recomendados

Recomendados

Mais conteúdo relacionado

Mais procurados

Mais procurados (6)

Semelhante a OntoDSL: An Ontology-Based Framework for Domain-Specific Languages

Semelhante a OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (20)

OntoDSL: An Ontology-Based Framework for Domain-Specific Languages

Notas do Editor