Ontology-driven software development /
Saved in:
| Imprint: | Heidelberg ; New York : Springer, c2013. |
|---|---|
| Description: | 1 online resource (344 p.) |
| Language: | English |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/9849357 |
Table of Contents:
- 1. Introduction / Uwe Aßmann, Jürgen Ebert, Jeff Z. Pan, Steffen Staab, and Yuting Zhao
- Vision: From Type-Safe to Consistency-Based and Guided Software Development
- This Book: From Model-Driven to ODSD
- Who This Book Is for
- I Know About Software Development, What Can I Learn from This Book?
- I Know About Ontology, What Can I Learn from This Book?
- The Website of This Book
- How to Read This Book
- Part I. Ontology and Software Technologies
- 2. Model-Driven Software Development / Fernando Silva Parreiras, Gerd Gröner, Tobias Walter, Andreas Friesen, Tirdad Rahmani, Jens Lemcke, Hannes Schwarz, Krzysztof Miksa, Christian Wende, and Uwe Aßmann
- Introduction of MDE
- Models
- Metamodels
- Modelling Languages
- MDE Languages
- UML Class Diagram
- Metamodelling Language
- Process Modelling Languages
- Domain-Specific Language
- Graph-Based Languages
- Feature Modelling Languages
- Two-Dimensional Modelling
- Model Transformation Languages
- Atlas Transformation Language
- Graph Repository Transformation Language
- Constraint and Query Languages
- The Object Constraint Language
- Graph Repository Query Language
- Process Algebra
- 3. Ontology Languages and Description Logics / Yuting Zhao, Jeff Z. Pan, Edward Thomas, Nophadol Jekjantuk, and Yuan Ren
- Description Logics
- The Basic Description Language AL
- The Family of AL Languages
- Reasoning Tasks in Description Logics
- Computational Properties for Description Logics
- The OWL Family of Ontology Languages and Related Others
- OWL 2 Web Ontology Language (OWL 2)
- OWL 2 Profiles
- ELCC
- DL-Lite
- OWL DL
- 4. Case Studies for Marrying Ontology and Software Technologies / Krzysztof Miksa, Pawel Sabina, Andreas Friesen, Tirdad Rahmani, Jens Lemcke, Christian Wende, Srdjan Zivkovic, Uwe Aßmann, and Andreas Bartho
- Case Studies on Domain Engineering
- Problem Description
- Implementation
- Results
- Case Studies on Process Modelling and Refinement
- Introduction
- Case Study: Process Refinement
- Case Study: Querying Tasks and Artefacts
- Process Refinement Validation: Implementation and Results
- Querying Tasks and Artefacts: Implementation and Results
- Case Study on Software Product Line Engineering
- Problem Description
- Case Study Implementation
- Results
- Conclusion
- Part II Foundational Technologies for Ontology-Driven Software Development
- 5. Scalable Ontology Reasoning Services / Edward Thomas, Yuan Ren, Jeff Z. Pan, Yuting Zhao, and Nophadol Jekjantuk
- TrOWL: Tractable Reasoning Infrastructure for OWL 2
- Applications
- Technology
- Query Answering Using Semantic Approximation
- Scalable Reasoning Using Syntactic Approximation
- Local Closed World Reasoning with NBox
- Justification of Reasoning Results
- Justification in General
- Justification on OWL 2 EL
- Justification on OWL 2 QL
- 6 Traceability / Hannes Schwarz and Jürgen Ebert
- Fields of Application
- Change Management
- Maintenance
- Project Management
- Quality Assurance
- Requirements Management
- Reuse
- Reverse Engineering
- Traceability-Related Activities
- Definition
- Identification
- Recording
- Retrieval
- Utilisation
- Maintenance
- An Universal Traceability Concept
- The Traceability Relationship Type Template
- Traceability Retrieval Patterns
- Implementation Based on Ecore
- Mapping of TRTT Properties
- Transformation-Based Identification
- Technologies for Recording
- Querying Conforming to the Retrieval Patterns
- Implementation Based on the TGraph Approach
- Mapping of TRTT Properties
- Transformation-Based Identification
- Technologies for Recording
- Querying Conforming to the Retrieval Patterns
- Implementation Based on OWL
- Mapping of TRTT Properties
- Technologies for Recording
- Querying Conforming to the Retrieval Patterns
- Discussions
- 7. Metamodelling and Ontologies / Gerd Gröner, Nophadol Jekjantuk, Tobias Walter, Fernando Silva Parreiras, and Jeff Z. Pan
- Metamodelling for Ontologies
- Ontology Definition Metamodel
- NeOn OWL Metamodel
- OWL 2 Metamodel
- Ontologies for Metamodelling: OWL FA
- Motivating Example
- OWL FA Syntax and Semantics
- Metamodelling with OWL FA
- Reasoning in OWL FA
- Preprocessing
- Consistency Checking
- Instance Retrieval
- Justification on OWL FA
- Metamodelling in Ontologies and Metamodelling in MOF
- Open and Closed World Assumptions
- Ensuring Integrity Constraints in a Closed Domain
- Part III. Consistency Checking in Ontology-Driven Software Development (ODSD)
- 8. Ontology and Bridging Technologies / Uwe Aßmann, Jürgen Ebert, Tobias Walter, and Christian Wende
- Ontology Services
- Pattern for Specification of Ontology Services
- Specification of Ontology Services
- Transformation Bridges
- Transformation Services
- Example: OWLizer
- Integration Bridge
- Integration Bridge Establishment
- Integration Bridge Use
- Example: M3 Integration Bridge
- 9. Ontology Reasoning for Consistency-Preserving Structural Modelling / Christian Wende, Katja Siegemund, Edward Thomas, Yuting Zhao, Jeff Z. Pan, Fernando Silva Parreiras, Tobias Walter, Krzysztof Miksa, Pawel Sabina, and Uwe Aßmann
- Reasoning for Requirement Engineering
- The ODRE Approach
- Rules for Consistency Checking
- Rules for Completeness Checking
- Verification of the Requirement Specification Base
- Results
- Reasoning for Feature Model Analysis
- Ontology-Based Formalisation of Feature Models
- Application of Ontology Services for Feature Analysis
- Results
- Reasoning for Domain Engineering
- Physical Devices Ontology
- Integrating PDDSL and OWL 2
- Metamodel Integration
- Reasoning with Integrated PDDSL and OWL 2 Models
- Results
- Reasoning for UML Class Diagrams
- TwoUse
- Results
- 10. Ontology Reasoning for ProcessModels / Yuan Ren, Gerd Gröner, Tirdad Rahmani, Jens Lemcke, Andreas Friesen, Srdjan Zivkovic, Yuting Zhao, and Jeff Z. Pan
- A Running Example
- Reasoning for Process Modelling and Retrieval
- Semantic Representation of Process Models
- Reasoning for Process Retrieval
- Reasoning for Process Refinement in BPMN
- Defining Valid Process Refinement
- Constraints on Refinement Relations
- Validating Parallel-Free Process Refinement with Ontology
- Extending Specific Process with Parallel Gateways
- Extending Abstract Process with Parallel Gateways
- Validating Grounding with Ontology
- Pinpointing and Explaining Sources of Invalidity with Ontology Reasoning
- Efficient Refinement Validation with Approximate Ontology Reasoning
- Reasoning for Process Guidance
- Concepts and Knowledge Assets of a Modelling Scenario
- Formalising Guidance Knowledge into Ontologies
- Retrieving Tasks by Query Answering
- Generalised Solution for Representation and Retrieval
- Computational Properties
- Part IV. Ontology-Driven Software Development (ODSD) with Process Guidance
- 11. Ontology-DrivenMetamodelling for Ontology-Integrated Modelling / Uwe Aßmann, Jürgen Ebert, Tobias Walter, and Christian Wende
- Reasoning for Language Engineering and Use
- Defining an M3 Integration Bridge
- Using an M3 Integration Bridge
- OWLText
- ODMM with OWLText
- Realisation and Application of the M3 Bridges and M2 Bridges in OWLText
- An Exemplary Application of OWLText
- 12 A Platform for ODSD: The MOST Workbench / Srdjan Zivkovic, Christian Wende, Edward Thomas, Fernando Silva Parreiras, Tobias Walter, Krzysztof Miksa, Harald Kühn, Hannes Schwarz, and Jeff Z. Pan
- Towards ODSD Tool Environments
- Current Tool Environments
- ODSD Tool Environments
- Developing a Family of ODSD Tool Environments
- Configurable and Tractable Ontology Reasoning Infrastructure for ODSD
- Closed-World Reasoning in NBox
- Justification and Explanation
- Tractability
- Configurability
- Integrated Queries for ODSD
- Validation and Explanation in ODSD
- Validation and Explanations for Process Refinements
- Validation and Explanations for Domain Engineering
- Model Repair
- Traceability in ODSD
- Using the Integration Infrastructure for Traceability
- Benefiting from Transformations Between Modelling and Ontology Languages
- 13. Ontology-Guided Software Engineering in the MOST Workbench / Uwe Aßmann, Srdjan Zivkovic, Krzysztof Miksa, Katja Siegemund, Andreas Bartho, Tirdad Rahmani, Edward Thomas, and Jeff Z. Pan
- Ontology-Based Guidance Engine
- The Generic Guidance
- The Generic Guidance Ontology
- Implementation Technologies
- Guidance for Process Refinement Engineering
- Guidance as a Service for Refinement
- Guidance as a Process for Refinement
- Guidance for Domain Engineering
- Consistency Guidance
- Process Guidance
- Guidance for Requirements Engineering
- Requirements Guidance Ontology
- Guidance for Requirement Engineering
- Guidance for Documentation Engineering
- 14. Conclusion and Outlooks / Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao, and Daniel Oberle
- Key questions for Ontology-Driven Software Development (ODSD)
- Where to Go from Here?
- Things to Keep in MindWhen Adopting ODSD
- Contributing to the Linked Software Data
- Further Visions in Software Engineering.