TY - JOUR
T1 - Validation of user intentions in process orchestration and choreography
AU - Gröner, Gerd
AU - Asadi, Mohsen
AU - Mohabbati, Bardia
AU - Gašević, Dragan
AU - Bošković, Marko
AU - Silva Parreiras, Fernando
PY - 2014/7
Y1 - 2014/7
N2 - Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. In this case, goal models serve as input for designing business process models. This requires mappings between both types of models in order to describe which user goals are implemented by which activities in a business process. Due to the large number of possible relationships among goals in the goal model and possible control flows of activities, 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 - orchestration inconsistency and choreography inconsistency - and the development of the corresponding algorithms for detecting these inconsistencies.
AB - Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. In this case, goal models serve as input for designing business process models. This requires mappings between both types of models in order to describe which user goals are implemented by which activities in a business process. Due to the large number of possible relationships among goals in the goal model and possible control flows of activities, 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 - orchestration inconsistency and choreography inconsistency - and the development of the corresponding algorithms for detecting these inconsistencies.
KW - Goal-oriented process design
KW - Goal-oriented process engineering
KW - Inconsistency detection
KW - Requirement modeling
UR - http://www.scopus.com/inward/record.url?scp=84899440168&partnerID=8YFLogxK
U2 - 10.1016/j.is.2013.05.006
DO - 10.1016/j.is.2013.05.006
M3 - Article
AN - SCOPUS:84899440168
VL - 43
SP - 83
EP - 99
JO - Information Systems
JF - Information Systems
SN - 0306-4379
ER -