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 条
  • [1] On the concurrency of inter-organizational business processes
    Ferreira, Diogo R.
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 1, PROCEEDINGS, 2006, 4277 : 844 - 853
  • [2] Analyzing inter-organizational business processes
    Engel, Robert
    Krathu, Worarat
    Zapletal, Marco
    Pichler, Christian
    Bose, R. P. Jagadeesh Chandra
    van der Aalst, Wil
    Werthner, Hannes
    Huemer, Christian
    INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, 2016, 14 (03) : 577 - 612
  • [3] Using Enterprise Models for Change Analysis in Inter-organizational Business Processes
    Henkel, Martin
    Koutsopoulos, Georgios
    Bider, Ilia
    Perjons, Erik
    BUSINESS PROCESS MANAGEMENT: BLOCKCHAIN AND CENTRAL AND EASTERN EUROPE FORUM, 2019, 361 : 315 - 318
  • [4] Inter-organizational Business Processes Managed by Blockchain
    Nakamura, Hiroaki
    Miyamoto, Kohtaroh
    Kudo, Michiharu
    WEB INFORMATION SYSTEMS ENGINEERING, WISE 2018, PT I, 2018, 11233 : 3 - 17
  • [5] Blockchain as a platform for secure inter-organizational business processes
    Carminati, Barbara
    Ferrari, Elena
    Rondanini, Christian
    2018 4TH IEEE INTERNATIONAL CONFERENCE ON COLLABORATION AND INTERNET COMPUTING (CIC 2018), 2018, : 122 - 129
  • [6] Inter-organizational Systems: From Business Values over Business Processes to Deployment
    Huemer, Christian
    Liegl, Philipp
    Schuster, Rainer
    Werthner, Hannes
    Zapletal, Marco
    2008 2ND IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, 2008, : 216 - +
  • [7] Analyzing the Use of Blockchains for Challenges in Inter-organizational Business Processes
    Kjaeer, Martin
    2023 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION, ICSA-C, 2023, : 137 - 140
  • [8] Avoidance of deadline-violations for inter-organizational business processes
    Eder, Johann
    Pichler, Horst
    Vielgut, Stefan
    2006 SEVENTH INTERNATIONAL BALTIC CONFERENCE ON DATABASES AND INFORMATION SYSTEMS - PROCEEDINGS, 2006, : 33 - +
  • [9] An aspect-oriented metamodel for inter-organizational business processes
    Argandoña, L
    Palazón, A
    González, D
    García-Consuegra, JD
    Gómez, P
    INNOVATIONS THROUGH INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2004, : 589 - 592
  • [10] A reference architecture for managing dynamic inter-organizational business processes
    Norta, Alex
    Grefen, Paul
    Narendra, Nanjangud C.
    DATA & KNOWLEDGE ENGINEERING, 2014, 91 : 52 - 89
12345