{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T11:58:32Z","timestamp":1762430312596},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_36","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T09:44:44Z","timestamp":1223977484000},"page":"540-565","source":"Crossref","is-referenced-by-count":13,"title":["Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools"],"prefix":"10.1007","author":[{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"first","affiliation":[]},{"given":"M\u00e1rk","family":"Asztalos","sequence":"additional","affiliation":[]},{"given":"D\u00e9nes","family":"Bisztray","sequence":"additional","affiliation":[]},{"given":"Artur","family":"Boronat","sequence":"additional","affiliation":[]},{"given":"Duc-Hanh","family":"Dang","sequence":"additional","affiliation":[]},{"given":"Rubino","family":"Gei\u00df","sequence":"additional","affiliation":[]},{"given":"Joel","family":"Greenyer","sequence":"additional","affiliation":[]},{"given":"Pieter","family":"Van Gorp","sequence":"additional","affiliation":[]},{"given":"Ole","family":"Kniemeyer","sequence":"additional","affiliation":[]},{"given":"Anantha","family":"Narayanan","sequence":"additional","affiliation":[]},{"given":"Edgars","family":"Rencis","sequence":"additional","affiliation":[]},{"given":"Erhard","family":"Weinell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Visual Modelling and Transformation System (VMTS), \n                    \n                      http:\/\/vmts.aut.bme.hu","key":"36_CR1"},{"unstructured":"The Lx transformation language set (2007), \n                    \n                      http:\/\/Lx.mii.lu.lv","key":"36_CR2"},{"doi-asserted-by":"crossref","unstructured":"Agrawal, A., Karsai, G., Ledeczi, A.: An end-to-end domain-driven software development framework. In: 18th Annual ACM SIGPLAN Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, California (2003)","key":"36_CR3","DOI":"10.1145\/949344.949347"},{"key":"36_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/11787044_27","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"C. Amelunxen","year":"2006","unstructured":"Amelunxen, C., K\u00f6nigs, A., R\u00f6tschke, T., Sch\u00fcrr, A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 361\u2013375. Springer, Heidelberg (2006)"},{"unstructured":"Boronat, A.: The MOMENT2-GT web site (2008), \n                    \n                      http:\/\/www.cs.le.ac.uk\/people\/aboronat\/tools\/moment2-gt","key":"36_CR5"},{"unstructured":"ATLAS Group. The ATLAS Transformation Language, \n                    \n                      http:\/\/www.eclipse.org\/gmt","key":"36_CR6"},{"unstructured":"Balasubramanian, D., Narayanan, A., van Buskirk, C., Karsai, G.: The graph rewriting and transformation language: GReAT. In: 3rd International Workshop on Graph Based Tools (GraBaTs 2006), Natal, Brazil (2006)","key":"36_CR7"},{"unstructured":"Barzdins, J., Zarins, A., Cerans, K., Kalnins, A., Rencis, E., Lace, L., Liepins, R., Sprogis, A.: GrTP: Transformation based graphical tool building platform. In: MDDAUI 2007: Workshop on Model Driven Development of Advanced User Interfaces (Satellite event of MODELS 2007) (2007)","key":"36_CR8"},{"unstructured":"Bisztray, D.: Verification of architectural refactoring rules. Tech. rep., Department of Computer Science, University of Leicester (2008), \n                    \n                      http:\/\/www.cs.le.ac.uk\/people\/dab24\/refactoring-techrep.pdf","key":"36_CR9"},{"unstructured":"Bisztray, D., Heckel, R.: Rule-level verification of business process transformations using CSP. In: Proc. of 6th International Workshop on Graph Transformations and Visual Modeling Techniques (GTVMT 2007) (2007)","key":"36_CR10"},{"key":"36_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"unstructured":"Eclipse Consortium. Eclipse Modeling Framework (EMF) \u2013 Version 2.3 (2007), \n                    \n                      http:\/\/www.eclipse.org\/emf","key":"36_CR12"},{"key":"36_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"AGTIVE 2007","author":"R. Gei\u00df","year":"2008","unstructured":"Gei\u00df, R., Kroll, M.: GrGen.NET: A fast, expressive, and general purpose graph rewrite tool. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088. Springer, Heidelberg (2008)"},{"key":"36_CR14","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming\u00a069, 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"key":"36_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-75209-7_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Greenyer","year":"2007","unstructured":"Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 16\u201330. Springer, Heidelberg (2007)"},{"unstructured":"Greenyer, J., Kindler, E., Rieke, J., Travkin, O.: TGGs for Transforming UML to CSP: Contribution to the ACTIVE 2007 Graph Transformation Tools Contest. Tech. Rep. tr-ri-08-287, Software Engineering Group, Dept. of Computer Science, Univ. of Paderborn (2008), \n                    \n                      http:\/\/www.uni-paderborn.de\/cs\/ag-schaefer\/Veroeffentlichungen\/Quellen\/Papers\/2008\/tr-ri-08-287.pdf","key":"36_CR16"},{"key":"36_CR17","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"36_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"AGTIVE 2007","author":"O. Kniemeyer","year":"2008","unstructured":"Kniemeyer, O., Kurth, W.: The modelling platform GroIMP and the programming language XL. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088. Springer, Heidelberg (2008)"},{"issue":"11","key":"36_CR19","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"A. Ledeczi","year":"2001","unstructured":"Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing domain-specific design environments. Computer\u00a034(11), 44\u201351 (2001)","journal-title":"Computer"},{"unstructured":"Object Management Group (OMG). MOF QVT Final Adopted Specification (2007), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ptc\/07-07-07.pdf","key":"36_CR20"},{"unstructured":"OMG. Unified Modeling Language, version 2.1.1 (2006), \n                    \n                      http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm","key":"36_CR21"},{"key":"36_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"AGTIVE 2007","author":"A. Rensink","year":"2007","unstructured":"Rensink, A., Taentzer, G.: AGTIVE 2007 Graph Transformation Tool Contest. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088. Springer, Heidelberg (2007)"},{"key":"36_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, 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 (1995)"},{"key":"36_CR24","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1142\/9789812815149_0013","volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools","author":"A. Sch\u00fcrr","year":"1999","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: The PROGRES approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, vol.\u00a02, pp. 487\u2013550. World Scientific, Singapore (1999)"},{"unstructured":"SENSORIA: Software Engineering for Service-Oriented Overlay Computers, \n                    \n                      http:\/\/www.sensoria-ist.eu","key":"36_CR25"},{"unstructured":"Tiger Developer Team. Tiger EMF Transformer (2007), \n                    \n                      http:\/\/www.tfs.cs.tu-berlin.de\/emftrans","key":"36_CR26"},{"unstructured":"Van Gorp, P., Muliawan, O., Keller, A., Janssens, D.: Executing a platform independent model of the UML-to-CSP transformation on a commercial platform. In: AGTIVE 2007 Tool Contest (2007), \n                    \n                      http:\/\/gtcases.cs.utwente.nl\/wiki\/UMLToCSP\/MoTMoT","key":"36_CR27"},{"unstructured":"Wagner, R.: Developing Model Transformations with Fujaba. In: Giese, H., Westfechtel, B. (eds.) Proc. 4\n                    th\n                   International Fujaba Days 2006, Bayreuth, Germany, vol.\u00a0tr-ri-06-275. Techn. Rep., pp. 79\u201382. Univ. of Paderborn (2006)","key":"36_CR28"}],"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_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T13:39:48Z","timestamp":1551620388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89020-1_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540890195","9783540890201"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}