On compatibility analysis of inter organizational business processes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

On compatibility analysis of inter organizational business processes

Résumé

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.
Fichier non déposé

Dates et versions

hal-01126577 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126577 , version 1

Citer

Zohra Sbaï, Kamel Barkaoui. On compatibility analysis of inter organizational business processes. 10th International Workshop on Enterprise Organizational Modeling and Simulation (EOMAS 2014), Jun 2014, X, France. pp.171-186. ⟨hal-01126577⟩
51 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More