Operating Guidelines for Finite-State Services

  • Niels Lohmann
  • Peter Massuthe
  • Karsten Wolf
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4546)

Abstract

We study services modeled as open workflow nets (oWFN) and describe their behavior as service automata. Based on arbitrary finite-state service automata, we introduce the concept of an operating guideline, generalizing the work of [1,2] which was restricted to acyclic services.

An operating guideline gives complete information about how to properly interact (in this paper: deadlock-freely and with limited communication) with an oWFN N. It can be executed, thus forming a properly interacting partner of N, or it can be used to support service discovery.

An operating guideline for N is a particular service automaton S that is enriched with Boolean annotations. S interacts properly with the service automaton \(\mathit{Prov}\), representing the behavior of N, and is able to simulate every other service that interacts properly with \(\mathit{Prov}\). The attached annotations give complete information about whether or not a simulated service interacts properly with \(\mathit{Prov}\), too.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Massuthe, P., Schmidt, K.: Operating guidelines – An automata-theoretic foundation for the service-oriented architecture. In: QSIC 2005, pp. 452–457. IEEE Computer Society Press, Washington (2005)Google Scholar
  2. 2.
    Massuthe, P., Reisig, W., Schmidt, K.: An Operating guideline approach to the SOA. Annals of Mathematics, Computing and Teleinformatics 1(3), 35–43 (2005)Google Scholar
  3. 3.
    Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: A look behind the curtain. In: PODS ’03, pp. 1–14. ACM Press, New York (2003)CrossRefGoogle Scholar
  4. 4.
    Papazoglou, M.P.: Agent-oriented technology in support of e-business. Communications of the ACM 44(4), 71–77 (2001)CrossRefGoogle Scholar
  5. 5.
    Aalst, W.v.d., Weske, M.: The P2P approach to interorganizational workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140–156. Springer, Berlin (2001)Google Scholar
  6. 6.
    Leymann, F., Roller, D., Schmidt, M.: Web services and business process management. IBM Systems Journal, vol. 41(2) (2002)Google Scholar
  7. 7.
    Aalst, W.v.d.: The application of petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  8. 8.
    Alves, A. et al.: Web Services Business Process Execution Language Version 2.0. Committee Draft, 25 January, 2007, OASIS (2007)Google Scholar
  9. 9.
    Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17–32. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In: Proceedings of the 12th International Workshop on Abstract State Machines (ASM’05), Paris XII, pp. 131–151 (2005)Google Scholar
  13. 13.
    Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)MATHGoogle Scholar
  14. 14.
    Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)Google Scholar
  15. 15.
    Arias-Fisteus, J., 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)Google Scholar
  16. 16.
    Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW ’04: Proceedings of the 13th international conference on World Wide Web, pp. 621–630. ACM Press, New York (2004)CrossRefGoogle Scholar
  17. 17.
    Ferrara, A.: Web services: a process algebra approach. In: ICSOC, ACM 2004, pp. 242–251, ACM (2004)Google Scholar
  18. 18.
    Badouel, E., Darondeau, P.: Theory of regions. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491, pp. 529–586. Springer, Heidelberg (1998)Google Scholar
  19. 19.
    Weinberg, D.: Reduction Rules for Interaction Graphs. Techn. Report 198, Humboldt-Universität zu Berlin (2006)Google Scholar
  20. 20.
    Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)Google Scholar
  21. 21.
    Kaschner, K., Massuthe, P., Wolf, K.: Symbolische Repräsentation von Bedienungsanleitungen für Services. In: AWPN Workshop 2006, Universität Hamburg (in German) pp. 54–61(2006)Google Scholar
  22. 22.
    Arias-Fisteus, J., Fernández, L.S., Kloos, C.D.: Applying model checking to BPEL4WS business collaborations. In: Proceedings of the, ACM Symposium on Applied Computing (SAC), pp. 826–830, ACM (2005)Google Scholar
  23. 23.
    Postel, J.B.: Simple Mail Transfer Protocol. RFC 821, Information Sciences Institute, University of Southern California, Network Working Group (1982)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Niels Lohmann
    • 1
  • Peter Massuthe
    • 1
  • Karsten Wolf
    • 2
  1. 1.Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, 10099 BerlinGermany
  2. 2.Universität Rostock, Institut für Informatik, 18051 RostockGermany

Personalised recommendations