{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:53:17Z","timestamp":1725893597254},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336089"},{"type":"electronic","value":"9783642336096"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33609-6_11","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:58:43Z","timestamp":1348613923000},"page":"103-115","source":"Crossref","is-referenced-by-count":1,"title":["Transformation and Validation with SWRL and OWL of ODM-Based Models"],"prefix":"10.1007","author":[{"given":"Jes\u00fas M.","family":"Almendros-Jim\u00e9nez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Iribarne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/j.jvlc.2007.12.004","volume":"19","author":"J.M. Almendros-Jim\u00e9nez","year":"2008","unstructured":"Almendros-Jim\u00e9nez, J.M., Iribarne, L.: An Extension of UML for the Modeling of WIMP User Interfaces. Journal of Visual Languages and Computing\u00a019, 695\u2013720 (2008)","journal-title":"Journal of Visual Languages and Computing"},{"issue":"3","key":"11_CR2","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1093\/comjnl\/bxn028","volume":"52","author":"J.M. Almendros-Jim\u00e9nez","year":"2009","unstructured":"Almendros-Jim\u00e9nez, J.M., Iribarne, L.: UML Modeling of User and Database Interaction. The Computer Journal\u00a052(3), 348\u2013367 (2009)","journal-title":"The Computer Journal"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-02144-2_8","volume-title":"Advanced Information Systems Engineering","author":"X. Blanc","year":"2009","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental Detection of Model Inconsistencies Based on Model Operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 32\u201346. Springer, Heidelberg (2009)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2095654.2095666","volume-title":"Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa","author":"F. B\u00fcttner","year":"2011","unstructured":"B\u00fcttner, F., Cabot, J., Gogolla, M.: On validation of ATL transformation rules by transformation models. In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, pp. 1\u20138. ACM, New York (2011), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/2095654.2095666"},{"issue":"83","key":"11_CR5","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"2","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and Validation of Declarative Model-to-Model Transformations. Systems and Software\u00a02(83), 283\u2013302 (2010)","journal-title":"Systems and Software"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: IEEE International Conference on Software Testing Verification and Validation, ICSTW 2008, pp. 73\u201380. IEEE (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"11_CR8","unstructured":"Hillairet, G.: ATL Use Case - ODM Implementation (Bridging UML and OWL). Tech. rep. (2007), \n                    \n                      http:\/\/www.eclipse.org\/m2m\/atl\/atlTransformations\/"},{"key":"11_CR9","first-page":"79","volume":"21","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M., et al.: SWRL: A semantic web rule language combining OWL and RuleML. W3C Member submission\u00a021, 79 (2004)","journal-title":"W3C Member submission"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: On the architectural alignment of ATL and QVT. In: SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1188\u20131195. ACM, New York (2006)","DOI":"10.1145\/1141277.1141561"},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.scico.2007.05.005","volume":"68","author":"F. Jouault","year":"2007","unstructured":"Jouault, F., Kurtev, I.: On the interoperability of model-to-model transformation languages. Sci. Comput. Program.\u00a068(3), 114\u2013137 (2007)","journal-title":"Sci. Comput. Program."},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-30475-3_17","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"H. Knublauch","year":"2004","unstructured":"Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Prot\u00e9g\u00e9 OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-21470-7_7","volume-title":"Modelling Foundations and Applications","author":"J. Noir Le","year":"2011","unstructured":"Le Noir, J., Delande, O., Exertier, D., da Silva, M.A.A., Blanc, X.: Operation Based Model Representation: Experiences on Inconsistency Detection. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 85\u201396. Springer, Heidelberg (2011)"},{"key":"11_CR14","unstructured":"O\u2019Connor, M.J., Das, A.K.: SQWRL: a query language for OWL. In: Fifth International Workshop on OWL: Experiences and Directions (OWLED) (2009)"},{"key":"11_CR15","unstructured":"OMG: MDA Spec. Tech. rep. (2003), \n                    \n                      http:\/\/www.omg.org\/mda\/specs.htm"},{"key":"11_CR16","unstructured":"OMG: MOF 2.0 Query\/Views\/Transformations RFP. Tech. rep. (2008), \n                    \n                      http:\/\/www.omg.org\/docs\/ad\/05-01-06.pdf"},{"key":"11_CR17","unstructured":"OMG: Object Constraint Language (OCL). Tech. rep. (2008), \n                    \n                      http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm"},{"key":"11_CR18","unstructured":"OMG: Ontology Definition Metamodel (ODM). Tech. rep. (2009), \n                    \n                      http:\/\/www.omg.org\/spec\/ODM\/1.0\/"},{"key":"11_CR19","unstructured":"Sch\u00e4tz, B.: Verification of model transformations. Electronic Communications of the EASST\u00a029 (2010)"},{"key":"11_CR20","unstructured":"TopCased: Topcased: The open-source tool kit for critical systems. Tech. rep. (2010), \n                    \n                      http:\/\/www.topcased.org\/"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/s10270-004-0070-1","volume":"4","author":"L. Tratt","year":"2005","unstructured":"Tratt, L.: Model transformations and tool integration. Software and System Modeling\u00a04(2), 112\u2013122 (2005)","journal-title":"Software and System Modeling"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33609-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:15:40Z","timestamp":1620130540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33609-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336089","9783642336096"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33609-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}