{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:06:56Z","timestamp":1725473216134},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457725"},{"type":"electronic","value":"9783540457732"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880240_46","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T04:14:47Z","timestamp":1164168887000},"page":"661-675","source":"Crossref","is-referenced-by-count":5,"title":["An OCL Semantics Specified with QVT"],"prefix":"10.1007","author":[{"given":"Slavi\u0161a","family":"Markovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Baar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (2005)","edition":"2"},{"issue":"4","key":"46_CR2","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Computing Surveys"},{"key":"46_CR3","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":"46_CR4","unstructured":"OMG. UML 2.0 OCL Specification \u2013 OMG Final Adopted Specification. OMG Document ptc\/03-10-14 (October 2003)"},{"key":"46_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45685-6_8","volume-title":"Theorem Proving in Higher Order Logics","author":"A.D. Brucker","year":"2002","unstructured":"Brucker, A.D., Wolff, B.: A proposal for a formal OCL semantics in Isabelle\/HOL. In: Carre\u00f1o, V.A., Mu\u00f1oz, C.A., Tahar, S. (eds.) TPHOLs 2002. LNCS, vol.\u00a02410, pp. 99\u2013114. Springer, Heidelberg (2002)"},{"key":"46_CR6","unstructured":"OMG. UML 1.5 Specification. OMG Document formal\/03-03-01 (March 2003)"},{"key":"46_CR7","unstructured":"OMG. UML 2.0 Infrastructure Specification. OMG Document ptc\/03-09-15 (September 2003)"},{"key":"46_CR8","unstructured":"OMG. Meta object facility (MOF) 2.0 Query\/View\/Transformation Specification. OMG Document ptc\/05-11-01 (November 2005)"},{"key":"46_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-40011-7_21","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"P. Bottoni","year":"2000","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. LNCS, vol.\u00a01939, pp. 294\u2013308. Springer, Heidelberg (2000)"},{"key":"46_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","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. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"46_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine - Definition, 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 - Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"key":"46_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-540-70881-0_9","volume-title":"Perspectives of Systems Informatics","author":"T. Baar","year":"2007","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.) PSI 2006. LNCS, vol.\u00a04378, pp. 70\u201383. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880240_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T15:42:25Z","timestamp":1683646945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880240_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457725","9783540457732"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11880240_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}