Traditionally, service orchestrations utilize services according to a choreography where they are a part of. The orchestrations as well as the choreographies describe pre-defined sequences of behavior. This paper investigates if a given orchestration can be enacted without deadlocks, i.e. is interaction sound, inside an environment made up of different services. In contrast to existing approaches, we utilize link passing mobility to directly represent dynamic binding as found in service oriented architectures. Thus, the sequences of interaction behavior are not statically pre-defined but rather depend on the possible behavior of the services in the environment. © 2006 Springer-Verlag.
CITATION STYLE
Puhlmann, F., & Weske, M. (2006). Interaction soundness for service orchestrations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4294 LNCS, pp. 302–313). https://doi.org/10.1007/11948148_25
Mendeley helps you to discover research relevant for your work.