Content

•  
   Introduction
•  
   Problem Statement
•  
   Solution Overview and Scientific Contributions
•  
   Publication Overview
•  
   Outline of this Thesis
•  
  Foundations
•  
   Model-driven Software Engineering
•  
  Requirements Engineering
•  
   Fundamentals of Software Requirements
•  
   Requirements Engineering Activities
•  
   Goal-oriented Requirements Engineering
•  
   Business Process Modeling
•  
   Domain and Object Modeling
•  
  Requirements Management
•  
   Fundamentals of Requirements Management
•  
   Requirements Traceability
•  
   Change Management for Requirements
•  
  Quality of Requirements
•  
   Success Factors for Requirements Engineering
•  
   Quality Attributes for Requirements Specifications
•  
   Running Example - Online Book Shop
•  
  Business Goal Modeling
•  
   Requirements and Related Work
•  
   Requirements Definition
•  
   Evaluation Results and Discussion
•  
   Detailed Analysis of KAOS
•  
   Approach Overview
•  
  Business Object Type and Business Goal Specification
•  
   Business Object Type Model
•  
   Elicitation of Business Goals
•  
   Specification of Business Goals
•  
   Temporal Business Goal Dependencies
•  
  Definition of Goal Achievement States
•  
   Specification of Leaf Goal Achievement States
•  
   Aggregation of Achievement States
•  
  Validation of Action Composability
•  
   Object Life Cycle Models
•  
   Validation of Composability
•  
   Summary and Discussion
•  
   Derivation of Business Process Models
•  
  Requirements and Related Work
•  
   Requirements Definition
•  
   Evaluation of Existing Approaches
•  
   Discussion of Evaluation Results
•  
   Derivation Approach Overview
•  
   Definition of Traceable Business Process Fragments
•  
   Identification of Fragment Goals
•  
   Intra-Fragment Composition
•  
   Creation of Traceability Links
•  
   Specification of Formalized Composition Constraints
•  
   Formalization of Hierarchical Dependencies
•  
   Formalization of Temporal Dependencies
•  
   Refinement of Constraints
•  
   Formalization of Object Life Cycle Constraints
•  
  Composition of Business Process Model
•  
   Definition of Fragment Composition Problem
•  
   Business Process Fragment Composition
•  
   Enrichment with Context Information
•  
   Summary and Discussion
•  
   Quality Analysis and Assurance
•  
  Requirements and Related Work
•  
   Problem Analysis
•  
   Requirements Definition
•  
   Evaluation of Existing Approaches
•  
   Discussion of Evaluation Results
•  
  Linguistic Consistency Analysis
•  
   Preliminaries
•  
   Syntactic Consistency Checking
•  
   Semantic Consistency Checking
•  
  Traceability Analysis
•  
   Effect Accumulation
•  
   Business Goal Traceability Analysis
•  
   Assisted Traceability Correction
•  
   Summary and Discussion
•  
   Tool Support
•  
   Business Goal Modeling with GooPE
•  
   Business Process Derivation with GooPE
•  
   Quality Analysis and Assurance with GooPE
•  
   Conclusion
•  
  Evaluation
•  
   Project Report: Applicability & Integrateability
•  
   Evaluation Setup
•  
   Evaluation Execution and Results
•  
   Evaluation Discussion
•  
  Case Study: Applicability and Expressiveness
•  
   Evaluation Setup
•  
   Evaluation Execution and Results
•  
   Evaluation Discussion
•  
  Case Study: Linguistic Consistency Analysis
•  
   Evaluation Setup
•  
   Evaluation Execution and Results
•  
   Evaluation Discussion
•  
  Experiment: Traceability Analysis
•  
   Evaluation Setup
•  
   Evaluation Execution and Results
•  
   Evaluation Discussion
•  
  Threats to Validity
•  
   Conclusion Validity
•  
   Internal Validity
•  
   Construct Validity
•  
   External Validity
•  
   Summary and Discussion
•  
  Conclusion
•  
   Summary of Contributions
•  
   Future Work
•  
   List of Figures
•  
   List of Tables
•  
   Bibliography
•  
   Formal XText Grammar for CTL Editor
•  
  Dependencies and Constraints of Case Study
•  
   Temporal Dependencies between Goals
•  
   Formalized and Refined CTL Constraints
•  
   Business Process Model for Traceability Analysis Experiment
•  
   Goal Models for Linguistic Consistency Analysis