{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:18:01Z","timestamp":1725495481989},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540753339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75336-0_12","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T01:38:37Z","timestamp":1195177117000},"page":"183-199","source":"Crossref","is-referenced-by-count":8,"title":["Verification of Model Transformations: A Case Study with BPEL"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Alonso, G., Fiedler, U., Hagen, C., Lazcano, A., Schuldt, H., Weiler, N.: WISE: Business to business e-commerce. In: RIDE, pp. 132\u2013139 (1999)","DOI":"10.1109\/RIDE.1999.758645"},{"key":"12_CR2","unstructured":"Anyanwu, K., Sheth, A., Cardoso, J., Miller, J., Kochut, K.: Healthcare enterprise process development and integration. Journal of Research and Practice in Information Technology, 35(2) (2003)"},{"key":"12_CR3","unstructured":"Baresi, L., Maurino, A., Modafferi, S.: Workflow partitioning in mobile information systems. In: Kluwer (ed.) Proc. of IFIP TC8 Working Conference on Mobile Information Systems. IFIP International Federation for Information Processing, vol. 158 (2004)"},{"key":"12_CR4","unstructured":"Baresi, L., Maurino, A., Modafferi, S.: Partitioning rules for bpel processes. Technical report, Politecnico di Milano. In preparation (2006)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/1013367.1013390","volume-title":"Proc. of the Int. World Wide Web conference on Alternate track papers & posters","author":"G.B. Chafle","year":"2004","unstructured":"Chafle, G.B., Chandra, S., Mann, V., Nanda, M.G.: Decentralized orchestration of composite web services. In: Proc. of the Int. World Wide Web conference on Alternate track papers & posters, pp. 134\u2013143. ACM Press, New York, USA (2004)"},{"key":"12_CR6","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) version 1.1. W3C (March 2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"12_CR7","unstructured":"Eder, J., Panagos, E.: Towards distributed workflow process management. In: proc. of Workshop on cross-Organizational Workflow Management and Coordination, San Francisco, USA (1999)"},{"key":"12_CR8","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. International Workshop on Graph and Model Transformation (GraMoT 2005)","author":"H. Ehrig","year":"2005","unstructured":"Ehrig, H., Ehrig, K.: Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation. In: Proc. International Workshop on Graph and Model Transformation (GraMoT 2005). Electronic Notes in Theoretical Computer Science, vol.\u00a0152, Elsevier Science, Tallinn, Estonia (2005)"},{"key":"12_CR9","series-title":"EATCS Monographs in Theoretical Computer Science","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)"},{"key":"12_CR10","unstructured":"Engels, G., Heckel, R., Sauer, St.: Dynamic meta modeling: A graphical approach to operational semantics. In: Proc. OOPSLA 1999 Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, Denver, CO, USA (November 2, 1999)"},{"key":"12_CR11","unstructured":"Gardner, T., al.: Draft UML 1.4 profile for automated business processes with a mapping to the BPEL 1.0. IBM alphaWorks (2003)"},{"issue":"5","key":"12_CR12","first-page":"277","volume":"15","author":"P. Grefen","year":"2000","unstructured":"Grefen, P., Aberer, K., Hoffner, Y., Ludwig, H.: Crossflow: Cross-organizational workflow management in dynamic virtual enterprises. International Journal of Computer Systems Science & Engineering\u00a015(5), 277\u2013290 (2000)","journal-title":"International Journal of Computer Systems Science & Engineering"},{"key":"12_CR13","unstructured":"IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems. Business Process Execution Language for Web Services version 1.1 (May 2003), http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"12_CR14","unstructured":"Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture and Implementation. International Thomson (1996)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Jablonski, S., Schamburger, R., Hahn, C., Horn, S., Lay, R., Neeb, J., Schlundt, M.: A comprehensive investigation of distribution in the context of workflow management. In: proc. of International Conference on Parallel and Distributed Systems ICPADS, Kyongju City, Korea (2001)","DOI":"10.1109\/ICPADS.2001.934818"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Judge, D., Odgers, B., Shepherdson, J., Cui, Z.: Agent enhanced workflow. BT Technical Journal (16) (1998)","DOI":"10.1023\/A:1009677814958"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11841883_6","volume-title":"Graph Transformations","author":"L. Lambers","year":"2006","unstructured":"Lambers, L., Ehrig, H., Orejas, F.: Conflict Detection for Graph Transformation with Negative Application Conditions. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 61\u201376. Springer, Heidelberg (2006)"},{"issue":"1","key":"12_CR18","first-page":"19","volume":"18","author":"C. Mohan","year":"1995","unstructured":"Mohan, C., Alonso, G., Gunthor, R., Kamath, M.: Exotica: A research perspective of workflow management systems. Data Engineering Bulletin\u00a018(1), 19\u201326 (1995)","journal-title":"Data Engineering Bulletin"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1023\/A:1008608810770","volume":"10","author":"P. Muth","year":"1998","unstructured":"Muth, P., Wodtke, D., Weisenfels, J., Kotz Dittrich, A., Weikum, G.: From centralized workflow specification to distributed workflow execution. Journal of Intelligent Information Systems\u00a010(2), 159\u2013184 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: Adeptflex \u2212 supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems\u00a010(2), 93\u2013129 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"12_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1578-6","volume-title":"Wide Area Workflow Management","author":"G. Riempp","year":"1998","unstructured":"Riempp, G.: Wide Area Workflow Management. Springer, London, UK (1998)"},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Boehlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013456. Springer, Heidelberg (2004)"},{"key":"12_CR23","unstructured":"Technical University of Berlin, Department of Computer Science. AGG Version 1.4.1 - (2006), http:\/\/tfs.cs.tu-berlin.de\/agg"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75336-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:23Z","timestamp":1619521163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75336-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540753339"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75336-0_12","relation":{},"subject":[]}}