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 条

[41] Supporting cooperative inter-organizational business transactions
Puustjärvi, J
Laine, H
DATABASE AND EXPERT SYSTEMS APPLICATIONS, 2001, 2113 : 836 - 845
[42] A method for inter-organizational business process management
Che, Haiying
Mevius, Marco
Ju, Yanbing
Stucky, Wolffried
Trunko, Ralf
2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2007, : 354 - +
[43] Representing the Attributes of an Organizational Position in Business Processes
Telha, Ana
Andrade, Nuno
Pascoa, Carlos
Tribolet, Jose
CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, 2015, 64 : 562 - 569
[44] Business analytics leveraging resilience in organizational processes
Sincora, Larissa Alves
Valadares de Oliveira, Marcos Paulo
Zanquetto-Filho, Helio
Ladeira, Marcelo Bronzo
RAUSP MANAGEMENT JOURNAL, 2018, 53 (03): : 385 - 403
[45] IDR: A proposal for managing inter-organizational business processes by using web-services oriented architectures
Franco, RD
Bas, AO
Anaya, V
Lario, FC
VIRTUAL ENTERPRISES AND COLLABORATIVE NETWORKS, 2004, 149 : 89 - 96
[46] Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information
D'Iddio, Andrea Callia
Schunck, Christian H.
Arcieri, Franco
Talamo, Maurizio
2016 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), 2016, : 192 - 198
[47] Workflow Support for Inter-organizational Design Processes
Hai, Ri
Heller, Markus
Marquardt, Wolfgang
Nagl, Manfred
Woerzberger, Rene
16TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING AND 9TH INTERNATIONAL SYMPOSIUM ON PROCESS SYSTEMS ENGINEERING, 2006, 21 : 2027 - 2032
[48] Inter-organizational Processes: Requirements for Securing Data
Zilli, Antonio
Sicilia, Nicola
Corallo, Angelo
PROCEEDINGS OF THE 20TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATION, 2009, : 112 - 116
[49] Distributed inter-organizational systems and innovation processes
Shin, Dong Hee
INTERNET RESEARCH, 2006, 16 (05) : 553 - 572
[50] A Framework for the Semantic Representation of Business Processes within Business Organizational Models
Belen Pelegrina, Ana
Benghazi, Kawtar
Visitacion Hurtado, Maria
Noguera, Manuel
ENTERPRISE AND ORGANIZATIONAL MODELING AND SIMULATION, 2010, 63 : 79 - 94

← 1 2 3 4 5 →