Validation of user intentions in process orchestration and choreography

被引:8
|
作者
Groener, Gerd [1 ]
Asadi, Mohsen [2 ]
Mohabbati, Bardia [2 ]
Gasevic, Dragan [3 ]
Boskovic, Marko
Parreiras, Fernando Silva [4 ]
机构
[1] Univ Koblenz Landau, WeST Inst, Koblenz, Germany
[2] Simon Fraser Univ, Burnaby, BC V5A 1S6, Canada
[3] Athabasca Univ, Athabasca, AB, Canada
[4] FUMEC Univ, Belo Horizonte, MG, Brazil
关键词
Requirement modeling; Goal-oriented process engineering; Inconsistency detection; Goal-oriented process design; PROCESS MODELS; DESIGN; BPMN;
D O I
10.1016/j.is.2013.05.006
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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. (C) 2013 Elsevier Ltd. All rights reserved.
引用
收藏
页码:83 / 99
页数:17
相关论文
共 50 条
  • [21] Relating two automata-based models of orchestration and choreography
    Basile, D.
    Degano, P.
    Ferrari, G. L.
    Tuosto, E.
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (03) : 425 - 446
  • [22] Exploring the connection of choreography and orchestration with exception handling and finalization/compensation
    Yang, Hougli
    Zhao, Xiangpeng
    Cai, Chao
    Qiu, Zongyan
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, 2007, 4574 : 81 - +
  • [23] Research on Projection from Choreography to Orchestration Based on Role Correlation
    Xu Donghong
    Li Zheng
    Qi Yong
    Jiang Shujuan
    INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2012, 15 (11B): : 5009 - 5027
  • [24] Applying orchestration and choreography of web services on dynamic virtual marketplaces
    Dos Santos, IJG
    Madeira, ERM
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2006, 15 (01) : 57 - 85
  • [25] Modeling web service choreography and orchestration with colored Petri nets
    Deng, Xinguo
    Lin, Ziyu
    Cheng, Weiqing
    Xiao, Ruliang
    Fang, Lina
    Li, Ling
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 2, PROCEEDINGS, 2007, : 838 - +
  • [26] Distributed orchestration of user interfaces
    Daniel, Florian
    Soi, Stefano
    Tranquillini, Stefano
    Casati, Fabio
    Heng, Chang
    Yan, Li
    INFORMATION SYSTEMS, 2012, 37 (06) : 539 - 556
  • [27] Web services choreography validation
    Wang, Zheng
    Zhou, Lei
    Zhao, Yongxin
    Ping, Jing
    Xiao, Hao
    Pu, Geguang
    Zhu, Huibiao
    SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2010, 4 (04) : 291 - 305
  • [28] Services Collaboration in Wireless Sensor and Actuator Networks: Orchestration versus Choreography
    Cherrier, Sylvain
    Ghamri-Doudane, Yacine M.
    Lohier, Stephane
    Roussel, Gilles
    2012 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2012, : 411 - 418
  • [29] Orchestration- and choreography-based composition of Internet of Transactional Things
    Zakaria Maamar
    Muhammad Asim
    Saoussen Cheikhrouhou
    Ayesha Qamar
    Service Oriented Computing and Applications, 2021, 15 : 157 - 170
  • [30] Orchestration- and choreography-based composition of Internet of Transactional Things
    Maamar, Zakaria
    Asim, Muhammad
    Cheikhrouhou, Saoussen
    Qamar, Ayesha
    SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2021, 15 (02) : 157 - 170