{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:52:05Z","timestamp":1725540725724},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049460"},{"type":"electronic","value":"9783642049477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04947-7_18","type":"book-chapter","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T14:29:52Z","timestamp":1257863392000},"page":"147-156","source":"Crossref","is-referenced-by-count":2,"title":["XMI2USE: A Tool for Transforming XMI to USE Specifications"],"prefix":"10.1007","author":[{"given":"Wuliang","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunjee","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul C.","family":"Grabow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Devon M.","family":"Simmonds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Alanen, M., Porres, I.: A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Technical report, Turku Centre for Computer Science (2003)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: ACM\/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (2007)","DOI":"10.1007\/978-3-540-75209-7_30"},{"key":"18_CR3","unstructured":"ArgoUML, an open source UML modeling tool by Tigris.org, \n                    \n                      http:\/\/argouml.tigris.org\/"},{"key":"18_CR4","unstructured":"Boldsoft, Boldsoft OCL Tool Model Run, Boldsoft, Stockholm (2002)"},{"key":"18_CR5","unstructured":"Bordbar, B., Anastasakis, K.: UML2Alloy: A tool for lightweight modelling of Discrete Event Systems. In: Guimaraes, N., Isaias, P. (eds.) IADIS International Conference in Applied Computing (2005)"},{"key":"18_CR6","unstructured":"Chiorean, D.: Using OCL Beyond Specifications. In: Workshop of the pUML-Group held together with the UML 2001 on Practical UML-Based Rigorous Development Methods (2001)"},{"key":"18_CR7","unstructured":"Database Systems Group, Bremen University, USE: A UML based Specification Environment (Preliminary Version 0.1) (2007), \n                    \n                      http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/use-documentation.pdf"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1145\/1007512.1007535","volume-title":"ISSTA 2004: ACM SIGSOFT international symposium on Software testing and analysis","author":"G. Dennis","year":"2004","unstructured":"Dennis, G., Seater, R., Rayside, D., Jackson, D.: Automating commutativity analysis at the design level. In: ISSTA 2004: ACM SIGSOFT international symposium on Software testing and analysis, pp. 165\u2013174. ACM Press, New York (2004)"},{"key":"18_CR9","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., Buttner, 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":"18_CR10","series-title":"Lecture Notes in Computer Science","first-page":"278","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"H. Hussmann","year":"2002","unstructured":"Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 278\u2013293. Springer, Heidelberg (2002)"},{"key":"18_CR11","volume-title":"MDA Explained \u2014 The Model Driven Architecture: Practical and Promise","author":"A. Kleppe","year":"2005","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained \u2014 The Model Driven Architecture: Practical and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston (2005)"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Leroux, D., Nally, M., Hussey, K.: Rational Software Architect: A tool for domain-specific modeling. IBM Systems Journal\u00a045(3) (2006)","DOI":"10.1147\/sj.453.0555"},{"key":"18_CR13","unstructured":"Object Management Group (OMG), MOF 2.0\/XMI Mapping Specification, v2.1 (2005)"},{"key":"18_CR14","unstructured":"Object Management Group (OMG), Object Constraint Language (OCL) Version 2.0. OMG Document ptc\/06-05-01 (2006)"},{"key":"18_CR15","unstructured":"Object Management Group (OMG), Unified Modeling Language (UML), Infra- and Superstructure, V2.1.2 (2007)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/11555827_5","volume-title":"Computer Security \u2013 ESORICS 2005","author":"K. Sohr","year":"2005","unstructured":"Sohr, K., Ahn, G., Gogolla, M., Migge, L.: Specification and Validation of Authorisation Constraints Using UML and OCL. In: de di Vimercati, S.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 64\u201379. Springer, Heidelberg (2005)"},{"issue":"4","key":"18_CR17","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/s10270-003-0031-0","volume":"2","author":"A. Toval","year":"2003","unstructured":"Toval, A., Requena, V., Fernandez, J.: Emerging OCL tools. Software and Systems Modeling\u00a02(4), 248\u2013261 (2003), \n                    \n                      http:\/\/www.um.es\/giisw\/ocltools\/\n                    \n                    \n                   (last updated on, 12\/20\/2006)","journal-title":"Software and Systems Modeling"},{"key":"18_CR18","volume-title":"The object constraint language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The object constraint language: Getting Your Models Ready for MDA. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11663430_17","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Wimmer","year":"2006","unstructured":"Wimmer, M., Kramler, G.: Bridging grammarware and modelware. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 159\u2013168. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling - Challenging Perspectives"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04947-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:14:16Z","timestamp":1619781256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04947-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049460","9783642049477"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04947-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}