{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:24:41Z","timestamp":1740097481536,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319463964"},{"type":"electronic","value":"9783319463971"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46397-1_17","type":"book-chapter","created":{"date-parts":[[2016,10,6]],"date-time":"2016-10-06T10:42:36Z","timestamp":1475750556000},"page":"221-229","source":"Crossref","is-referenced-by-count":1,"title":["UnifiedOCL: Achieving System-Wide Constraint Representations"],"prefix":"10.1007","author":[{"given":"David","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakub","family":"Szymanek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moira C.","family":"Norrie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,7]]},"reference":[{"key":"17_CR1","unstructured":"Avila, C., Sarcar, A., Cheon, Y., Yeep, C.: Runtime constraint checking approaches for OCL. a critical comparison. In: SEKE (2010)"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2004.02.085","volume":"116","author":"L Baresi","year":"2005","unstructured":"Baresi, L., Young, M.: Toward translating design constraints to run-time assertions. Electr. Notes Theor. Comput. Sci. 116, 73\u201384 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"17_CR3","unstructured":"Cosentino, V., Mart\u00ednez, S.: Extracting UML\/OCL integrity constraints and derived types from relational databases. In: MoDELS International Workshops (2013)"},{"key":"17_CR4","unstructured":"EssentialOCL. http:\/\/help.eclipse.org\/juno\/index.jsp?topic=%2Forg.eclipse.ocl.doc%2Fhelp%2FEssentialOCL.html . Accessed 04 Apr 2016"},{"key":"17_CR5","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-319-25156-1_3","volume-title":"Model-Driven Engineering and Software Development","author":"A Hamie","year":"2015","unstructured":"Hamie, A.: Using patterns to map OCL constraints to JML specifications. In: Hammoudi, S., Pires, L.F., Filipe, J., Neves, R.C.D. (eds.) Model-Driven Engineering and Software Development. Communications in Computer and Information Science, vol. 506, pp. 35\u201348. Springer, Switzerland (2015)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-21151-0_7","volume-title":"Modelling Foundations and Applications","author":"MU Khan","year":"2015","unstructured":"Khan, M.U., Arshad, N., Iqbal, M.Z., Umar, H.: AspectOCL: extending OCL for crosscutting constraints. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 92\u2013107. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-21151-0_7"},{"key":"17_CR7","volume-title":"MDA explained - the model driven architecture: practice and promise","author":"A Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA explained - the model driven architecture: practice and promise. Addison-Wesley, Reading (2003)"},{"key":"17_CR8","series-title":"The Springer International Series in Engineering and Computer Science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"GT Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: a notation for detailed design. In: Kilov, E., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol. 523, pp. 175\u2013188. Springer, New York (1999)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-46105-1_33","volume-title":"Advances in Object-Oriented Information Systems","author":"SJ Mellor","year":"2002","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D.: Model-driven architecture. In: Bruel, J.-M., Bellahsene, Z. (eds.) OOIS 2002. LNCS, vol. 2426, pp. 290\u2013297. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46105-1_33"},{"issue":"3","key":"17_CR10","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1587\/transinf.E94.D.612","volume":"94","author":"R Moiseev","year":"2011","unstructured":"Moiseev, R., Hayashi, S., Saeki, M.: Using hierarchical transformation to generate assertion code from OCL constraints. IEICE Trans. 94(3), 612\u2013621 (2011)","journal-title":"IEICE Trans."},{"issue":"5","key":"17_CR11","first-page":"1045","volume":"31","author":"N Obrenovic","year":"2012","unstructured":"Obrenovic, N., Popovic, A., Aleksic, S., Lukovic, I.: Transformations of check constraint PIM specifications. Comput. Inf. 31(5), 1045\u20131079 (2012)","journal-title":"Comput. Inf."},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-319-25264-3_15","volume-title":"Conceptual Modeling","author":"X Oriol","year":"2015","unstructured":"Oriol, X., Teniente, E.: Incremental checking of OCL constraints with aggregates through SQL. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., L\u00f3pez, \u00d3.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 199\u2013213. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25264-3_15"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Shimba, H., Hanada, K., Okano, K., Kusumoto, S.: Bidirectional translation between OCL and JML for round-trip engineering. In: APSEC (2013)","DOI":"10.1109\/APSEC.2013.111"},{"key":"17_CR14","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, Reading (2009)"},{"key":"17_CR15","unstructured":"Szymanek, J.: Achieving unified data quality representation by constraints transformation. http:\/\/dx.doi.org\/10.3929\/ethz-a-010510131 (2015)"},{"key":"17_CR16","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, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (2003)","edition":"2"},{"key":"17_CR17","unstructured":"Wilke, C.: Java code generation for Dresden OCL2 for eclipse. Technische Universit\u00e4t Dresden, Germany (2009)"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-41533-3_13","volume-title":"Model-Driven Engineering Languages and Systems","author":"M Wimmer","year":"2013","unstructured":"Wimmer, M., Burgue\u00f1o, L.: Testing M2T\/T2M transformations. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 203\u2013219. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41533-3_13"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46397-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:30:08Z","timestamp":1498336208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46397-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319463964","9783319463971"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46397-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}