Abstract
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.
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.
Similar content being viewed by others
References
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), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
Engelfriet, J., Rozenberg, G.: Node replacement graph grammars. In: Rozenberg [12], pp. 1–94
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)
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)
Habel, A.: Hyperedge Replacement: Grammars and Languages. LNCS, vol. 643. Springer, Heidelberg (1992)
Hoare, C.: Communicating sequential processes. Communicat. Associat. Comput. Mach. 21(8), 666–677 (1978)
Object Management Group. Object constraint language (OCL) 2.0 (2003), http://www.omg.org/uml
Object Management Group. Unified modelling language(UML) 2.0 (2003), http://www.omg.org/uml
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)
Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences 5, 560–595 (1971)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)
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)
Stehr, J.: Semantical Consistency Check of UML Behavior Diagrams for Modelling Embedded Systems [in German]. Diploma thesis, University of Paderborn (2003)
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)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Distributed and Parallel Databases (2003)
Voigt, H.: Model-based Analysis of Executable Business Processes for Web Services [in German]. Diploma thesis, University of Paderborn (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Heckel, R., Voigt, H. (2004). Model-Based Development of Executable Business Processes for Web Services. In: Desel, J., Reisig, W., Rozenberg, G. (eds) Lectures on Concurrency and Petri Nets. ACPN 2003. Lecture Notes in Computer Science, vol 3098. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27755-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-27755-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22261-3
Online ISBN: 978-3-540-27755-2
eBook Packages: Springer Book Archive