Limit search to available items
Book Cover
E-book

Title Ontology-driven software development / Jeff Z. Pan [and others], editors
Published Heidelberg ; New York : Springer, [2013]
©2013
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (344 pages)
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
Summary This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning of ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply ontology reasoning in the lifecycle of software development, using current and emerging standards and technologies
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer software -- Development.
Ontologies (Information retrieval)
Software.
Vocabulary, Controlled.
Form Electronic book
Author Pan, Jeff Z.
LC no. 2012951315
ISBN 9783642312267 (electronic bk.)
3642312268 (electronic bk.)
364231225X (Cloth)
9783642312250 (Cloth)
9781283945707 (MyiLibrary)
1283945703 (MyiLibrary)