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 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.

[1]  J. Carroll,et al.  Jena: implementing the semantic web recommendations , 2004, WWW Alt. '04.

[2]  Jean-Marie Favre,et al.  Towards a Megamodel to Model Software Evolution Through Transformations , 2005, SETra@ICGT.

[3]  Andreas Winter,et al.  Referenz-Metaschema für visuelle Modellierungssprachen , 2001, Softwaretechnik-Trends.

[4]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[5]  Brian Henderson-Sellers,et al.  A comparison of four process metamodels and the creation of a new generic standard , 2005, Inf. Softw. Technol..

[6]  Robert N. Charette,et al.  Software Engineering Environments: Concepts and Technology , 1986 .

[7]  Colin Atkinson,et al.  A Flexible Infrastructure for Multilevel Language Engineering , 2009, IEEE Transactions on Software Engineering.

[8]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[9]  Gérard Boudol.  Towards a Lambda-Calculus for Concurrent and Communicating Systems , 1989, TAPSOFT, Vol.1.

[10]  J. Ebert,et al.  Using the TGraph Approach for Model Fact Repositories , 2008 .

[11]  Christian Wende,et al.  FeatureMapper: mapping features to models , 2008, ICSE Companion '08.

[12]  Dewayne E. Perry,et al.  Recovering and using use-case-diagram-to-source-code traceability links , 2007, ESEC-FSE '07.

[13]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[14]  Achim D. Brucker,et al.  A Proposal for a Formal OCL Semantics in Isabelle/HOL , 2002, TPHOLs.

[15]  Jane Huffman Hayes,et al.  Advancing candidate link generation for requirements tracing: the study of methods , 2006, IEEE Transactions on Software Engineering.

[16]  Åsa G. Dahlstedt,et al.  Requirements Interdependencies-Moulding the State of Research into a Research Agenda , 2003 .

[17]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[18]  Leo Apostel,et al.  Towards the formal study of models in the non-formal sciences , 1960, Synthese.

[19]  Pascal Hitzler,et al.  Resolution-Based Approximate Reasoning for OWL DL , 2005, SEMWEB.

[20]  Michel Scholl,et al.  Gram: a graph data model and query languages , 1992, ECHT '92.

[21]  Steffen Staab,et al.  Model Driven Specification of Ontology Translations , 2008, ER.

[23]  Krzysztof Czarnecki,et al.  Generative programming - principles and techniques of software engineering based on automated configuration and fragment-based component models , 1999 .

[24]  Ambuj K. Singh,et al.  Graphs-at-a-time: query language and access methods for graph databases , 2008, SIGMOD Conference.

[25]  François Scharffe,et al.  SPARQL++ for Mapping Between RDF Vocabularies , 2007, OTM Conferences.

[26]  Hannes Schwarz,et al.  Establishing a Bridge from Graph-based Modeling Languages to Ontology Languages , 2010, TWOMDE@TOOLS.

[27]  Jeff Z. Pan,et al.  Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 , 2010, Description Logics.

[28]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[29]  Boris Böhlen.  Ein parametrisierbares Graph-Datenbanksystem für Entwicklungswerkzeuge , 2006, Softwaretechnik-Trends.

[30]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[31]  Krysia Broda,et al.  Mapping UML Models incorporating OCL Constraints into Object-Z , 2003 .

[32]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[33]  Frédéric Jouault.  Loosely Coupled Traceability for ATL , 2005 .

[34]  Heiner Stuckenschmidt,et al.  Approximating Description Logic Classification for Semantic Web Reasoning , 2005, ESWC.

[35]  K. Czarnecki,et al.  Cardinality-Based Feature Modeling and Constraints : A Progress Report , 2005 .

[36]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[37]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[38]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[39]  Jürgen Ebert,et al.  Meta-CASE in Practice: a Case for KOGGE , 1997, CAiSE.

[40]  Jürgen Ebert,et al.  Reverse Engineering Using Graph Queries , 2010, Graph Transformations and Model-Driven Engineering.

[41]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[42]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[43]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2005, J. Log. Comput..

[44]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[45]  Bart Selman,et al.  Knowledge compilation and theory approximation , 1996, JACM.

[46]  Ileana Ober,et al.  What do we need metamodels for ? , 2006 .

[47]  Jean Bézivin,et al.  KM3: A DSL for Metamodel Specification , 2006, FMOODS.

[48]  Keunhyuk Yeom,et al.  A Metamodeling Approach to Tracing Variability between Requirements and Architecture in Software Product Lines , 2007, 7th IEEE International Conference on Computer and Information Technology (CIT 2007).

[49]  Jeff Z. Pan,et al.  A semantic web approach to feature modeling and verification , 2005 .

[50]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[51]  Jeff Z. Pan,et al.  OWL FA: a metamodeling extension of OWL D , 2006, WWW '06.

[52]  Andreas Bartho.  Creating and maintaining tutorials with DEFT , 2009, 2009 IEEE 17th International Conference on Program Comprehension.

