Advertisement

Services as a Paradigm of Computation

  • Wolfgang Reisig
  • Jan Bretschneider
  • Dirk Fahland
  • Niels Lohmann
  • Peter Massuthe
  • Christian Stahl
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4700)

Abstract

The recent success of service-oriented architectures gives rise to some fundamental questions: To what extent do services constitute a new paradigm of computation? What are the elementary ingredients of this paradigm? What are adequate notions of semantics, composition, equivalence? How can services be modeled and analyzed? This paper addresses and answers those questions, thus preparing the ground for forthcoming software design techniques.

Keywords

models of computation services SOA open workflow nets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gandy, R.: Church’s thesis and principles for mechanisms. In: The Kleene Symposium, pp. 123–148. North-Holland, Amsterdam (1980)Google Scholar
  2. 2.
    Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962) also: Griffiss Air Force Base, Technical Report RADC-TR-65–377, vol.1(1), English translation (1966)Google Scholar
  3. 3.
    Thomas, W.: Automata on Infinite Objects. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 133–192 (1990)Google Scholar
  4. 4.
    Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress, pp. 471–475 (1974)Google Scholar
  5. 5.
    Broy, M., Stoelen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)MATHGoogle Scholar
  6. 6.
    Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)Google Scholar
  7. 7.
    Lamport, L.: Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)Google Scholar
  8. 8.
    Gurevich, Y.: Interactive Algorithms 2005. In: Jedrzejowicz, J., Szepietowski, A. (eds.) MFCS 2005. LNCS, vol. 3618, pp. 26–38. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Misra, J., Cook, W.R.: Computation Orchestration: A Basis for Wide-Area Computing. Journal of Software and Systems Modeling, 83–110 (May 2006)Google Scholar
  10. 10.
    Wegner, P.: Why Interaction Is More Powerful Than Algorithms. Commun. ACM 40(5), 80–91 (1997)CrossRefGoogle Scholar
  11. 11.
    Wegner, P.: Interactive Foundations of Computing. Theor. Comput. Sci. 192(2), 315–351 (1998)MATHCrossRefGoogle Scholar
  12. 12.
    Goldin, D., Smolka, S.A., Wegner, P.: Interactive Computation - The New Paradigm. Springer, Heidelberg (2006)MATHGoogle Scholar
  13. 13.
    Goldin, D.Q.: Persistent Turing Machines as a Model of Interactive Computation. In: Schewe, K.-D., Thalheim, B. (eds.) FoIKS 2000. LNCS, vol. 1762, pp. 116–135. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    van Leeuwen, J., Wiedermann, J.: On Algorithms and Interaction. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol. 1893, pp. 99–113. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  15. 15.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  16. 16.
    Lohmann, N., Massuthe, P., Wolf, K.: Operating Guidelines for Finite-State Services. In: Kleijn, J., Yakovlev, A. (eds.) International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007. LNCS, vol. 4546, Springer, Heidelberg (2007)CrossRefGoogle Scholar
  17. 17.
    Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Wolfgang Reisig
    • 1
  • Jan Bretschneider
    • 1
  • Dirk Fahland
    • 1
  • Niels Lohmann
    • 1
  • Peter Massuthe
    • 1
  • Christian Stahl
    • 1
  1. 1.Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, 10099 BerlinGermany

Personalised recommendations