Held by Karsten Wolf on September 9, 2009 on the 6th International Conference on Business Process Management (BPM 2009) in Ulm, Germany.

1. Set Algebra for Service Behavior Kathrin Kaschner and Karsten Wolf

2. Service Behavior? Business Process Workflow net asynchronous Interorganisational Org 1 Org 2 Org 3 Service Open Petri net Interface !€ !€ !€ !T !T !C !C ?B ?B Service Automaton

3. Sets of Service Behaviors? ?€ ?C ?T !B !B !€ !C ?B !€ !T ?B !T !€ ?B !C !€ ?B !€ !C ?B !T ?B .... !€ !€ !€ !T !T !C !C ?B ?B The set of all correctly interacting partners of a service

4. Sets of Service Behaviors? !€ !C ?B !€ !T ?B !T !€ ?B !C !€ ?B !€ !C ?B !T ?B !€ !€ !€ !T !T !C !C ?B ?B ... is finitely representable !€ !€ !€ !T !T !C !C ?B ?B !T  !€  !C !T  !C

5. Sets of Service Behaviors? The set of all services with some property is often finitely representable „ eventually ? a “ ?a * * „ never ? a “ ?a * * „ ? a before ?b “ ?a not ?a,?b * ?b not ?b

9. Why Set Algebra? Answer #3 CP(S1) CP(S2) CP(S3) CP(S4) CP(S5) CP(S6) CP(S7) CP(S8) S1 S2 S3 S4 S5 S6 S7 S8 n membership tests

10. Why Set Algebra? Answer #3 CP(S1) CP(S2) CP(S3) CP(S4) CP(S5) CP(S6) CP(S7) CP(S8) ⋃ ⋃ ⋃ ⋃ S1 S2 S3 S4 S5 S6 S7 S8 ⋃ ⋃ ⋃ log n membership tests

12. Set Algebra: Representation of a set !€ !€ !€ !T !T !C !C ?B ?B „ Annotated Automaton“ !T  !€  !C !T  !C !€ !C ?B !T ?B „ Matching“ !€ !€ !€ !T !T !C !C ?B ?B !T  !€  !C !T  !C !€ !T ?B

13. Set Algebra: Representation of a set !€ !C ?B !T ?B !€ !€ !€ !T !T !C !C ?B ?B „ Matching“ „ Extended Annotated Automaton“ q 2 ⋁⌝ q 3 !T  !€  !C !T  !C

18. Kathrin Kaschner [email_address] Karsten Wolf [email_address] Universität Rostock Institut für Informatik Group: wwwteo.informatik.uni-rostock.de/ls_tpp/ Tool: www.service-technology.org/tools/safira/