Model-based development of executable business processes for web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3098, Issue , 2004, Pages 559-584

  Heckel, Reiko ^a,b   Voigt, Hendrik ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER OPERATING PROCEDURES; SEMANTICS; UNIFIED MODELING LANGUAGE; WEBSITES; XML;

AUTOMATIC TRANSFORMATIONS; BUSINESS PROCESS EXECUTION LANGUAGE FOR WEB SERVICES; COMMUNICATING SEQUENTIAL PROCESS; GRAPH TRANSFORMATION; MODEL BASED DEVELOPMENT; MODEL TRANSFORMATION; PLATFORM INDEPENDENT; SEMANTIC INTERPRETATION;

WEB SERVICES;

EID: 33746433484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_16     Document Type: Article

References (17)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1, May 2003. http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/.
2. J. Engelfriet and G. Rozenberg. Node replacement graph grammars. In Rozenberg [12], pages 1-94.
3. G. Engels, R. Heckel, and J. M. Küster. The consistency workbench: A tool for consistency management in uml-based development. In UML 2003 - The Unified Modeling Language. Modeling Languages and Applications. 6th International Conference, San Francisco, USA, LNCS. Springer, 2003.
4. G. Engels, J.M. Küster, L. Groenewegen, and R. Heckel. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In V. Gruhn, editor, Proc. European Software Engineering Conference (ESEC/FSE 01), Vienna, Austria, volume 1301 of LNCS, pages 327-343. Springer Verlag, 2001.
5. A. Habel. Hyperedge Replacement: Grammars and Languages, volume 643 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1992.
6. C. Hoare. Communicating sequential processes. Communicat. Associat. Comput. Mach., 21(8):666-677, 1978.
7. Object Management Group. Object constraint language (OCL) 2.0, 2003. http://uww.omg.org/uml.
8. Object Management Group. Unified modelling language(UML) 2.0, 2003. http://www.omg.org/uml.
9. D. Plump. Hypergraph Rewriting:Critical Pairs and Undecidability of Confluence. In M. Plasmeijer and M.C. van Eekelen, editors, Term Graph Rewriting, pages 201-214. Wiley, 1993.
10. T. W. Pratt. Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences, 5:560-595, 1971.
11. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
12. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.
13. A. Schür. Specification of graph translators with triple graph grammars. In Tinhofer, editor, Proceedings WG'94 International Workshop on Graph-Theoretic Concepts in Computer Science, pages 151-163. LNCS 903, Springer-Verlag, 1994.
14. J. Stehr. Semantical Consistency Check of UML Behavior Diagrams for Modelling Embedded Systems [in German]. Diploma thesis, University of Paderborn, 2003.
15. S. Thöne, R. Depke, and G. Engels. Process-Oriented, Flexible Composition of Web Services with UML. In Proc. of ER-Workshop on Conceptual Modeling Approaches for e-Business (eCOMO 2002); Tampere, Finland. LNCS, 2002.
16. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Distributed and Parallel Databases. 2003.
17. H. Voigt. Model-based Analysis of Executable Business Processes for Web Services [in German]. Diploma thesis, University of Paderborn, 2003.