2013

Ontology-Driven Software Development

ISBN: 978-3-642-31225-0 (Print) 978-3-642-31226-7 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xviii

  2. No Access

    Book Chapter

    Pages 1-15

    Introduction

  3. Ontology and Software Technologies

    1. Front Matter

      Pages 17-19

    2. No Access

      Book Chapter

      Pages 21-50

      Model-Driven Software Development

    3. No Access

      Book Chapter

      Pages 51-67

      Ontology Languages and Description Logics

    4. No Access

      Book Chapter

      Pages 69-94

      Case Studies for Marrying Ontology and Software Technologies

  4. Foundational Technologies for Ontology-Driven Software

    1. Front Matter

      Pages 95-97

    2. No Access

      Book Chapter

      Pages 99-120

      Scalable Ontology Reasoning Services

    3. No Access

      Book Chapter

      Pages 121-150

      Traceability

    4. No Access

      Book Chapter

      Pages 151-174

      Metamodelling and Ontologies( ∗ )

  5. Consistency Checking in Ontology Driven Software Development (ODSD)

    1. Front Matter

      Pages 175-177

    2. No Access

      Book Chapter

      Pages 179-192

      Ontology and Bridging Technologies

    3. No Access

      Book Chapter

      Pages 193-218

      Ontology Reasoning for Consistency-Preserving Structural Modelling

    4. No Access

      Book Chapter

      Pages 219-252

      Ontology Reasoning for Process Models

  6. Ontology Driven Software Development (ODSD) with Process Guidance

    1. Front Matter

      Pages 253-255

    2. No Access

      Book Chapter

      Pages 257-274

      Ontology-Driven Metamodelling for Ontology-Integrated Modelling(∗)

    3. No Access

      Book Chapter

      Pages 275-292

      A Platform for ODSD: The MOST Workbench

    4. No Access

      Book Chapter

      Pages 293-318

      Ontology-Guided Software Engineering in the MOST Workbench

    5. No Access

      Book Chapter

      Pages 319-322

      Conclusion and Outlooks

  7. Back Matter

    Pages 323-337