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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Papazoglou, M.: Agent-oriented technology in support of e-business. Commun. ACM 44, 71–77 (2001)
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)
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)
Gottschalk, K.: Web Services Architecture Overview. IBM Whitepaper, IBM developerWorks (2000), http://ibm.com/developerWorks/web/library/w-ovr
Ferrara, A.: Web services: a process algebra approach. In: Proc. ICSOC, pp. 242–251 (2004)
Rao, J., Kungas, P., Matskin, M.: Logic-based web services composition: From service description to process model. In: Proc. ICWS, pp. 446–453 (2004)
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)
Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. WWW, pp. 621–630 (2004)
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)
Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In: Proc. ASM, pp. 131–151 (2005)
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)
Lohmann, N., Verbeek, H., Dijkman, R.: Petri net transformations for business processes - a survey. In: ToPNoC II. LNCS, pp. 46–63 (2009)
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)
Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. OASIS Standard, April 11, 2007, OASIS (2007)
OMG: Business Process Modeling Notation (BPMN). Version 1.2, OMG (2008)
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)
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)
Stahl, C., Wolf, K.: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. (2009) (accepted for publication)
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)
Wolf, K.: Does my service have partners? In: ToPNoC 2009. LNCS, vol. 5460, pp. 152–171. Springer, Heidelberg (2009)
Stahl, C., Massuthe, P., Bretschneider, J.: Deciding Substitutability of Services with Operating Guidelines. In: ToPNoC II. LNCS, pp. 172–191. Springer, Heidelberg (2008)
Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: ICSOC 2008. LNCS, vol. 5472, pp. 66–78. Springer, Heidelberg (2008)
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)
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)
Mietzner, R., Ma, Z., Leymann, F.: An algorithm for the validation of executable completions of an abstract bpel process. In: Multikonferenz Wirtschaftsinformatik (2008)
Hopcroft, J.E., Ullman, J.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)
Bryant, R.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Computers C-35, 677–691 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaschner, K., Wolf, K. (2009). Set Algebra for Service Behavior: Applications and Constructions. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds) Business Process Management. BPM 2009. Lecture Notes in Computer Science, vol 5701. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03848-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-03848-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03847-1
Online ISBN: 978-3-642-03848-8
eBook Packages: Computer ScienceComputer Science (R0)