{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:55:51Z","timestamp":1743119751063,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_8","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T07:12:58Z","timestamp":1289459578000},"page":"147-165","source":"Crossref","is-referenced-by-count":1,"title":["The Use of Model Transformation in the INESS Project"],"prefix":"10.1007","author":[{"given":"Osmar M.","family":"dos Santos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"King","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Process Algebra for Parallel and Distributed Processing","year":"2008","key":"8_CR1","unstructured":"Alexander, M., Gardner, W. (eds.): Process Algebra for Parallel and Distributed Processing. CRC Press, USA (2008)"},{"key":"8_CR2","unstructured":"Artisan Software Tools Inc. Artisan studio UML modelling tool (2010), \n                    \n                      http:\/\/www.artisansoftwaretools.com\/"},{"key":"8_CR3","unstructured":"Formal Systems (Europe) Ltd. FDR 2.83 manual (2007)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/3-540-61474-5_94","volume-title":"Computer Aided Verification","author":"R.H. Hardin","year":"1996","unstructured":"Hardin, R.H., Har\u2019El, Z., Kurshan, R.P.: COSPAN. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 423\u2013427. Springer, Heidelberg (1996)"},{"key":"8_CR5","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, USA (1985)"},{"issue":"5","key":"8_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR7","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, USA (2003)"},{"key":"8_CR8","unstructured":"INESS Project. INtegrated European Signalling System (INESS) Project Web Page (2010), \n                    \n                      http:\/\/www.iness.eu\/"},{"key":"8_CR9","unstructured":"Jussila, T., Dubrovin, J., Junttila, T., Latvala, T., Porres, I.: Model checking dynamic and hierarchical UML state machines. In: 3rd Workshop on Model design and Validation, Italy, pp. 94\u2013110 (2006), \n                    \n                      http:\/\/modeva.itee.uq.edu.au\/accepted_papers\/main.pdf"},{"key":"8_CR10","unstructured":"KnowGravity Inc. Cassandra\/xUML User\u2019s Guide (2008), \n                    \n                      http:\/\/www.knowgravity.com\/eng\/value\/cassandra.htm"},{"key":"8_CR11","unstructured":"Kolovos, D.S.: Extensible Platform for Specification of Integrated Languages for mOdel maNagement Project Website (2010), \n                    \n                      http:\/\/www.eclipse.org\/gmt\/epsilon"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11880240_16","volume-title":"Model Driven Engineering Languages and Systems","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: Merging Models with the Epsilon Merging Language (EML). In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11787044_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 128\u2013142. Springer, Heidelberg (2006)"},{"key":"8_CR14","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: A framework for composing modular and interoperable model management tasks. In: Workshop on Model Driven Tool and Process Integration, Germany, pp. 79\u201390. Fraunhofer-Verlag (2008)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-11447-2_13","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"D.S. Kolovos","year":"2009","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol.\u00a05115, pp. 204\u2013218. Springer, Heidelberg (2009)"},{"key":"8_CR16","first-page":"13","volume-title":"1st International Workshop on Global Integrated Model Management","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: Model comparison: a foundation for model composition and model transformation testing. In: 1st International Workshop on Global Integrated Model Management, Shanghai, China, pp. 13\u201320. ACM Press, New York (2006)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"D.S. Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"8_CR18","first-page":"97","volume-title":"5th IEEE Workshop on Model Driven Engineering Verification and Validation","author":"D.S. Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Rose, L.M., Polack, F.A.: Unit testing model management operations. In: 5th IEEE Workshop on Model Driven Engineering Verification and Validation, Norway, pp. 97\u2013104. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"8_CR19","volume-title":"Executable UML","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML. Addison Wesley, USA (2002)"},{"key":"8_CR20","unstructured":"OMG: Object Constraint Language, Version 2.2, OMG document number formal\/2010-02-01 (2010)"},{"key":"8_CR21","unstructured":"Papyrus UML - CEA LIST. Open source tool for graphical UML2 modelling (2008), \n                    \n                      http:\/\/www.papyrusuml.org\/"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69100-6_1","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"L.M. Rose","year":"2008","unstructured":"Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.: The Epsilon Generation Language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"8_CR23","unstructured":"Software Technology Group - Dresden University of Technology. Emftext concrete syntax mapper (2010), \n                    \n                      http:\/\/www.emftext.org\/"},{"key":"8_CR24","unstructured":"The Eclipse Foundation. Eclipse UML2 Web Page (2010), \n                    \n                      http:\/\/www.eclipse.org\/uml2"},{"key":"8_CR25","unstructured":"The Eclipse Foundation. Eclipse Web Page (2010), \n                    \n                      http:\/\/www.eclipse.org\/"},{"key":"8_CR26","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-02571-6_21","volume-title":"47th International Conference on Objects, Components, Models and Patterns","author":"H. Treharne","year":"2009","unstructured":"Treharne, H., Turner, E., Paige, R.F., Kolovos, D.S.: Automatic generation of integrated formal models corresponding to UML system models. In: GI-Fachtagung 1975. LNBIP, vol.\u00a033, pp. 357\u2013367. Springer, Heidelberg (2009)"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-540-85762-4_25","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"E. Turner","year":"2008","unstructured":"Turner, E., Treharne, H., Schneider, S., Evans, N.: Automatic generation of CSP\u00a0||\u00a0B skeletons from xUML models. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 364\u2013379. Springer, Heidelberg (2008)"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-540-24721-0_24","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Xie","year":"2004","unstructured":"Xie, F., Levin, V., Kurshan, R.P., Browne, J.C.: Translating software designs for model checking. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 324\u2013338. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T00:53:32Z","timestamp":1553216012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}