Ontology-Driven Software Development

This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking an...

Full description

Saved in:
Bibliographic Details
Main Authors Pan, Jeff Z, Aßmann, Uwe, Ebert, Jürgen, Staab, Steffen, Zhao, Yuting
Format eBook Book
LanguageEnglish
Published Berlin, Heidelberg Springer-Verlag 2013
Springer
Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Edition1. Aufl.
Subjects
Artificial Intelligence
Computer Science
Computer software
Development
Model-driven software architecture
Software Engineering
Softwareentwicklung > Ontologie (Wissensverarbeitung) > Aufsatzsammlung
Online AccessGet full text

Cover

Abstract This book is about a significant step forward in software development. It brings state-of-the-art 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. You will learn new methodologies and infrastructures, additionally illustrated using detailed industrial case studies.The book will help you: Learn how ontology reasoning allows validations of structure models and key tasks in behavior models.Understand how to develop ODSD guidance engines for important software development activities, such as requirement engineering, domain modeling and process refinement.Become familiar with semantic standards, such as the Web Ontology Language (OWL) and the SPARQL query language.Make use of ontology reasoning, querying and justification techniques to integrate software models and to offer guidance and traceability supports.This book is helpful for undergraduate students and professionals who are interested in studying how ontologies and related semantic reasoning can be applied to the software development process. In addition, itwill also be useful for postgraduate students, professionals and researchers who are going to embark on their research in areas related to ontology or software engineering.
AbstractList This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic to mainstream software development and its languages. It covers both domain and software modeling.
This book is about a significant step forward in software development. It brings state-of-the-art 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. You will learn new methodologies and infrastructures, additionally illustrated using detailed industrial case studies.The book will help you: Learn how ontology reasoning allows validations of structure models and key tasks in behavior models.Understand how to develop ODSD guidance engines for important software development activities, such as requirement engineering, domain modeling and process refinement.Become familiar with semantic standards, such as the Web Ontology Language (OWL) and the SPARQL query language.Make use of ontology reasoning, querying and justification techniques to integrate software models and to offer guidance and traceability supports.This book is helpful for undergraduate students and professionals who are interested in studying how ontologies and related semantic reasoning can be applied to the software development process. In addition, itwill also be useful for postgraduate students, professionals and researchers who are going to embark on their research in areas related to ontology or software engineering.
Author Pan, Jeff Z
Aßmann, Uwe
Staab, Steffen
Zhao, Yuting
Ebert, Jürgen
Author_xml – sequence: 1
  fullname: Pan, Jeff Z
– sequence: 2
  fullname: Aßmann, Uwe
– sequence: 3
  fullname: Ebert, Jürgen
– sequence: 4
  fullname: Staab, Steffen
– sequence: 5
  fullname: Zhao, Yuting
BackLink https://cir.nii.ac.jp/crid/1130282270190737664$$DView record in CiNii
BookMark eNpVkMtOw0AMRQfxEAX6AewQqoRYBGxP5rWEUh4SEgsQ29E0nZTQkCmZ0Kp_T9KwwQtbvjrXsn3E9qpQecZOEa4QQF0bpROeyJQSjkQyUTts2Gq8VbaC2v3XC9hnRwRIRiBHccAGmtJUpET8kA1j_IQ2tDIpqgEbvVRNKMN8k9zVxcpXZ68hb9au9md3fuXLsPzyVXPC9nNXRj_8q8fs_X7yNn5Mnl8ensY3z4njhoASIzUpgzJLVeqEnJJzuee5yKZihlpJJJcDZtzkbualFgrIaMyn4I103gA_Zpf9YBcXfh0_QtlEuyr9NIRFtP9ubtnrno3LuqjmvrY9hWC7r3W05bbl7dZgO8dF71jW4fvHx8ZuB2fthbUr7eR2jMBB6LQlRz1ZFYXNii4jciBNpAANKK6k7LDzHssKV82CbRf5cvXG9q0AIpT8F4hpfAs
ContentType eBook
Book
Copyright Springer-Verlag Berlin Heidelberg 2013
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2013
DBID 08O
RYH
DEWEY 006.3
DOI 10.1007/978-3-642-31226-7
DatabaseName ciando eBooks
CiNii Complete
DatabaseTitleList


DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9783642312267
3642312268
Edition 1. Aufl.
1
2013
2013.
Editor Staab, Steffen
Aßmann, Uwe
Zhao, Yuting
Pan, Jeff Z.
Ebert, Jürgen
Editor_xml – sequence: 1
  givenname: Jeff Z.
  surname: Pan
  fullname: Pan, Jeff Z.
  email: jeff.z.pan@abdn.ac.uk
