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 条
  • [21] Agility analysis framework and model of inter-organizational processes
    Yan, ZJ
    Wang, TM
    2005 INTERNATIONAL CONFERENCE ON SERVICES SYSTEMS AND SERVICES MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2005, : 947 - 950
  • [22] Web services based architectures to support dynamic inter-organizational business processes
    Schmidt, R
    WEB SERVICES -ICWS-EUROPE 2003, PROCEEDINGS, 2003, 2853 : 123 - 136
  • [23] An Agent-Based Model for Autonomic Coordination of Inter-Organizational Business Processes
    Andonoff, Eric
    Bouaziz, Wassim
    Hanachi, Chihab
    Bouzguenda, Lotfi
    INFORMATICA, 2009, 20 (03) : 323 - 342
  • [24] A pattern-knowledge base supported establishment of inter-organizational business processes
    Norta, A.
    Hendrix, M.
    Grefen, P.
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 1, PROCEEDINGS, 2006, 4277 : 834 - +
  • [25] Towards Privacy-Friendly Transparency Services in Inter-Organizational Business Processes
    Jensen, Meiko
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 200 - 205
  • [26] Providing context-based security for inter-organizational electronic business processes
    Talamo, Maurizio
    Arcieri, Franco
    Schunck, Christian H.
    D'Iddio, Andrea Callia
    2013 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS), 2013, : 393 - +
  • [27] BUSINESS PROCESSES IN ORGANIZATIONAL DIAGNOSIS
    Janicijevic, Nebojsa
    MANAGEMENT-JOURNAL OF CONTEMPORARY MANAGEMENT ISSUES, 2010, 15 (02) : 85 - 106
  • [28] An approach to merge collaborating processes of an inter-organizational business process for artifact lifecycle synthesis
    Kunchala, Jyothi
    Yu, Jian
    Yongchareon, Sira
    Liu, Chengfei
    COMPUTING, 2020, 102 (04) : 951 - 976
  • [29] Inter-organizational Workflow for Intelligent Audit of Information Technologies in terms of Entreprise Business Processes
    Chergui, Meriyem
    Medromi, Hicham
    Sayouti, Adil
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2014, 5 (05) : 98 - 107
  • [30] Online and offline conformance checking of inter-organizational business processes with incomplete process logs
    D'Iddio, Andrea Callia
    Schunck, Christian H.
    Arcieri, Franco
    Talamo, Maurizio
    2016 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), 2016, : 184 - 191
12345