linked data techniques for mof compliant models
DESCRIPTION
TRANSCRIPT
![Page 1: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/1.jpg)
Web Science & Technologies
University of Koblenz ▪ Landau, Germany
An Ontology-based Approach for Enabling Linked Data Capabilities
to MOF Compliant Models
Fernando Silva Parreiras, Gerd Gröner, Tobias Walter
![Page 2: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/2.jpg)
Gerd Grö[email protected] 2
WeST ICEIS 2012
Model Driven Engineering
Standards for• General purpose languages• Domain specific languages
Abstraction principle
Transformations
Specialization /Inheritance
➔ Engineering relies on a variety of languages (to describe models)
![Page 3: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/3.jpg)
Gerd Grö[email protected] 3
WeST ICEIS 2012
… how to deal with the variety of languages?
ecosystem of variousmodeling languages→ islands
✔ different languages for different modeling purposes✔ different views on systems
BPMN UML AD
DSL1
GRL
DSL2
✗ information request across models of multiple languages✗ relationships between languages (e.g., BPMN and UML)
![Page 5: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/5.jpg)
Gerd Grö[email protected] 5
WeST ICEIS 2012
What is missing so far?
BPMN
UML AD
DSL1 GRL
DSL21. links / connections
2. understand links
![Page 6: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/6.jpg)
Gerd Grö[email protected] 6
WeST ICEIS 2012
What is missing so far?
BPMN
UML AD
DSL1 GRL
DSL21. links / connections
2. understand links
3. add or extend languages
FD
![Page 7: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/7.jpg)
Gerd Grö[email protected] 7
WeST ICEIS 2012
What is missing so far?
BPMN
UML AD
DSL1 GRL
DSL21. links / connections
2. understand links
3. add or extend languages
FD
4. views (or extractions) → querying
![Page 8: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/8.jpg)
Gerd Grö[email protected] 8
WeST ICEIS 2012
Final Goal
➔ Obviously, it is hard and probably undesired to have a single unified modeling language
➔ Instead: build and enable a networked and federated development architecture
explore and query over models of
multiple languages
Perspective:
connect andlink
“Web of models”
engineer
![Page 9: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/9.jpg)
Gerd Grö[email protected] 9
WeST ICEIS 2012
Idea
Representation:
Expressive languages with well defined semantics
Use existing Semantic Web technologies
Integration:techniques to identify correspondences
best practice (e.g., Linked Data):design, publish and consume data on the Web
➔ adopt technologies ➔ learn from best practice
![Page 10: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/10.jpg)
Gerd Grö[email protected] 10
WeST ICEIS 2012
Outline
1) Introduction
2) Background
3) Integrating MOF and OWL
4) Conclusion
![Page 11: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/11.jpg)
Gerd Grö[email protected] 11
WeST ICEIS 2012
Web Ontology Language (OWL)
OWL DL (or OWL 2 DL)➔ Compatible with RDF (and LOD principles)➔ Modeling “layers”:
TBox:Classes (atomic and complex), Properties (object and datatype properties)
ABox:Individuals
powerful for describing
domain concepts in networked
environments
➔ Approaches to establish mappings and correspondences between MOF (meta-) models and OWL models
![Page 12: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/12.jpg)
Gerd Grö[email protected] 12
WeST ICEIS 2012
… integrate OWL to MOF models
➔ represent and understand metamodels, models and relationships
syntax→ additional modeling
constructs
solid and grounded semantics
➔ techniques to identify equivalence or similarity
syntax and semantics
➔ connect / relate elements of models and metamodels
languageconstructs
![Page 13: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/13.jpg)
Gerd Grö[email protected] 13
WeST ICEIS 2012
Outline
1) Introduction
2) Background
3) Integrating MOF and OWL
4) Conclusion
linkingprinciples (with OWL constructs)
extendingMOF
mappingMOF → OWL
integrationmanagement
![Page 14: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/14.jpg)
Gerd Grö[email protected] 14
WeST ICEIS 2012
Linking MOF Metamodels with OWL Constructs
EquivalentClass (uml:Activity bpmn:BpmnDiagram)
EquivalentClass (uml:ActivityNode bpmn:Vertex)
TransitiveObjectProperty(uml:general)
SubObjectPropertyOf( ObjectPropertyChain
(bpmn:outgoingEdge bpmn:target) uml:successorNodes)
EquivalentObjectProperties
(uml:successorNodes bpmn:successorActivities)
![Page 15: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/15.jpg)
Gerd Grö[email protected] 15
WeST ICEIS 2012
Extending MOF
EMOF ➔ every Object is an EObject
(EClass, EReference, EAttribute, ...)➔ build on EAnnotations
Realization steps:
1. Use EMOF metametamodel to represent metamodels
2. Annotate (enrich) metamodels● EReference → ObjectProperty (OWL)● EClass → Class (OWL)
3. Define additional constructs➔ equivalent classes
![Page 16: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/16.jpg)
Gerd Grö[email protected] 16
WeST ICEIS 2012
Example: UML and BPMN metamodel
linking
additionalOWL
constructs
→ OWL annotations
![Page 19: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/19.jpg)
Gerd Grö[email protected] 19
WeST ICEIS 2012
Integration Management
Problem:
reconcile resources that are expressed by different modeling languages
➔ techniques from ontology alignment
➔ identify correspondences
Linking
Align-ment
1. syntactic matchinge.g., uml:Activity ↔ bpmn:BpmnDiagram
![Page 20: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/20.jpg)
Gerd Grö[email protected] 20
WeST ICEIS 2012
Integration Management
Problem:
reconcile resources that are expressed by different modeling languages
➔ techniques from ontology alignment
➔ identify correspondences
Linking
Align-ment
1. syntactic matching
2. relational structure comparison
![Page 21: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/21.jpg)
Gerd Grö[email protected] 21
WeST ICEIS 2012
Integration Management
Problem:
reconcile resources that are expressed by different modeling languages
➔ techniques from ontology alignment
➔ identify correspondences
Linking
Align-ment
1. syntactic matching
2. relational structure comparison
3. extensional techniques
![Page 22: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/22.jpg)
Gerd Grö[email protected] 22
WeST ICEIS 2012
Integration Management (2)
Querying MOF-models
➔ SPARQL: W3C standard query language (primarily for RDF)
➔ SPARQLAS: query language that allows OWL syntax
• more readable queries• translated to SPARQL
✔ Query both levels: model and metamodel
(RDF representation)
(more expressive OWL representation)
![Page 23: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/23.jpg)
Gerd Grö[email protected] 23
WeST ICEIS 2012
SPARQLAS – Query Example
What Use Cases do I have to test If I update the component west.twouse.reasoner?
Namespace: uml = <http://www.eclipse.org/uml2/3.0.0/UML#>Namespace: srs = <http://west.uni-koblenz.de/SRS#>Namespace: mf = <http://west.uni-koblenz.de/EclipseManifest#>
Select ?nameWhere: ?component mf:name "west.twouse.reasoner"^^xsd:string ?component srs:requirement ?requirement ?requirement srs:useCase ?uc ?uc uml:name ?name
![Page 24: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/24.jpg)
Gerd Grö[email protected] 24
WeST ICEIS 2012
Conclusion
➔ Semantic Web technologies for linking and querying software models
ecosystems of variousmodeling languages→ islands
Situation:
1. OWL constructs (e.g., sameAs, EquivalentWith) to connect/link concepts and instances of different languages
2. OWLizer for MOF-based modes
4. SPARQLASfor querying multiple software models and metamodels
3. find correspondences
![Page 25: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/25.jpg)
Gerd Grö[email protected] 25
WeST ICEIS 2012
Conclusion (2)
Techniques and practices from the Semantic Web:
➔ Intended for linking and integrating data ➔ Efficient processing
➔ vision: “web of models”
![Page 26: Linked Data Techniques for MOF compliant Models](https://reader033.vdocuments.us/reader033/viewer/2022061223/54c662194a795934598b4694/html5/thumbnails/26.jpg)
Gerd Grö[email protected] 26
WeST ICEIS 2012
Conclusion (2)
Techniques and practices from the Semantic Web:
➔ Intended for linking and integrating data ➔ Efficient processing
➔ vision: “web of models”