– sequence: 2
  givenname: Steffen
  orcidid: 0000-0002-0780-4154
  surname: Staab
  fullname: Staab, Steffen
  email: staab@uni-koblenz.de
– sequence: 3
  givenname: Uwe
  surname: Aßmann
  fullname: Aßmann, Uwe
  email: uwe.assmann@tu-dresden.de
– sequence: 4
  givenname: Jürgen
  surname: Ebert
  fullname: Ebert, Jürgen
  email: ebert@uni-koblenz.de
– sequence: 5
  givenname: Yuting
  surname: Zhao
  fullname: Zhao, Yuting
  email: yuting.zhao@abdn.ac.uk
ExternalDocumentID 9783642312267
216222
EBC1030584
BB14685214
ciando502216
GroupedDBID 089
08O
0D6
0DA
20A
38.
A4J
AAWHR
ABFTD
AETDV
AEZAY
ALMA_UNASSIGNED_HOLDINGS
CZZ
IEZ
JY
K2
KC
MA.
MYL
NUC
SAO
SBO
UZ6
Z7R
Z7S
Z7U
Z7V
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z87
Z88
-EI
-JY
-K2
AABBV
AARVG
AAUBL
ABMLC
ABMNI
ACBPT
AEJLV
AEKFX
AFJMS
ARZOH
AZZ
BBABE
I4C
JJU
RYH
TPJZQ
Z5O
Z84
Z85
Z82
ID FETCH-LOGICAL-a39202-96827916c474a56b2aafe3f5cb5d187612af01c39fade685702981fb0e96ae903
ISBN 9783642312250
364231225X
3642428959
9783642428951
IngestDate Fri Dec 06 01:19:48 EST 2024
Fri May 23 03:13:46 EDT 2025
Sat May 31 00:00:42 EDT 2025
Thu Jun 26 23:07:51 EDT 2025
Tue Jan 05 19:37:12 EST 2021
IsPeerReviewed false
IsScholarly false
LCCN 2012951315
LCCallNum_Ident QA76.758
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a39202-96827916c474a56b2aafe3f5cb5d187612af01c39fade685702981fb0e96ae903
Notes Includes bibliographical references (p. 323-333) and index
OCLC 824454223
PQID EBC1030584
PageCount 344
ParticipantIDs askewsholts_vlebooks_9783642312267
springer_books_10_1007_978_3_642_31226_7
proquest_ebookcentral_EBC1030584
nii_cinii_1130282270190737664
ciando_primary_ciando502216
PublicationCentury 2000
PublicationDate 2013
c2013
2012
2012-12-22
PublicationDateYYYYMMDD 2013-01-01
2012-01-01
2012-12-22
PublicationDate_xml – year: 2013
  text: 2013
PublicationDecade 2010
PublicationPlace Berlin, Heidelberg
PublicationPlace_xml – name: Heidelberg
– name: Berlin, Heidelberg
PublicationYear 2013
2012
Publisher Springer-Verlag
Springer
Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Publisher_xml – sequence: 0
  name: Springer
