[SB14] On compatibility analysis of inter organizational business processes

Conférence Internationale avec comité de lecture : 10th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2014), June 2014, Vol. 191, pp.171-186, Series LNBIP, (DOI: ISBN 978-3-662-44860-1)

Auteurs: Z. SbaÃ¯ , K. Barkaoui

Mots clés: Model checking, inter-organizational business processes, open workflow-nets, compatibility, NuSMV, CTL

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.

Commentaires: Series: Lecture Notes in Business Information Processing, Vol. 191 Barjis, Joseph, Pergl, Robert (Eds.)

Equipe: sys

Collaboration: ENIT

BibTeX

@inproceedings {
	SB14,
	title	=	"{On compatibility analysis of inter organizational business processes}",
	author	=	" Z. SbaÃ¯ and K. Barkaoui ",
	booktitle	=	"{10th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2014)}",
	year	=	2014,
	edition	=	"Springer",
	month	=	"June",
	series	=	"LNBIP",
	volume	=	191,
	pages	=	"171-186",
	note	=	"{Series: Lecture Notes in Business Information Processing, Vol. 191 Barjis, Joseph, Pergl, Robert (Eds.)}",
	doi	=	"ISBN 978-3-662-44860-1",
}