Model-Based Development of Executable Business Processes for Web Services

  • Reiko Heckel
  • Hendrik Voigt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3098)


In order to implement business processes, the composition of simpler services provided by different independent participants requires a high degree of standardization and flexibility. For this purpose, platform-independent XML-based languages like the Business Process Execution Language for Web Services (BPEL4WS) are suitable. XML documents are in fact human readable, but in general they are hard to produce and to understand by business experts which are, however, most qualified for defining business processes. We present a model-based development method based on an intuitive and adequate modelling notation, an automatic transformation of process models to their XML-based encoding, and techniques to analyze processes. In this context the Unified Modeling Language (UML) as standard notation for modelling software, graph transformation as meta language for defining model transformations, and a semantic interpretation of process models in terms of Communicating Sequential Processes (CSP) are used.


Business Process Class Diagram Object Constraint Language Activity Diagram Graph Grammar 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1 (May 2003),
  2. 2.
    Engelfriet, J., Rozenberg, G.: Node replacement graph grammars. In: Rozenberg [12], pp. 1–94Google Scholar
  3. 3.
    Engels, G., Heckel, R., Küster, J.M.: The consistency workbench: A tool for consistency management in uml-based development. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 356–359. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Engels, G., Küster, J.M., Groenewegen, L., Heckel, R.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Gruhn, V. (ed.) ESEC 1997 and ESEC-FSE 1997. LNCS, vol. 1301, pp. 327–343. Springer, Heidelberg (2001)Google Scholar
  5. 5.
    Habel, A.: Hyperedge Replacement: Grammars and Languages. LNCS, vol. 643. Springer, Heidelberg (1992)zbMATHGoogle Scholar
  6. 6.
    Hoare, C.: Communicating sequential processes. Communicat. Associat. Comput. Mach. 21(8), 666–677 (1978)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Object Management Group. Object constraint language (OCL) 2.0 (2003),
  8. 8.
    Object Management Group. Unified modelling language(UML) 2.0 (2003),
  9. 9.
    Plump, D.: Hypergraph Rewriting:Critical Pairs and Undecidability of Confluence. In: Plasmeijer, M., van Eekelen, M.C. (eds.) Term Graph Rewriting, pp. 201–214. Wiley, Chichester (1993)Google Scholar
  10. 10.
    Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences 5, 560–595 (1971)zbMATHMathSciNetCrossRefGoogle Scholar
  11. 11.
    Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)Google Scholar
  12. 12.
    Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)Google Scholar
  13. 13.
    Schür, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1994)Google Scholar
  14. 14.
    Stehr, J.: Semantical Consistency Check of UML Behavior Diagrams for Modelling Embedded Systems [in German]. Diploma thesis, University of Paderborn (2003)Google Scholar
  15. 15.
    Thöne, S., Depke, R., Engels, G.: Process-Oriented, Flexible Composition of Web Services with UML. In: Arisawa, H., Kambayashi, Y., Kumar, V., Mayr, H.C., Hunt, I. (eds.) ER Workshops 2001. LNCS, vol. 2465, p. 417. Springer, Heidelberg (2002)Google Scholar
  16. 16.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Distributed and Parallel Databases (2003)Google Scholar
  17. 17.
    Voigt, H.: Model-based Analysis of Executable Business Processes for Web Services [in German]. Diploma thesis, University of Paderborn (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Reiko Heckel
    • 1
    • 2
  • Hendrik Voigt
    • 2
  1. 1.Faculty of Computer ScienceUniversity of DortmundGermany
  2. 2.Faculty of Computer Science, Electrical Engineering and MathematicsUniversity of PaderbornGermany

Personalised recommendations