> Details

Pan, Jeff Z. [Editor]; Staab, Steffen [Editor]; Aßmann, Uwe [Editor]; Ebert, Jürgen [Editor]; Zhao, Yuting [Editor]

Ontology-driven software development

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book
  • Title: Ontology-driven software development
  • Contains: 10.Ontology Reasoning for ProcessModels / Yuan Ren, Gerd Gröner, Tirdad Rahmani, Jens Lemcke, Andreas Friesen, Srdjan Zivkovic, Yuting Zhao, and Jeff Z. Pan
    1.Introduction / Uwe Aßmann, Jürgen Ebert, Jeff Z. Pan, Steffen Staab, and Yuting Zhao
    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
    Atlas Transformation LanguageGraph Repository Transformation LanguageConstraint and Query LanguagesThe Object Constraint LanguageGraph Repository Query LanguageProcess Algebra3.Ontology Languages and Description Logics / Yuting Zhao, Jeff Z. Pan, Edward Thomas, Nophadol Jekjantuk, and Yuan Ren
    Case Study: Process RefinementCase Study: Querying Tasks and ArtefactsProcess Refinement Validation: Implementation and ResultsQuerying Tasks and Artefacts: Implementation and ResultsCase Study on Software Product Line EngineeringProblem DescriptionCase Study ImplementationResultsConclusion Part IIFoundational Technologies for Ontology-Driven Software Development5.Scalable Ontology Reasoning Services / Edward Thomas, Yuan Ren, Jeff Z. Pan, Yuting Zhao, and Nophadol Jekjantuk
    Developing a Family of ODSD Tool EnvironmentsConfigurable and Tractable Ontology Reasoning Infrastructure for ODSDClosed-World Reasoning in NBoxJustification and ExplanationTractabilityConfigurabilityIntegrated Queries for ODSDValidation and Explanation in ODSDValidation and Explanations for Process RefinementsValidation and Explanations for Domain EngineeringModel RepairTraceability in ODSDUsing the Integration Infrastructure for TraceabilityBenefiting from Transformations Between Modelling and Ontology Languages13.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
    OWL 2 MetamodelOntologies for Metamodelling: OWL FAMotivating ExampleOWL FA Syntax and SemanticsMetamodelling with OWL FAReasoning in OWL FAPreprocessingConsistency CheckingInstance RetrievalJustification on OWL FAMetamodelling in Ontologies and Metamodelling in MOFOpen and Closed World AssumptionsEnsuring Integrity Constraints in a Closed DomainPart 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
    Part IV.Ontology-Driven Software Development (ODSD) with Process Guidance11.Ontology-DrivenMetamodelling for Ontology-Integrated Modelling / Uwe Aßmann, Jürgen Ebert, Tobias Walter, and Christian Wende
    Quality AssuranceRequirements ManagementReuseReverse EngineeringTraceability-Related ActivitiesDefinitionIdentificationRecordingRetrievalUtilisationMaintenanceAn Universal Traceability ConceptThe Traceability Relationship Type TemplateTraceability Retrieval PatternsImplementation Based on EcoreMapping of TRTT PropertiesTransformation-Based IdentificationTechnologies for RecordingQuerying Conforming to the Retrieval PatternsImplementation Based on the TGraph ApproachMapping of TRTT PropertiesTransformation-Based IdentificationTechnologies for RecordingQuerying Conforming to the Retrieval PatternsImplementation Based on OWLMapping of TRTT PropertiesTechnologies for RecordingQuerying Conforming to the Retrieval PatternsDiscussions7.Metamodelling and Ontologies / Gerd Gröner, Nophadol Jekjantuk, Tobias Walter, Fernando Silva Parreiras, and Jeff Z. Pan
    The Generic GuidanceThe Generic Guidance OntologyImplementation TechnologiesGuidance for Process Refinement EngineeringGuidance as a Service for RefinementGuidance as a Process for RefinementGuidance for Domain EngineeringConsistency GuidanceProcess GuidanceGuidance for Requirements EngineeringRequirements Guidance OntologyGuidance for Requirement EngineeringGuidance for Documentation Engineering14.Conclusion and Outlooks / Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao, and Daniel Oberle
    A Running ExampleReasoning for Process Modelling and RetrievalSemantic Representation of Process ModelsReasoning for Process RetrievalReasoning for Process Refinement in BPMNDefining Valid Process RefinementConstraints on Refinement RelationsValidating Parallel-Free Process Refinement with OntologyExtending Specific Process with Parallel GatewaysExtending Abstract Process with Parallel GatewaysValidating Grounding with OntologyPinpointing and Explaining Sources of Invalidity with Ontology ReasoningEfficient Refinement Validation with Approximate Ontology ReasoningReasoning for Process GuidanceConcepts and Knowledge Assets of a Modelling ScenarioFormalising Guidance Knowledge into OntologiesRetrieving Tasks by Query AnsweringGeneralised Solution for Representation and RetrievalComputational Properties
    Vision: From Type-Safe to Consistency-Based and Guided Software DevelopmentThis Book: From Model-Driven to ODSDWho This Book Is forI 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 BookHow to Read This BookPart I.Ontology and Software Technologies2.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 MDEModelsMetamodelsModelling LanguagesMDE LanguagesUML Class DiagramMetamodelling LanguageProcess Modelling LanguagesDomain-Specific LanguageGraph-Based LanguagesFeature Modelling LanguagesTwo-Dimensional ModellingModel Transformation Languages
    Reasoning for Requirement EngineeringThe ODRE ApproachRules for Consistency CheckingRules for Completeness CheckingVerification of the Requirement Specification BaseResultsReasoning for Feature Model AnalysisOntology-Based Formalisation of Feature ModelsApplication of Ontology Services for Feature AnalysisResultsReasoning for Domain EngineeringPhysical Devices OntologyIntegrating PDDSL and OWL 2Metamodel IntegrationReasoning with Integrated PDDSL and OWL 2 ModelsResultsReasoning for UML Class DiagramsTwoUseResults
    Description LogicsThe Basic Description Language ALThe Family of AL LanguagesReasoning Tasks in Description LogicsComputational Properties for Description LogicsThe OWL Family of Ontology Languages and Related OthersOWL 2 Web Ontology Language (OWL 2)OWL 2 ProfilesELCCDL-LiteOWL DL4.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 EngineeringProblem DescriptionImplementationResultsCase Studies on Process Modelling and RefinementIntroduction
    TrOWL: Tractable Reasoning Infrastructure for OWL 2ApplicationsTechnologyQuery Answering Using Semantic ApproximationScalable Reasoning Using Syntactic ApproximationLocal Closed World Reasoning with NBoxJustification of Reasoning ResultsJustification in GeneralJustification on OWL 2 ELJustification on OWL 2 QL6Traceability / Hannes Schwarz and Jürgen Ebert
    Fields of ApplicationChange ManagementMaintenanceProject Management
    Ontology-Based Guidance Engine
    Ontology ServicesPattern for Specification of Ontology ServicesSpecification of Ontology ServicesTransformation BridgesTransformation ServicesExample: OWLizerIntegration BridgeIntegration Bridge EstablishmentIntegration Bridge UseExample: M3 Integration Bridge
    Reasoning for Language Engineering and UseDefining an M3 Integration BridgeUsing an M3 Integration BridgeOWLTextODMM with OWLTextRealisation and Application of the M3 Bridges and M2 Bridges in OWLTextAn Exemplary Application of OWLText12A 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 EnvironmentsCurrent Tool EnvironmentsODSD Tool Environments
    Metamodelling for OntologiesOntology Definition MetamodelNeOn OWL Metamodel
    Key questions for Ontology-Driven Software Development (ODSD)Where to Go from Here?Things to Keep in MindWhen Adopting ODSDContributing to the Linked Software DataFurther Visions in Software Engineering.
  • Contributor: Pan, Jeff Z. [HerausgeberIn]; Staab, Steffen [HerausgeberIn]; Aßmann, Uwe [HerausgeberIn]; Ebert, Jürgen [HerausgeberIn]; Zhao, Yuting [HerausgeberIn]
  • imprint: Berlin; Heidelberg: Springer, [2013]
  • Published in: SpringerLink ; Bücher
  • Extent: 1 Online-Ressource (XVIII, 337 p. 134 illus., 63 illus. in color, digital)
  • Language: English
  • DOI: 10.1007/978-3-642-31226-7
  • ISBN: 9783642312267; 1283945703; 9781283945707
  • Identifier:
  • RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
    ST 265 : Datenstruktur, Datenorganisation
    ST 270 : Datenbanken, Datenbanksysteme, Data base management, Informationssysteme. Allgemein
    ST 130 : Allgemeines
    ST 300 : Allgemeines
  • Keywords: Softwareentwicklung > Ontologie
  • Origination:
  • Footnote: Includes bibliographical references and index
  • Description: 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.