{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T19:40:02Z","timestamp":1738438802953,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540890195"},{"type":"electronic","value":"9783540890201"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89020-1_2","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T13:44:44Z","timestamp":1223991884000},"page":"17-31","source":"Crossref","is-referenced-by-count":10,"title":["Assuring Consistency of Business Process Models and Web Services Using Visual Contracts"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[]},{"given":"Baris","family":"G\u00fcldali","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Soltenborn","sequence":"additional","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Understanding SOA with Web Services","author":"E. Newcomer","year":"2004","unstructured":"Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Addison-Wesley, Reading (2004)"},{"key":"2_CR2","unstructured":"van der Aalst, W., Hofstede, A.: YAWL: Yet Another Workflow Language. Technical report, Queensland University of Technology, Brisbane (2002)"},{"key":"2_CR3","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report 1989, Institut f\u00fcr Wirtschaftsinformatik, Universit\u00e4t des Saarlandes (1992)"},{"key":"2_CR4","unstructured":"Andrews, T., et al.: Business Process Execution Language for Web Services version 1.1 (2003)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"UML 2001: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools","author":"M. Dumas","year":"2001","unstructured":"Dumas, M., Hofstede, A.: UML Activity Diagrams as a Workflow Specification Language. In: UML 2001: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, London, UK, pp. 76\u201390. Springer, Heidelberg (2001)"},{"key":"2_CR6","unstructured":"Object Management Group: UML Specification V2.1.1 (2007), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/07-02-05"},{"key":"2_CR7","unstructured":"Lohmann, M.: Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen. PhD thesis, University of Paderborn (2006)"},{"key":"2_CR8","unstructured":"Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)"},{"issue":"10","key":"2_CR9","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation.. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-61228-9_79","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Padberg, J.: The Category of Typed Graph Grammars and its Adjunctions with Categories. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 56\u201374. Springer, Heidelberg (1996)"},{"key":"2_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management \u2013 Models, Methods, and Systems","author":"W. Aalst van der","year":"2002","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management \u2013 Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"ICATPN 1997: Proceedings of the 18th International Conference on Application and Theory of Petri Nets","author":"W. Aalst van der","year":"1997","unstructured":"van der Aalst, W.: Verification of Workflow Nets. In: ICATPN 1997: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, London, UK, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-72952-5_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"G. Engels","year":"2007","unstructured":"Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 76\u201390. Springer, Heidelberg (2007)"},{"key":"2_CR15","unstructured":"Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language (2007), http:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"2_CR16","unstructured":"Engels, G., G\u00fcldali, B., Lohmann, M., Juwig, O., Richter, J.P.: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: Biel, B., Book, M., Gruhn, V. (eds.) Software Engineering, GI. LNI, vol.\u00a079, pp. 111\u2013122 (2006)"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1008734426504","volume":"9","author":"R. Heckel","year":"2001","unstructured":"Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. APCS (Applied Categorical Structures)\u00a09(1), 83\u2013110 (2001)","journal-title":"APCS (Applied Categorical Structures)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Koehler, J., Gschwind, T., K\u00fcster, J., Pautasso, C., Ryndina, K., Vanhatalo, J., V\u00f6lzer, H.: Combining Quality Assurance and Model Transformations in Business-Driven Development. In: Proceedings of third International Symposium AGTIVE 2007, pp. 1\u201316 (2007) (Selected and Invited Papers)","DOI":"10.1007\/978-3-540-89020-1_1"},{"key":"2_CR19","unstructured":"Eclipse Foundation: The Eclipse project, http:\/\/www.eclipse.org\/"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Lohmann, M., Engels, G., Sauer, S.: Model-driven Monitoring: Generating Assertions from Visual Contracts. In: 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2006 Demonstration Session (September 2006)","DOI":"10.1109\/ASE.2006.52"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Baresi, L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to better specify the amazon bug. In: Proc. of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, pp. 585\u2013592 (2002)","DOI":"10.1145\/568760.568863"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Modeling and validation of service-oriented architectures: application vs. style. In: Proc. of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC \/ SIGSOFT FSE 2003, pp. 68\u201377 (2003)","DOI":"10.1145\/940071.940082"},{"key":"2_CR23","volume-title":"Proc. of the Workshop on Graph Transformation for Verification and Concurrency (ICGT 2006)","author":"L. G\u00f6nczy","year":"2006","unstructured":"G\u00f6nczy, L., Kov\u00e1cs, M., Varr\u00f3, D.: Modeling and verification of reliable messaging by graph transformation systems. In: Proc. of the Workshop on Graph Transformation for Verification and Concurrency (ICGT 2006). Elsevier, Amsterdam (2006)"},{"issue":"1","key":"2_CR24","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1147\/sj.441.0047","volume":"44","author":"J. Koehler","year":"2005","unstructured":"Koehler, J., Hauser, R., Sendall, S., Wahler, M.: Declarative techniques for model-driven business process integration. IBM Systems Journal\u00a044(1), 47\u201366 (2005)","journal-title":"IBM Systems Journal"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89020-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T19:05:20Z","timestamp":1738436720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89020-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540890195","9783540890201"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}