Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Nagel, Benjamin: Goal-oriented business process engineering. 2015
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
The search-operation requires javascript to be activated.