{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T01:02:16Z","timestamp":1794358936581,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540890195","type":"print"},{"value":"9783540890201","type":"electronic"}],"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_1","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T09:44:44Z","timestamp":1223977484000},"page":"1-16","source":"Crossref","is-referenced-by-count":4,"title":["Combining Quality Assurance and Model Transformations in Business-Driven Development"],"prefix":"10.1007","author":[{"given":"Jana","family":"Koehler","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Gschwind","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jochen","family":"K\u00fcster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cesare","family":"Pautasso","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ksenia","family":"Ryndina","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jussi","family":"Vanhatalo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Understanding SOA with Web Services","author":"E. Newcomer","year":"2005","unstructured":"Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Addison Wesley, Reading (2005)"},{"key":"1_CR2","unstructured":"Mitra, T.: Business-driven development. IBM developerWorks article. IBM (2005), http:\/\/www.ibm.com\/developerworks\/webservices\/library\/ws-bdd"},{"key":"1_CR3","first-page":"1","volume-title":"Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques","author":"J. Koehler","year":"2006","unstructured":"Koehler, J., Hauser, R., K\u00fcster, J., Ryndina, K., Vanhatalo, J., Wahler, M.: The role of visual modeling and model transformations in business-driven development. In: Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, pp. 1\u201312. Elsevier, Amsterdam (2006)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Brahe, S., Bordbar, B.: A Pattern-based Approach to Business Process Modeling and Implementation in Web Services. In: Proceedings of Workshop Modeling the SOA - Business perspective and model mapping, in conjunction with ICSOC (2006)","DOI":"10.1007\/978-3-540-75492-3_15"},{"key":"1_CR5","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) (2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"1_CR6","unstructured":"Jordan, D., et al.: Web services business process execution language (WSBPEL) 2.0 (2007), http:\/\/www.oasis-open.org\/committees\/wsbpel\/"},{"key":"1_CR7","unstructured":"IBM: WebSphere Business Modeler, http:\/\/www.ibm.com\/software\/integration\/wbimodeler"},{"key":"1_CR8","unstructured":"Object Management Group: Model driven architecture (2001), http:\/\/www.omg.org\/mda"},{"key":"1_CR9","series-title":"ENTCS","first-page":"143","volume-title":"GraMot 2005, International Workshop on Graph and Model Transformations","author":"T. Mens","year":"2006","unstructured":"Mens, T., van Gorp, P., Karsai, G., Varr\u00f3, D.: Applying a model transformation taxonomy to graph transformation technology. In: Karsai, G., Taentzer, G. (eds.) GraMot 2005, International Workshop on Graph and Model Transformations. ENTCS, vol.\u00a0152, pp. 143\u2013159. Elsevier, Amsterdam (2006)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A Taxonomy of Model Transformation. Electr. Notes Theor. Comput. Sci.\u00a0152, 125\u2013142 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3","key":"1_CR11","first-page":"621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal, special issue on Model-Driven Software Development\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal, special issue on Model-Driven Software Development"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/11880240_30","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Biermann","year":"2006","unstructured":"Biermann, E., Ehrig, K., K\u00f6hler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 425\u2013439. Springer, Heidelberg (2006)"},{"key":"1_CR13","series-title":"Applications, Languages and Tools","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1142\/9789812815149_0014","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"C. Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a02, pp. 551\u2013603. World Scientific, Singapore (1999)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"1_CR15","unstructured":"Mens, T.: On the use of graph transformations for model refactoring. In: 2005 Summer School on Generative and Transformational Techniques in Software Engineering, Braga, Portugal, Departamento Informatica, Universidade do Minho, Braga, Portugal, Technical Report TR-CCTC\/DI-35, 67\u201398 (2005)"},{"key":"1_CR16","unstructured":"St\u00fcrmer, I., Kreuz, I., Sch\u00e4fer, W., Sch\u00fcrr, A.: Enhanced simulink\/stateflow model transformation: The mate approach. In: Proceedings of MathWorks Automotive Conference (MAC 2007), MathWorks (2007)"},{"key":"1_CR17","unstructured":"Balogh, A., N\u00e9meth, A., Schmidt, A., Rath, I., V\u00e1g\u00f3, D., Varr\u00f3, D., Pataricza, A.: The VIATRA2 model transformation framework. In: ECMDA 2005 \u2013 Tools Track (2005)"},{"issue":"11","key":"1_CR18","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science\u00a09(11), 1296\u20131321 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM 3: A Tool for Multi-Formalism and Meta-Modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002)"},{"key":"1_CR20","unstructured":"Braun, P., Marschall, F.: BOTL - The Bidirectional Objekt Oriented Transformation Language. Technical report, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Technical Report TUM-I0307 (2003)"},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/337180.337620","volume-title":"Proceedings of the 22 nd International Conference on Software Engineering (ICSE)","author":"U. Nickel","year":"2000","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: Tool demonstration: The FUJABA environment. In: Proceedings of the 22 nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 742\u2013745. ACM Press, New York (2000)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/11880240_25","volume-title":"Model Driven Engineering Languages and Systems","author":"D.H. Akehurst","year":"2006","unstructured":"Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D.: SiTra: Simple Transformations in Java. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 351\u2013364. Springer, Heidelberg (2006)"},{"key":"1_CR23","unstructured":"Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Final Adopted Specification ptc\/05-11-01 (2005)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/11880240_29","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D.: Model Transformation by Example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 410\u2013424. Springer, Heidelberg (2006)"},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10270-006-0018-8","volume":"5","author":"J.M. K\u00fcster","year":"2006","unstructured":"K\u00fcster, J.M.: Definition and validation of model transformations. Software and Systems Modeling (SoSyM)\u00a05(3), 233\u2013259 (2006)","journal-title":"Software and Systems Modeling (SoSyM)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11841883_19","volume-title":"Graph Transformations","author":"D. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D., Varr\u00f3-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination Analysis of Model Transformations by Petri Nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 260\u2013274. Springer, Heidelberg (2006)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-69489-2_24","volume-title":"Models in Software Engineering","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of Model Transformations - First Experiences Using a White Box Approach. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 193\u2013204. Springer, Heidelberg (2007)"},{"key":"1_CR28","unstructured":"Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling, part 1 modeling control flow, part 2 modeling data flow. IBM WebSphere Developer Technical Journal\u00a010(2), 10(4) (2007)"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management, Models, Techniques, and Empirical Studies","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: Business Process Management, Models, Techniques, and Empirical Studies, London, UK, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/11841760_38","volume-title":"Business Process Management","author":"J. Mendling","year":"2006","unstructured":"Mendling, J., Moser, M., Neumann, G., Verbeek, H.M.W., Dongen, B.F., van der Aalst, W.M.P.: Faulty EPCs in the SAP reference model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 451\u2013457. Springer, Heidelberg (2006)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models though SESE Decomposition. In: 5th International Conference on Service-Oriented Computing (ICSOC), Vienna, Austria (September 2007) (to appear)","DOI":"10.1007\/978-3-540-74974-5_4"},{"key":"1_CR33","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"issue":"1","key":"1_CR34","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\u201365 (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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T07:56:38Z","timestamp":1684569398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89020-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540890195","9783540890201"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1_1","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}