On Compatibility Analysis of Inter Organizational Business Processes

被引：0
|
作者：
Sbai, Zohra [1 ]
Barkaoui, Kamel [2 ]
机构：
[1] Univ Tunis El Manar, Ecole Natl Ingenieurs Tunis, BP 37 Le Belvedere, Tunis 1002, Tunisia
[2] Conservatoire Natl Arts & Metiers, F-75141 Paris, France
来源：
ENTERPRISE AND ORGANIZATIONAL MODELING AND SIMULATION (EOMAS 2014) | 2014年 / 191卷
关键词：
Model checking; Inter-organizational business processes; Open workflow-nets; Compatibility; NuSMV; CTL; MODEL CHECKING; WEB SERVICES; VERIFICATION; PATTERNS;
D O I：
10.1007/978-3-662-44860-1_10
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Distributed systems are promisingly used in context of cross organizational enterprises. To develop these systems, Web services form an essential and wide accepted technology because they provide a significant level of platform independency and autonomy. Services are generally designed to interact with other services to form larger applications. In order to interact correctly with each other, Web services have to be compatible. This include not only composability of the involved services but also the correct execution of the overall composite service. In this context, we suggest in this paper to study the compatibility of Web services in different aspects and to provide a formal approach to characterize and verify this property. This approach is straightforward since it combines Petri nets and model checking techniques.
引用
收藏
页码：171 / 186
页数：16
相关论文
共 50 条
  • [31] An approach to merge collaborating processes of an inter-organizational business process for artifact lifecycle synthesis
    Jyothi Kunchala
    Jian Yu
    Sira Yongchareon
    Chengfei Liu
    Computing, 2020, 102 : 951 - 976
  • [32] The business ethics of social and organizational processes
    Donaldson, T
    CODES OF CONDUCT: BEHAVIORAL RESEARCH INTO BUSINESS ETHICS, 1996, : 187 - 194
  • [33] Extensions of business processes with organizational roles
    Lecture Notes in Business Information Processing, 2015, 207 : 119 - 136
  • [34] A view framework for modeling and change validation of artifact-centric inter-organizational business processes
    Yongchareon, Sira
    Liu, Chengfei
    Jian, Yu
    Zhao, Xiaohui
    INFORMATION SYSTEMS, 2015, 47 : 51 - 81
  • [35] E-Collaboration architecture for customer-driven business processes in inter-organizational scenarios
    Adam, O
    Chikova, P
    Hofer, A
    Vanderhaeghen, D
    Zang, S
    CHALLENGES OF EXPANDING INTERNET: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, 2005, 189 : 63 - 77
  • [36] From generating process views over inter-organizational business processes to achieving their temporal consistency
    Slim Kallel
    Saoussen Cheikhrouhou
    Zakaria Maamar
    Nawal Guermouche
    Mohamed Jmaiel
    Computing, 2021, 103 : 1305 - 1331
  • [37] From generating process views over inter-organizational business processes to achieving their temporal consistency
    Kallel, Slim
    Cheikhrouhou, Saoussen
    Maamar, Zakaria
    Guermouche, Nawal
    Jmaiel, Mohamed
    COMPUTING, 2021, 103 (07) : 1305 - 1331
  • [38] A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes
    Abid, Amal
    Cheikhrouhou, Saousssen
    Kallel, Slim
    Jmaiel, Mohamed
    PROCEEDINGS OF THE 2022 17TH CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENCE SYSTEMS (FEDCSIS), 2022, : 685 - 694
  • [39] An Artifact-Centric View-Based Approach to Modeling Inter-organizational Business Processes
    Yongchareon, Sira
    Liu, Chengfei
    Zhao, Xiaohui
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2011, 2011, 6997 : 273 - +
  • [40] On Dynamic Agility of Inter-Organizational Processes
    Li, Weizi
    Gao, Huiying
    Yan, Zhijun
    Liu, Kecheng
    Liu, Kecheng
    2008 IEEE SYMPOSIUM ON ADVANCED MANAGEMENT OF INFORMATION FOR GLOBALIZED ENTERPRISES, PROCEEDINGS, 2008, : 51 - +
12345