Compositional service trees

W.M.P. Aalst, van der, K.M. Hee, van, P. Massuthe, N. Sidorova, J.M.E.M. Werf, van der

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

24 Citaten (Scopus)
1 Downloads (Pure)


In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of other components, thus forming a service tree. This tree is built dynamically and not known beforehand. It is hard to verify the behavior of a service tree by using standard verification techniques, because these techniques typically assume a static flattened model. In this paper we model a component by an open Petri net. We give a sufficient condition for proper completion (called soundness) that requires only pairwise checks of the service compositions. We also provide a correctness-by-construction approach for building services trees.
Originele taal-2Engels
TitelApplications and Theory of Petri Nets (30th International Conference, Petri Nets 2009, Paris, France, June 22-26, 2009, Proceedings)
RedacteurenG. Franceschinis, K. Wolf
Plaats van productieBerlin
ISBN van geprinte versie978-3-642-02423-8
StatusGepubliceerd - 2009

Publicatie series

NaamLecture Notes in Computer Science


Duik in de onderzoeksthema's van 'Compositional service trees'. Samen vormen ze een unieke vingerafdruk.

Citeer dit