Validation of User Intentions in Process Models

Abstract

Abstract. 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.

Comparison of Goal-Oriented Business Process Model Repair and Discovery

“…By doing so, we can clarify what kind of business process is required to achieve the goal in the organization. Nagel et al [11] and Gröner et al [12] proposed a method for verifying the consistency of goal models and business process models. By doing so, it is possible to detect inconsistencies between models and to detect flows that do not achieve the goal.…”

A Method Based on Patterns for Deriving Key Performance Indicators from Organizational Objectives

“…Such proposals only emphasize on representing, defining, and analyzing the organizational objectives, but they disregard the inclusion of KPIs and objective-KPI relationships. Some of such proposals are presented by Kavakli [24], Engelsman et al [25], Yu et al [26], de la Vara et al [27], Gröner et al [28], and Giannoulis et al [29]. The latter formalize the strategy maps [30] by using a metamodel.…”