BPM 2009: Business Process Management pp 193-210 | Cite as
Set Algebra for Service Behavior: Applications and Constructions
Conference paper
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.
Keywords
Boolean Function Global Constraint Boolean Formula Business Process Modeling Notation Operating Guideline
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Papazoglou, M.: Agent-oriented technology in support of e-business. Commun. ACM 44, 71–77 (2001)CrossRefGoogle Scholar
- 2.Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: Proc. PODS, pp. 1–14. ACM, New York (2003)Google Scholar
- 3.Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)MATHGoogle Scholar
- 4.Gottschalk, K.: Web Services Architecture Overview. IBM Whitepaper, IBM developerWorks (2000), http://ibm.com/developerWorks/web/library/w-ovr
- 5.Ferrara, A.: Web services: a process algebra approach. In: Proc. ICSOC, pp. 242–251 (2004)Google Scholar
- 6.Rao, J., Kungas, P., Matskin, M.: Logic-based web services composition: From service description to process model. In: Proc. ICWS, pp. 446–453 (2004)Google Scholar
- 7.Fisteus, J.A., Fernández, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. LNCS, vol. 3182, pp. 76–85. Springer, Heidelberg (2004)CrossRefGoogle Scholar
- 8.Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. WWW, pp. 621–630 (2004)Google Scholar
- 9.Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78–94. Springer, Heidelberg (2004)CrossRefGoogle Scholar
- 10.Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In: Proc. ASM, pp. 131–151 (2005)Google Scholar
- 11.Lohmann, N., Verbeek, H., Ouyang, C., Stahl, C.: Comparing and evaluating Petri net semantics for BPEL. Int. J. Business Process Integration and Management (in press, 2009)Google Scholar
- 12.Lohmann, N., Verbeek, H., Dijkman, R.: Petri net transformations for business processes - a survey. In: ToPNoC II. LNCS, pp. 46–63 (2009)Google Scholar
- 13.Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Proc. Modellierung. LNI, vol. P-127, pp. 57–72. GI (2008)Google Scholar
- 14.Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. OASIS Standard, April 11, 2007, OASIS (2007)Google Scholar
- 15.OMG: Business Process Modeling Notation (BPMN). Version 1.2, OMG (2008)Google Scholar
- 16.Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321–341. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 17.Stahl, C., Wolf, K.: Covering places and transitions in open nets. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 116–131. Springer, Heidelberg (2008)CrossRefGoogle Scholar
- 18.Stahl, C., Wolf, K.: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. (2009) (accepted for publication)Google Scholar
- 19.Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for business processes based on choreographies. Int. Journal of Web Services Research 1, 14–32 (2004)CrossRefGoogle Scholar
- 20.Wolf, K.: Does my service have partners? In: ToPNoC 2009. LNCS, vol. 5460, pp. 152–171. Springer, Heidelberg (2009)Google Scholar
- 21.Stahl, C., Massuthe, P., Bretschneider, J.: Deciding Substitutability of Services with Operating Guidelines. In: ToPNoC II. LNCS, pp. 172–191. Springer, Heidelberg (2008)Google Scholar
- 22.Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: ICSOC 2008. LNCS, vol. 5472, pp. 66–78. Springer, Heidelberg (2008)Google Scholar
- 23.van de Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty contracts: Agreeing and implementing interorganizational processes. Comput. J. (in press, 2009)Google Scholar
- 24.Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 271–287. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 25.Mietzner, R., Ma, Z., Leymann, F.: An algorithm for the validation of executable completions of an abstract bpel process. In: Multikonferenz Wirtschaftsinformatik (2008)Google Scholar
- 26.Hopcroft, J.E., Ullman, J.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)MATHGoogle Scholar
- 27.Bryant, R.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Computers C-35, 677–691 (1986)CrossRefMATHGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2009