{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T07:17:26Z","timestamp":1721891846930},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,3,11]],"date-time":"2008-03-11T00:00:00Z","timestamp":1205193600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s10270-008-0083-2","type":"journal-article","created":{"date-parts":[[2008,3,10]],"date-time":"2008-03-10T11:03:40Z","timestamp":1205147020000},"page":"399-422","source":"Crossref","is-referenced-by-count":4,"title":["Semantics of OCL specified with QVT"],"prefix":"10.1007","volume":"7","author":[{"given":"Slavi\u0161a","family":"Markovi\u0107","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Baar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,11]]},"reference":[{"key":"83_CR1","unstructured":"OMG. UML 2.0 Infrastructure Specification. OMG Document ptc\/03-09-15, September 2003"},{"key":"83_CR2","doi-asserted-by":"crossref","unstructured":"Berkenk\u00f6tter, K.: OCL-based validation of a railway domain profile. In: K\u00fchne, T. (ed.) Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genova, Italy, October 1\u20136, 2006, Reports and Revised Selected Papers, LNCS, vol. 4364, pp. 159\u2013168. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-69489-2_20"},{"key":"83_CR3","doi-asserted-by":"crossref","unstructured":"Demuth, B., Hu\u00dfmann, H., Loecher, S.: OCL as a specification language for business rules in database applications. In: UML\u201901: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, Lecture Notes in Computer Science, vol. 2185, pp. 104\u2013117. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45441-1_9"},{"key":"83_CR4","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: Octavian Patrascoiu, editor, OCL and Model Driven Engineering, UML 2004 Conference Workshop, 12 October 2004, Lisbon, Portugal, pp. 69\u201383. University of Kent, Kent (2004)"},{"key":"83_CR5","doi-asserted-by":"crossref","unstructured":"Akehurst, D.H., Bordbar, B.: On querying UML data models with OCL. In: Gogolla, M., Kobryn, C. (eds.) UML 2001\u2014The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, 1\u20135 October 2001, Proceedings, Lecture Notes in Computer Science, vol. 2185, pp. 91\u2013103. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45441-1_8"},{"key":"83_CR6","doi-asserted-by":"crossref","unstructured":"Demuth, B., Hu\u00dfmann, H.: Using UML\/OCL constraints for relational database design. In: France, R.B., Rumpe, B. (eds.) UML\u201999: The Unified Modeling Language\u2014Beyond the Standard, Second International Conference, Fort Collins, CO, USA, 28\u201330 October 1999, Proceedings, Lecture Notes in Computer Science, vol. 1723. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-46852-8_42"},{"key":"83_CR7","doi-asserted-by":"crossref","unstructured":"Bauerdick, H., Gogolla, M., Gutsche, F.: Detecting OCL traps in the UML 2.0 superstructure: an experience report. In: Baar, T., Strohmeier, A., Moreira, A.M.D., Mellor, S.J. (eds.) UML 2004\u2014The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, 11\u201315 October 2004. Proceedings, Lecture Notes in Computer Science, vol. 3273, pp. 188\u2013196. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30187-5_14"},{"key":"83_CR8","unstructured":"Oslo, T.: Oslo project (2007). http:\/\/oslo-project.berlios.de\/"},{"key":"83_CR9","unstructured":"MDT-OCL Team: Eclipse MDT\u2014OCL project (2007). http:\/\/www.eclipse.org\/modeling\/mdt\/?project=ocl"},{"key":"83_CR10","unstructured":"Dresden OCL Team: Dresden OCL Toolkit (2007). http:\/\/dresden-ocl.sourceforge.net\/"},{"key":"83_CR11","unstructured":"OCTOPUS Team: OCTOPUS\u2014OCl TOol for Precise Uml Specifications (2007). http:\/\/octopus.sourceforge.net\/"},{"key":"83_CR12","unstructured":"USE Team: USE\u2014a UML-based Specification Environment (2007). http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/"},{"key":"83_CR13","unstructured":"OCLE Team: OCLE\u2013Object Constraint Language Environment (2007). http:\/\/lci.cs.ubbcluj.ro\/ocle\/index.htm"},{"key":"83_CR14","unstructured":"OMG: Object Constraint Language\u2014OMG Available Specification, version 2.0. OMG Document formal\/06-05-01, May (2006)"},{"key":"83_CR15","doi-asserted-by":"crossref","unstructured":"Richters, M.: A precise approach to validating UML models and OCL constraints. PhD thesis, Bremer Institut f\u00fcr Sichere Systeme, Universit\u00e4t Bremen, Logos-Verlag, Berlin (2001)","DOI":"10.1007\/3-540-40011-7_19"},{"key":"83_CR16","unstructured":"OMG: Meta object facility (MOF) 2.0 Query\/View\/Transformation Specification. OMG Document ptc\/05-11-01, November (2005)"},{"key":"83_CR17","unstructured":"RoclET Team. RoclET project (2007). http:\/\/www.roclet.org\/"},{"key":"83_CR18","unstructured":"Borland. Together technologies (2007). http:\/\/www.borland.com\/together\/"},{"key":"83_CR19","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006)"},{"key":"83_CR20","unstructured":"Brucker, A.D.: An Interactive Proof Environment for Object-oriented Specifications. PhD thesis, ETH Zurich (2007). ETH Dissertation No. 17097"},{"key":"83_CR21","doi-asserted-by":"crossref","unstructured":"Clark, T., Evans, A., Kent, S.: Engineering modelling languages: a precise meta-modelling approach. In: Kutsche, R.-D., Weber, H. (eds.) Fundamental Approaches to Software Engineering. 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 2002, Proceedings, LNCS, vol. 2306, pp. 159\u2013173. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45923-5_11"},{"key":"83_CR22","doi-asserted-by":"crossref","unstructured":"Markovi\u0107, S., Baar, T.: An OCL semantics specified with QVT. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings, MoDELS\/UML 2006, Genova, Italy, 1\u20136 October 2006, LNCS, vol. 4199, pp. 660\u2013674. Springer, Heidelberg (2006)","DOI":"10.1007\/11880240_46"},{"key":"83_CR23","unstructured":"Brucker, A.D., Doser, J., Wolff, B.: Semantic issues of OCL: Past, present, and future. In: Demuth, B., Chiorean, D., Gogolla, M., Warmer, J. (eds.) OCL for (Meta-)Models in Multiple Application Domains, pp. 213\u2013228. University Dresden, Dresden (2006) (Available as Technical Report, University Dresden, number TUD-FI06-04-September 2006)"},{"key":"83_CR24","doi-asserted-by":"crossref","unstructured":"Baar, T.: Non-deterministic constructs in OCL\u2014what does any() mean. In: Prinz, A., Reed, R., Reed, J. (eds.) Proceedings of 12th SDL Forum, Grimstad, Norway, June 2005, LNCS, vol 3530, pp. 32\u201346. Springer, Heidelberg (2005)","DOI":"10.1007\/11506843_3"},{"key":"83_CR25","first-page":"449","volume-title":"Proceedings of 17th International Conference in Conceptual Modeling (ER\u201998), LNCS 1507","author":"M. Richters","year":"1998","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.W., Ram, S., Lee, M.L.(eds) Proceedings of 17th International Conference in Conceptual Modeling (ER\u201998), LNCS 1507., pp. 449\u2013464. Springer, Berlin (1998)"},{"key":"83_CR26","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: A metamodel for OCL. In: France, R., Rumpe, B. (eds.) UML\u201999\u2014The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, 28\u201330 October 1999, Proceedings, LNCS, vol. 1723, pp. 156\u2013171. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-46852-8_12"},{"key":"83_CR27","first-page":"118","volume-title":"UML, Lecture Notes in Computer Science, vol. 2185","author":"M.V. Cengarle","year":"2001","unstructured":"Cengarle, M.V., Knapp, A.: A formal semantics for OCL 1.4.. In: Gogolla, M., Kobryn, C.(eds) UML, Lecture Notes in Computer Science, vol. 2185., pp. 118\u2013133. Springer, Heidelberg (2001)"},{"issue":"3","key":"83_CR28","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/s10270-003-0026-x","volume":"2","author":"F. Stephan","year":"2003","unstructured":"Stephan, F., Wolfgang, M.: Formal semantics of static and temporal state-oriented OCL-constraints. J. Softw. Syst. Model. (SoSym) 2(3), 164\u2013186 (2003)","journal-title":"J. Softw. Syst. Model. (SoSym)"},{"key":"83_CR29","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Knapp, A., Baumeister, H.: Semantics of OCL operation specifications. Electronic Notes in Theoretical Computer Science. Proceedings of OCL 2.0 Workshop at UML\u201903 102, 111\u2013132 (2004)","DOI":"10.1016\/j.entcs.2003.09.006"},{"key":"83_CR30","unstructured":"Baar, T.: \u00dcber die Semantikbeschreibung OCL-artiger Sprachen. PhD thesis, Fakult\u00e4t f\u00dcr Informatik, Universit\u00e4t Karlsruhe (in German). ISBN 3-8325-0433-8, Logos, Verlag, Berlin (2003)"},{"issue":"1","key":"83_CR31","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10270-003-0035-9","volume":"3","author":"M.V. Cengarle","year":"2004","unstructured":"Cengarle, M.V., Knapp, A.: OCL 1.4\/5 vs. 2.0 expressions formal semantics and expressiveness. Softw. Syst. Model. 3(1), 9\u201330 (2004)","journal-title":"Softw. Syst. Model."},{"key":"83_CR32","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-45669-4_7","volume-title":"Object Modeling with the OCL: The Rationale behind the Object Constraint Language","author":"S. Cook","year":"2002","unstructured":"Cook, S., Kleppe, A., Mitchell, R., Rumpe, B., Warmer, J., Wills, A.C.: The amsterdam manifesto on OCL. In: Clark, T., Warmer, J.(eds) Object Modeling with the OCL: The Rationale behind the Object Constraint Language., pp. 115\u2013149. Springer, Heidelberg (2002)"},{"key":"83_CR33","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.entcs.2003.09.004","volume":"102","author":"S. Flake","year":"2004","unstructured":"Flake, S.: Ocltype\u2014a type or metatype?. Electr. Notes Theor. Comput. Sci. 102, 63\u201375 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"83_CR34","unstructured":"Akehurst, D.H., Howells, G., McDonald-Maier, K.D.: Supporting OCL as part of a family of languages. In: Baar, T. (ed.), Proceedings of the MoDELS\u201905 Conference Workshop on Tool Support for OCL and Related Formalisms\u2014Needs and Trends, Montego Bay, Jamaica, 4 October 2005, Technical Report LGL-REPORT-2005\u2013001, pp. 30\u201337. EPFL (2005)"},{"issue":"10","key":"83_CR35","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful Modeling: What\u2019s the Semantics of \u201cSemantics\u201d?. IEEE Comput. Softw. 37(10), 64\u201372 (2004)","journal-title":"IEEE Comput. Softw."},{"key":"83_CR36","unstructured":"Chiarad\u00eda, J.M., Pons, C.: Improving the OCL semantics definition by applying dynamic meta modeling and design patterns. In: Demuth, B., Chiorean, D., Gogolla, M., Warmer, J. (eds.) OCL for (Meta-)Models in Multiple Application Domains, pp. 229\u2013239. University Dresden, Dresden (Available as Technical Report, University Dresden, number TUD-FI06-04-September) (2006)"},{"key":"83_CR37","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000\u2014The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, 2\u20136 October 2000, Proceedings, LNCS, vol. 1939, pp. 294\u2013308. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-40011-7_21"},{"key":"83_CR38","doi-asserted-by":"crossref","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000\u2014The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, 2\u20136 October 2000, Proceedings, LNCS, vol. 1939, pp. 323\u2013337. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-40011-7_23"},{"key":"83_CR39","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D.: A formal semantics of UML Statecharts by model transition systems. In: Corradini, A., Ehrig, H., Kreowski, H., Rozenberg, G. (eds.) Proceedings of ICGT 2002: 1st International Conference on Graph Transformation, LNCS, vol. 2505, pp. 378\u2013392. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45832-8_28"},{"key":"83_CR40","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine\u2014Definition, Verification, Validation","author":"R.F. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R.F., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine\u2014Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"key":"83_CR41","unstructured":"Chiorean, D., Bortes, M., Corutiu, D.: Proposals for a widespread use of OCL. In: Baar, T. (ed.). Tool Support for OCL and Related Formalisms\u2014Needs and Trends, MoDELS\u201905 Conference Workshop, Montego Bay, Jamaica, October 4, 2005, Proceedings, Technical Report LGL-REPORT-2005-001, pp. 68\u201382. EPFL (2005)"},{"key":"83_CR42","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Towards using OCL for instance-level queries in domain specific languages. In: Demuth, B., Chiorean, D., Gogolla, M., Warmer, J. (eds.) OCL for (Meta-) Models in Multiple Application Domains, pp. 26\u201337. University Dresden. Dresden (available as Technical Report, University Dresden, number TUD-FI06-04-September) (2006)"},{"key":"83_CR43","doi-asserted-by":"crossref","unstructured":"Baar, T., Markovi\u0107, S.: A graphical approach to prove the semantic preservation of UML\/OCL refactoring rules. In: Virbitskaite, I., Voronkov, A. (eds.) Proceedings, Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Akademgorodok near Novosibirsk, Russia, LNCS, vol. 4378, pp. 70\u201383. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-70881-0_9"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0083-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0083-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0083-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T23:02:26Z","timestamp":1684278146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0083-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,11]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["83"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0083-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,11]]}}}