[53]  Florian Heidenreich.  Towards systematic ensuring well-formedness of software product lines , 2009, FOSD '09.

[54]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[55]  Steffen Staab,et al.  Using ontologies with UML class-based modeling: The TwoUse approach , 2010, Data Knowl. Eng..

[56]  Jeff Z. Pan,et al.  Soundness Preserving Approximation for TBox Reasoning , 2010, AAAI.

[57]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[58]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[59]  W. Stinson.  Views of software development environments , 1989, SOEN.

[60]  Benjamin C. Pierce,et al.  Foundational Calculi for Programming Languages , 1997, The Computer Science and Engineering Handbook.

[61]  Manfred Nagl,et al.  An Incremental Compiler as Component of a System for Software Generation , 1980, Fachtagung über Programmiersprachen.

[62]  Franz Baader,et al.  Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice , 2005 .

[63]  Hermann Kaindl,et al.  The missing link in requirements engineering , 1993, SOEN.

[64]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[65]  Achim D. Brucker,et al.  The HOL-OCL Book , 2006 .

[66]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[67]  Maurizio Lenzerini,et al.  Tailoring OWL for Data Intensive Ontologies , 2005, OWLED.

[68]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[69]  Peter H. Schmitt,et al.  A model theoretic semantics of OCL , 2001 .

[70]  Axel van Lamsweerde,et al.  Reasoning About Alternative Requirements Options , 2009, Conceptual Modeling: Foundations and Applications.

[71]  Ståle Walderhaug,et al.  Towards a Generic Solution for Traceability in MDD , 2006 .

[72]  Austen Rainer,et al.  Requirements problems in twelve software companies: an empirical analysis , 2002, IEE Proc. Softw..

[73]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[74]  Donald Firesmith,et al.  Are Your Requirements Complete? , 2005, J. Object Technol..

[75]  Steffen Staab,et al.  Validating Process Refinement with Ontologies , 2009, Description Logics.

[76]  Giuliano Antoniol,et al.  Recovering Traceability Links between Code and Documentation , 2002, IEEE Trans. Software Eng..

[77]  Andrea Zisman,et al.  XTraQue: traceability for product line systems , 2009, Software & Systems Modeling.

[78]  Jürgen Ebert,et al.  GUPRO - Generic Understanding of Programs , 2002, Electron. Notes Theor. Comput. Sci..

[79]  J. Bruijn,et al.  Effective query rewriting with ontologies over DBoxes , 2009, IJCAI 2009.

[80]  Jean Bézivin,et al.  Model-based DSL frameworks , 2006, OOPSLA '06.

[81]  Davide Sangiorgi,et al.  Bisimulation for Higher-Order Process Calculi , 1994, Inf. Comput..

[82]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[83]  Jack Greenfield.  Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools , 2004, GPCE.

[84]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[85]  Alexandra Poulovassilis,et al.  A Relaxed Approach to RDF Querying , 2006, International Semantic Web Conference.

[86]  Juan Garbajosa,et al.  Analyzing and Systematizing Current Traceability Schemas , 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

[87]  Andreas Winter,et al.  Querying as an enabling technology in software reengineering , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).

[88]  Marek Kasztelnik,et al.  Towards semantic modeling of network physical devices , 2009, MODELS'09.

[89]  Diego Calvanese,et al.  DL-Lite: Practical Reasoning for Rich Dls , 2004, Description Logics.

[90]  Jeff Z. Pan,et al.  Closed world reasoning for OWL2 with NBox , 2010 .

[91]  Jeff Z. Pan,et al.  TrOWL: Tractable OWL 2 Reasoning Infrastructure , 2010, ESWC.

[92]  Matthias Jarke,et al.  The software information base: A server for reuse , 2005, The VLDB Journal.

[93]  Dennis Wagelaar,et al.  Advanced Traceability for ATL , 2009 .

[94]  Jeff Z. Pan,et al.  Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies , 2009, 2009 Ninth International Conference on Hybrid Intelligent Systems.

[95]  Ian Horrocks,et al.  RDFS(FA) and RDF MT: Two Semantics for RDFS , 2003, SEMWEB.

[96]  Franz Baader,et al.  Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ , 2008, KR-MED.

[97]  Andy Schürr,et al.  GRAS, a Graph-Oriented (Software) Engineering Database System , 1995, Inf. Syst..

[98]  Boris Motik,et al.  Closed World Reasoning in the Semantic Web through Epistemic Operators , 2005, OWLED.

[99]  Ethan V. Munson,et al.  Using a Hypertext Model for Traceability Link Conformance Analysis , 2003 .

[100]  Xiping Song,et al.  Lessons learned from building a Web-based requirements tracing system , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[101]  Roelf J. Wieringa,et al.  An Introduction to Requirements Traceability , 1995 .

[102]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[103]  Francisco A. C. Pinheiro.  An Object Oriented Library for Tracing Requirements , 1999, WER.

[104]  P. Haase.  An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies , 2007 .