– name: Springer-Verlag
– name: Springer
– name: Springer Berlin / Heidelberg
– name: Springer Berlin Heidelberg
SSID ssj0000879417
Score 2.1134882
Snippet This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and...
This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic...
SourceID askewsholts
springer
proquest
nii
ciando
SourceType Aggregation Database
Publisher
SubjectTerms Artificial Intelligence
Computer Science
Computer software
Development
Model-driven software architecture
Software Engineering
Softwareentwicklung -- Ontologie (Wissensverarbeitung) -- Aufsatzsammlung
TableOfContents Intro -- Ontology-Driven Software Development -- Foreword -- Contents -- Contributors -- 1 Introduction -- 1.1 Vision: From Type-Safe to Consistency-Based and Guided Software Development -- 1.2 This Book: From Model-Driven to ODSD -- 1.3 Who This Book Is for -- 1.3.1 I Know About Software Development, What Can I Learn from This Book? -- 1.3.2 I Know About Ontology, What Can I Learn from This Book? -- 1.3.3 The Website of This Book -- 1.4 How to Read This Book -- 1.4.1 Part I: Ontology and Software Technology -- 1.4.2 Part II: Foundational Technologies for ODSD -- 1.4.3 Part III: Consistency Checking in ODSD -- 1.4.4 Part IV: ODSD with Process Guidance -- Part I Ontology and Software Technologies -- 2 Model-Driven Software Development -- 2.1 Introduction of MDE -- 2.1.1 Models -- 2.1.2 Metamodels -- 2.1.3 Modelling Languages -- 2.2 MDE Languages -- 2.2.1 UML Class Diagram -- 2.2.2 Metamodelling Language -- 2.2.3 Process Modelling Languages -- 2.2.4 Domain-Specific Language -- 2.2.5 Graph-Based Languages -- 2.2.6 Feature Modelling Languages -- 2.3 Two-Dimensional Modelling -- 2.4 Model Transformation Languages -- 2.4.1 Atlas Transformation Language -- 2.4.2 Graph Repository Transformation Language(*) -- 2.5 Constraint and Query Languages -- 2.5.1 The Object Constraint Language -- 2.5.2 Graph Repository Query Language(*) -- 2.5.3 Process Algebra -- 2.6 Conclusion -- 3 Ontology Languages and Description Logics -- 3.1 Description Logics -- 3.1.1 The Basic Description Language AL -- 3.1.2 The Family of AL Languages -- 3.1.3 Reasoning Tasks in Description Logics -- 3.1.4 Computational Properties for Description Logics -- 3.2 The OWL Family of Ontology Languages and Related Others -- 3.2.1 OWL 2 Web Ontology Language (OWL 2) -- 3.2.2 OWL 2 Profiles -- 3.2.3 EL++ -- 3.2.4 DL-Lite -- 3.2.5 OWL DL -- 3.3 Conclusion
6.4.4 Querying Conforming to the Retrieval Patterns -- 6.5 Implementation Based on the TGraph Approach(*) -- 6.5.1 Mapping of TRTT Properties -- 6.5.2 Transformation-Based Identification -- 6.5.3 Technologies for Recording -- 6.5.4 Querying Conforming to the Retrieval Patterns -- 6.6 Implementation Based on OWL(*) -- 6.6.1 Mapping of TRTT Properties -- 6.6.2 Technologies for Recording -- 6.6.3 Querying Conforming to the Retrieval Patterns -- 6.7 Discussions -- 6.8 Conclusion -- 7 Metamodelling and Ontologies(*) -- 7.1 Metamodelling for Ontologies -- 7.1.1 Ontology Definition Metamodel -- 7.1.2 NeOn OWL Metamodel -- 7.1.3 OWL 2 Metamodel -- 7.2 Ontologies for Metamodelling: OWL FA -- 7.2.1 Motivating Example -- 7.2.2 OWL FA Syntax and Semantics -- 7.2.3 Metamodelling with OWL FA -- 7.2.4 Reasoning in OWL FA -- 7.2.5 Preprocessing -- 7.2.6 Consistency Checking -- 7.2.7 Instance Retrieval -- 7.2.8 Justification on OWL FA -- 7.3 Metamodelling in Ontologies and Metamodelling in MOF -- 7.3.1 Open and Closed World Assumptions -- 7.3.2 Ensuring Integrity Constraints in a Closed Domain -- 7.4 Conclusion -- Part III Consistency Checking in Ontology-Driven Software Development (ODSD) -- 8 Ontology and Bridging Technologies -- 8.1 Ontology Services -- 8.1.1 Pattern for Specification of Ontology Services -- 8.1.2 Specification of Ontology Services -- 8.2 Transformation Bridges(*) -- 8.2.1 Transformation Services -- 8.2.2 Example: OWLizer -- 8.3 Integration Bridge(*) -- 8.3.1 Integration Bridge Establishment -- 8.3.2 Integration Bridge Use -- 8.3.3 Example: M3 Integration Bridge -- 8.4 Conclusion -- 9 Ontology Reasoning for Consistency-Preserving Structural Modelling -- 9.1 Reasoning for Requirement Engineering -- 9.1.1 The ODRE Approach -- 9.1.2 Rules for Consistency Checking -- 9.1.3 Rules for Completeness Checking
9.1.4 Verification of the Requirement Specification Base -- 9.1.5 Results -- 9.2 Reasoning for Feature Model Analysis -- 9.2.1 Ontology-Based Formalisation of Feature Models -- 9.2.2 Application of Ontology Services for FeatureAnalysis -- 9.2.3 Results -- 9.3 Reasoning for Domain Engineering -- 9.3.1 Physical Devices Ontology -- 9.3.2 Integrating PDDSL and OWL 2 -- 9.3.3 Metamodel Integration -- 9.3.4 Reasoning with Integrated PDDSL and OWL 2 Models -- 9.3.5 Results -- 9.4 Reasoning for UML Class Diagrams -- 9.4.1 TwoUse -- 9.4.2 Results -- 9.5 Conclusion -- 10 Ontology Reasoning for Process Models -- 10.1 A Running Example -- 10.2 Reasoning for Process Modelling and Retrieval -- 10.2.1 Semantic Representation of Process Models -- 10.2.2 Reasoning for Process Retrieval -- 10.3 Reasoning for Process Refinement in BPMN (*) -- 10.3.1 Defining Valid Process Refinement -- 10.3.2 Constraints on Refinement Relations -- 10.3.3 Validating Parallel-Free Process Refinement with Ontology -- 10.3.4 Extending Specific Process with Parallel Gateways -- 10.3.5 Extending Abstract Process with Parallel Gateways -- 10.3.6 Validating Grounding with Ontology -- 10.3.7 Pinpointing and Explaining Sources of Invalidity with Ontology Reasoning -- 10.3.8 Efficient Refinement Validation with Approximate Ontology Reasoning -- 10.4 Reasoning for Process Guidance -- 10.4.1 Concepts and Knowledge Assets of a Modelling Scenario -- 10.4.2 Formalising Guidance Knowledge into Ontologies -- 10.4.3 Retrieving Tasks by Query Answering -- 10.4.4 Generalised Solution for Representation and Retrieval -- 10.4.5 Computational Properties -- 10.5 Conclusion -- Part IV Ontology-Driven Software Development (ODSD) with Process Guidance -- 11 Ontology-Driven Metamodelling for Ontology-Integrated Modelling(*) -- 11.1 Reasoning for Language Engineering and Use
11.1.1 Defining an M3 Integration Bridge -- 11.1.2 Using an M3 Integration Bridge -- 11.2 OWLText -- 11.2.1 ODMM with OWLText -- 11.2.2 Realisation and Application of the M3 Bridges and M2 Bridges in OWLText -- 11.2.3 An Exemplary Application of OWLText -- 11.3 Conclusion -- 12 A Platform for ODSD: The MOST Workbench -- 12.1 Towards ODSD Tool Environments -- 12.1.1 Current Tool Environments -- 12.1.2 ODSD Tool Environments -- 12.1.3 Developing a Family of ODSD Tool Environments -- 12.2 Configurable and Tractable Ontology Reasoning Infrastructure for ODSD -- 12.2.1 Closed-World Reasoning in NBox -- 12.2.2 Justification and Explanation -- 12.2.3 Tractability -- 12.2.4 Configurability -- 12.3 Integrated Queries for ODSD -- 12.4 Validation and Explanation in ODSD -- 12.4.1 Validation and Explanations for Process Refinements -- 12.4.2 Validation and Explanations for Domain Engineering -- 12.4.3 Model Repair -- 12.5 Traceability in ODSD -- 12.5.1 Using the Integration Infrastructure for Traceability -- 12.5.2 Benefiting from Transformations Between Modelling and Ontology Languages -- 12.6 Conclusion -- 13 Ontology-Guided Software Engineering in the MOSTWorkbench -- 13.1 Ontology-Based Guidance Engine -- 13.1.1 The Generic Guidance -- 13.1.2 The Generic Guidance Ontology -- 13.1.3 Implementation Technologies -- 13.2 Guidance for Process Refinement Engineering -- 13.2.1 Guidance as a Service for Refinement -- 13.2.2 Guidance as a Process for Refinement -- 13.3 Guidance for Domain Engineering -- 13.3.1 Consistency Guidance -- 13.3.2 Process Guidance -- 13.4 Guidance for Requirements Engineering -- 13.4.1 Requirements Guidance Ontology -- 13.4.2 Guidance for Requirement Engineering -- 13.5 Guidance for Documentation Engineering -- 13.6 Conclusion -- 14 Conclusion and Outlooks -- 14.1 Key questions for Ontology-Driven Software Development (ODSD)
4 Case Studies for Marrying Ontology and Software Technologies -- 4.1 Case Studies on Domain Engineering -- 4.1.1 Problem Description -- 4.1.2 Implementation -- 4.1.3 Results -- 4.2 Case Studies on Process Modelling and Refinement -- 4.2.1 Introduction -- 4.2.2 Case Study: Process Refinement -- 4.2.3 Case Study: Querying Tasks and Artefacts -- 4.2.4 Process Refinement Validation: Implementation and Results -- 4.2.5 Querying Tasks and Artefacts: Implementation and Results -- 4.3 Case Study on Software Product Line Engineering -- 4.3.1 Problem Description -- 4.3.2 Case Study Implementation -- 4.3.3 Results -- 4.4 Conclusion -- Part II Foundational Technologies for Ontology-Driven Software Development -- 5 Scalable Ontology Reasoning Services -- 5.1 TrOWL: Tractable Reasoning Infrastructure for OWL 2 -- 5.1.1 Applications -- 5.1.2 Technology -- 5.1.3 Query Answering Using Semantic Approximation(*) -- 5.1.4 Scalable Reasoning Using SyntacticApproximation(*) -- 5.1.5 Local Closed World Reasoning with NBox(*) -- 5.2 Justification of Reasoning Results -- 5.2.1 Justification in General -- 5.2.2 Justification on OWL 2 EL(*) -- 5.2.3 Justification on OWL 2 QL(*) -- 5.3 Conclusion -- 6 Traceability -- 6.1 Fields of Application -- 6.1.1 Change Management -- 6.1.2 Maintenance -- 6.1.3 Project Management -- 6.1.4 Quality Assurance -- 6.1.5 Requirements Management -- 6.1.6 Reuse -- 6.1.7 Reverse Engineering -- 6.2 Traceability-Related Activities -- 6.2.1 Definition -- 6.2.2 Identification -- 6.2.3 Recording -- 6.2.4 Retrieval -- 6.2.5 Utilisation -- 6.2.6 Maintenance -- 6.3 An Universal Traceability Concept -- 6.3.1 The Traceability Relationship Type Template -- 6.3.2 Traceability Retrieval Patterns -- 6.4 Implementation Based on Ecore(*) -- 6.4.1 Mapping of TRTT Properties -- 6.4.2 Transformation-Based Identification -- 6.4.3 Technologies for Recording
14.2 Where to Go from Here?
Title Ontology-Driven Software Development
URI http://ebooks.ciando.com/book/index.cfm/bok_id/502216
https://cir.nii.ac.jp/crid/1130282270190737664
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=1030584
http://link.springer.com/10.1007/978-3-642-31226-7
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783642312267&uid=none
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1bS-QwFD7o-KIv7nrB0XUp4oMglaZNk_ZxR2YREX1REV9C0guIUsUZFf31ful9BkF2X0IbQhLOSc4l50a0bxIWRZpBOwm1cbnwJa6U8d089TjXJjSmyvZ5Lk6u-OlNeNPlZCijS6bmKPn4Mq7kf7CKPuDVRsn-A2bbSdGBb-AXLTCMdk74bX8r5F4UZdnZdzd9ttTqcAJi-mZ9uNLOB6gzDhVNyNbh7VFfy7cVF2a0_OaVb0b7C6A7BAwX0vuSFvbdHzDStUOFKzvC37rjjUY2AAuMnC_SopQgDkt_xqdn1-1jlRfh2jJb37Bds85e1O2hMRnXWXtn1lyhFT25B9UGRZ9OwOzti036CH5e3N3NyPZz5uiSy1_-oIGN_PhJC1mxRqtNvQunJn_rtD8HdqcBu9MD-wZd_x1fHp-4dZUJV0M2BD-IReRLSMkJl1yHwvha51mQh4kJUwZmwXydeywJ4lynmbAFAfw4YrnxsljoLPaCTRoUj0W2RU4spNaYNo1EwL1ERrFvi7n4SR6JVGRySHs9OKjXh9IiPlE9QAoM2qnAo56qhCOq-g0hbjExpF3ADF22ZdbsDBHP5tQHrZZC8CE5DTRVOXvt5KvGo2NbUg4C55AOGiirav0mdzX2oQKFnahyK0puf7PaDi13p_UXDabPL9kupLSp-V2foU9VkSx3
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Ontology-driven+software+development&rft.au=Pan%2C+Jeff+Z.&rft.date=2013-01-01&rft.pub=Springer&rft.isbn=9783642312250&rft_id=info:doi/10.1007%2F978-3-642-31226-7&rft.externalDocID=BB14685214
thumbnail_m http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836423%2F9783642312267.jpg
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fmedia.springernature.com%2Fw306%2Fspringer-static%2Fcover-hires%2Fbook%2F978-3-642-31226-7