Sciweavers

BPM
2009
Springer

Set Algebra for Service Behavior: Applications and Constructions

14 years 6 months ago
Set Algebra for Service Behavior: Applications and Constructions
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational business process. In previous work, we proposed formal representations for service behavior (including Petri nets and service automata) and finite representations of sets thereof (operating guidelines). In this article, we show how the basic set operations union, intersection, and complement, as well as membership and emptiness tests, can be implemented on finite representations of (typically infinite) sets of services. We motivate the operations by three examples of applications—service substitution, selection of behavior, and navigation in a behavioral registry.
Kathrin Kaschner, Karsten Wolf
Added 25 May 2010
Updated 25 May 2010
Type Conference
Year 2009
Where BPM
Authors Kathrin Kaschner, Karsten Wolf
Comments (0)