From Public Views to Private Views – Correctness-by-Design for Services

  • Wil M. P. van der Aalst
  • Niels Lohmann
  • Peter Massuthe
  • Christian Stahl
  • Karsten Wolf
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4937)


Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resulting architecture, often referred to as SOA, has been an important enabler for interorganizational processes. Apart from technological issues that need to be addressed, it is important that all parties involved in such processes agree on the “rules of engagement”. Therefore, we propose to use a contract that specifies the composition of the public views of all participating parties. Each party may then implement its part of the contract such that the implementation (i.e., the private view) accords with the contract. In this paper, we define a suitable notion of accordance inspired by the asynchronous nature of services. Moreover, we present several transformation rules for incrementally building a private view such that accordance with the contract is guaranteed by construction. These rules include adding internal tasks as well as the reordering of messages and are therefore much more powerful than existing correctness-preserving transformation rules.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.: Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control? Information Technology and Management Journal 4(4), 345–389 (2003)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W., 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, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2007), pp. 296–303. IEEE Computer Society, Los Alamitos (2007)CrossRefGoogle Scholar
  4. 4.
    Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)zbMATHGoogle Scholar
  5. 5.
    Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)Google Scholar
  6. 6.
    van der Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  7. 7.
    van der Aalst, W., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theor. Comput. Sci. 270(1-2), 125–203 (2002)zbMATHCrossRefGoogle Scholar
  8. 8.
    Basten, T., van der Aalst, W.: Inheritance of Behavior. Journal of Logic and Algebraic Programming 47(2), 47–145 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    van der Aalst, W., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin (2007)Google Scholar
  10. 10.
    Papazoglou, M.: Agent-oriented technology in support of e-business. Commun. ACM 44(4), 71–77 (2001)CrossRefGoogle Scholar
  11. 11.
    Glabbeek, R., van Weijland, W.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3), 555–600 (1996)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Wil M. P. van der Aalst
    • 1
  • Niels Lohmann
    • 2
  • Peter Massuthe
    • 3
  • Christian Stahl
    • 3
  • Karsten Wolf
    • 2
  1. 1.Department of Mathematics and Computer ScienceTechnische Universiteit EindhovenEindhovenThe Netherlands
  2. 2.Institut für InformatikUniversität RostockRostockGermany
  3. 3.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany

Personalised recommendations