[105]  Steffen Staab,et al.  Modeling and query pattern for process retrieval in OWL , 2009, K-CAP '09.

[106]  Richard F. Paige,et al.  Engineering a DSL for Software Traceability , 2009, SLE.

[107]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[108]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[109]  Andrea Zisman,et al.  Traceability and completeness checking for agent-oriented systems , 2008, SAC '08.

[110]  Ethan V. Munson,et al.  A model for conformance analysis of software documents , 2003, Sixth International Workshop on Principles of Software Evolution, 2003. Proceedings..

[111]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[112]  Xiaofan Chen.  Extraction and visualization of traceability relationships between documents and source code , 2010, ASE '10.

[113]  Jean Bézivin,et al.  Model-based Technology Integration with the Technical Space Concept , 2006 .

[114]  Gerd Wagner,et al.  Supporting Open and Closed World Reasoning on the Web , 2006, PPSWR.

[115]  Stefan Seedorf,et al.  Applications of Ontologies in Software Engineering , 2006 .

[116]  Boontawee Suntisrivaraporn.  Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies , 2008, ESWC.

[117]  Jonathan I. Maletic,et al.  TQL: A query language to support traceability , 2009, 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering.

[118]  Klaus Pohl,et al.  Process-Centered Requirements Engineering , 1996 .

[119]  Heiner Stuckenschmidt,et al.  Scalable Instance Retrieval for the Semantic Web by Approximation , 2005, WISE Workshops.

[120]  Yonggang Zhang,et al.  Empowering Software Maintainers with Semantic Web Technologies , 2007, ESWC.

[121]  Matthias Jarke,et al.  Toward Reference Models of Requirements Traceability , 2001, IEEE Trans. Software Eng..

[122]  J. Bézivin,et al.  ATLAS GDD — R ESEARCH R EPORT No 05 . 01 February 2005 An introduction to the ATLAS Model Management Architecture , 2005 .

[123]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[124]  K. Kavi,et al.  Software Tools Assessment , 1996, IEEE Software.

[125]  Thomas Baar,et al.  The Definition of Transitive Closure with OCL - Limitations and Applications , 2003, Ershov Memorial Conference.

[126]  Christopher A. Welty,et al.  What's in an Instance? , 1994 .

[127]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[128]  Tassilo Horn,et al.  The GReTL Transformation Language , 2011, ICMT@TOOLS.

[129]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[130]  U. Keller,et al.  Translating the Object Constraint Language into First-order Predicate Logic , 2001 .

[131]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[132]  Mark Richters,et al.  A precise approach to validating UML models and OCL constraints , 2002 .

[133]  Raphael Volz,et al.  Visual Modeling of OWL DL Ontologies Using UML , 2004, International Semantic Web Conference.

[134]  M. Riebisch,et al.  Defining a Traceability Link Semantics for Design Decision Support , 2008 .

[135]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[136]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[137]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[138]  Richard F. Paige,et al.  A state-based approach to traceability maintenance , 2010, ECMFA-TW '10.

[139]  Pascal Hitzler,et al.  A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies , 2006, ESWC.

[140]  Jiao Tao,et al.  Towards Integrity Constraints in OWL , 2009, OWLED.

[141]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[142]  Jürgen Ebert,et al.  Combining DSLs and Ontologies Using Metamodel Integration , 2009, DSL.

[143]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[144]  Steffen Staab,et al.  Joint Language and Domain Engineering , 2010, ECMFA.

[145]  Bijan Parsia,et al.  SPARQL-DL: SPARQL Query for OWL-DL , 2007, OWLED.

[146]  Jürgen Ebert,et al.  Graph Technology in Reverse Engineering: The TGraph Approach , 2008, Workshop Software Reengineering.

[147]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[148]  Mirko Seifert,et al.  Derivation and Refinement of Textual Syntax for Models , 2009, ECMDA-FA.

[149]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[150]  Hannes Schwarz,et al.  Towards Querying of Traceability Information in the Context of Software Evolution , 2008, Workshop Software Reengineering.

[151]  Jürgen Ebert,et al.  A Declarative Approach to Graph Based Modeling , 1994, WG.

[152]  Rafael Peñaloza,et al.  Pinpointing in the Description Logic EL , 2007, Description Logics.

[153]  Björn Regnell,et al.  An industrial survey of requirements interdependencies in software product release planning , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[154]  Barbara Liskov,et al.  Data Abstraction and Hierarchy , 1987 .

[155]  Volker Haarslev,et al.  Querying the Semantic Web with Racer + nRQL , 2004 .

[156]  Carl K. Chang,et al.  Event-Based Traceability for Managing Evolutionary Change , 2003, IEEE Trans. Software Eng..

[157]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[158]  Bernardo Cuenca Grau,et al.  A possible simplification of the semantic web architecture , 2004, WWW '04.

[159]  George M. Wyner.  Defining Specialization for Process Models , 2001 .

[160]  Steffen Staab,et al.  Process Refinement Validation and Explanation with Ontology Reasoning , 2013, ICSOC.