{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:40:24Z","timestamp":1725565224689},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222613"},{"type":"electronic","value":"9783540277552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27755-2_16","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T03:48:13Z","timestamp":1284436093000},"page":"559-584","source":"Crossref","is-referenced-by-count":7,"title":["Model-Based Development of Executable Business Processes for Web Services"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"Voigt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"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), \n                  \n                    http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Rozenberg, G.: Node replacement graph grammars. In: Rozenberg [12], pp. 1\u201394","DOI":"10.1142\/9789812384720_0001"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-540-45221-8_30","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"G. Engels","year":"2003","unstructured":"Engels, G., Heckel, R., K\u00fcster, 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.\u00a02863, pp. 356\u2013359. Springer, Heidelberg (2003)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","first-page":"327","volume-title":"Proc. European Software Engineering Conference (ESEC\/FSE 2001)","author":"G. Engels","year":"2001","unstructured":"Engels, G., K\u00fcster, 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.\u00a01301, pp. 327\u2013343. Springer, Heidelberg (2001)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Hyperedge Replacement: Grammars and Languages","author":"A. Habel","year":"1992","unstructured":"Habel, A.: Hyperedge Replacement: Grammars and Languages. LNCS, vol.\u00a0643. Springer, Heidelberg (1992)"},{"issue":"8","key":"16_CR6","first-page":"666","volume":"21","author":"C. Hoare","year":"1978","unstructured":"Hoare, C.: Communicating sequential processes. Communicat. Associat. Comput. Mach.\u00a021(8), 666\u2013677 (1978)","journal-title":"Communicat. Associat. Comput. Mach."},{"key":"16_CR7","unstructured":"Object Management Group. Object constraint language (OCL) 2.0 (2003), \n                  \n                    http:\/\/www.omg.org\/uml"},{"key":"16_CR8","unstructured":"Object Management Group. Unified modelling language(UML) 2.0 (2003), \n                  \n                    http:\/\/www.omg.org\/uml"},{"key":"16_CR9","first-page":"201","volume-title":"Term Graph Rewriting","author":"D. Plump","year":"1993","unstructured":"Plump, D.: Hypergraph Rewriting:Critical Pairs and Undecidability of Confluence. In: Plasmeijer, M., van Eekelen, M.C. (eds.) Term Graph Rewriting, pp. 201\u2013214. Wiley, Chichester (1993)"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"T.W. Pratt","year":"1971","unstructured":"Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences\u00a05, 560\u2013595 (1971)","journal-title":"Journal of Computer and System Sciences"},{"key":"16_CR11","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"16_CR12","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","first-page":"151","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcr","year":"1994","unstructured":"Sch\u00fcr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1994)"},{"key":"16_CR14","unstructured":"Stehr, J.: Semantical Consistency Check of UML Behavior Diagrams for Modelling Embedded Systems [in German]. Diploma thesis, University of Paderborn (2003)"},{"key":"16_CR15","unstructured":"Th\u00f6ne, 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.\u00a02465, p. 417. Springer, Heidelberg (2002)"},{"key":"16_CR16","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Distributed and Parallel Databases (2003)"},{"key":"16_CR17","unstructured":"Voigt, H.: Model-based Analysis of Executable Business Processes for Web Services [in German]. Diploma thesis, University of Paderborn (2003)"}],"container-title":["Lecture Notes in Computer Science","Lectures on Concurrency and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27755-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:23:25Z","timestamp":1620012205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27755-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222613","9783540277552"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27755-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}