The program structure tree: computing control regions in linear time
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Distributed and Parallel Databases
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
A Framework for Integrating Business Processes and Business Requirements
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Requirements Engineering
The Description Logic Handbook
The Description Logic Handbook
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Detecting and Resolving Process Model Differences in the Absence of a Change Log
BPM '08 Proceedings of the 6th International Conference on Business Process Management
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Engineering Applications of Artificial Intelligence
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
Semantic analysis of flow patterns in business process modeling
BPM'07 Proceedings of the 5th international conference on Business process management
Preserving correctness during business process model configuration
Formal Aspects of Computing
Evaluating goal models within the goal-oriented requirement language
International Journal of Intelligent Systems - Goal-driven Requirements Engineering
Social Modeling for Requirements Engineering
Social Modeling for Requirements Engineering
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
A declarative foundation of process models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Combining i* and BPMN for business process model lifecycle management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
| Hi-index | 0.00 |
Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. Usually, goal models serve as input for designing business process models, and it requires mappings between both types of models. Due to the large number of possible configurations of elements from both goal models and business process models, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns --- strong inconsistency and potential inconsistency, and the development of the corresponding algorithms for detecting inconsistencies.