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
Running Example - Online Book Shop
Business Goal Modeling
Requirements and Related Work
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
Validation of Action Composability
Summary and Discussion
Derivation of Business Process Models
Requirements and Related Work
Derivation Approach Overview
Definition of Traceable Business Process Fragments
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
Traceability Analysis
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
Case Study: Applicability and Expressiveness
Case Study: Linguistic Consistency Analysis
Experiment: Traceability Analysis
Threats to Validity
Summary and Discussion
Conclusion
List of Figures
List of Tables
Bibliography
Formal XText Grammar for CTL Editor
Dependencies and Constraints of Case Study
Business Process Model for Traceability Analysis Experiment
Goal Models for Linguistic Consistency Analysis