{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:52:18Z","timestamp":1725807138421},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122052"},{"type":"electronic","value":"9783319122069"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12206-9_19","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T14:26:06Z","timestamp":1412951166000},"page":"232-245","source":"Crossref","is-referenced-by-count":3,"title":["Fixing Up Non-executable Operations in UML\/OCL Conceptual Schemas"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Oriol","sequence":"first","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]},{"given":"Albert","family":"Tort","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Oliv\u00e9, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)","key":"19_CR1"},{"unstructured":"Object Management Group (OMG): Unified Modeling Language (UML) Superstructure Specification, version 2.4.1 (2011), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/","key":"19_CR2"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","volume-title":"Integrated Formal Methods","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verifying UML\/OCL operation contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 40\u201355. Springer, Heidelberg (2009)"},{"unstructured":"Object Management Group (OMG): Object Constraint Language (UML), version 2.3.1 (2012), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/","key":"19_CR4"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-33666-9_16","volume-title":"Model Driven Engineering Languages and Systems","author":"L. Hamann","year":"2012","unstructured":"Hamann, L., Hofrichter, O., Gogolla, M.: On integrating structure and behavior modeling with OCL. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 235\u2013251. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Verifying dynamic aspects of UML models. In: Design, Automation Test in Europe Conference Exhibition (DATE), pp. 1\u20136 (2011)","key":"19_CR6","DOI":"10.1109\/DATE.2011.5763177"},{"unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: Dynamic validation of OCL constraints with mOdCL. In: International Workshop on OCL and Textual Modelling (2011)","key":"19_CR7"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-02144-2_9","volume-title":"Advanced Information Systems Engineering","author":"A. Queralt","year":"2009","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 47\u201362. Springer, Heidelberg (2009)"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-78743-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"A.D. Brucker","year":"2008","unstructured":"Brucker, A.D., Wolff, B.: HOL-OCL: A formal proof environment for UML\/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 97\u2013100. Springer, Heidelberg (2008)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11431855_1","volume-title":"Advanced Information Systems Engineering","author":"A Oliv\u00e9","year":"2005","unstructured":"Oliv\u00e9, A.: Conceptual schema-centric development: A grand challenge for information systems research. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 1\u201315. Springer, Heidelberg (2005)"},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2089116.2089123","volume":"21","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM TOSEM\u00a021(2), 13 (2012)","journal-title":"ACM TOSEM"},{"issue":"4","key":"19_CR12","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-007-0078-4","volume":"7","author":"D. Costal","year":"2008","unstructured":"Costal, D., G\u00f3mez, C., Queralt, A., Ravent\u00f3s, R., Teniente, E.: Improving the definition of general constraints in UML. Software & Systems Modeling\u00a07(4), 469\u2013486 (2008)","journal-title":"Software & Systems Modeling"},{"unstructured":"Oliv\u00e9, A.: Integrity constraints checking in deductive databases. In: Proceedings of the 17th Int. Conference on Very Large Data Bases (VLDB), pp. 513\u2013523 (1991)","key":"19_CR13"},{"issue":"2","key":"19_CR14","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.datak.2004.08.002","volume":"53","author":"C. Farr\u00e9","year":"2005","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Checking query containment with the CQC method. Data & Knowledge Engineering\u00a053(2), 163\u2013223 (2005)","journal-title":"Data & Knowledge Engineering"},{"unstructured":"Planas, E., Oliv\u00e9, A.: The DBLP case study (2006), \n                    \n                      http:\/\/guifre.lsi.upc.edu\/\/DBLP.pdf","key":"19_CR15"},{"key":"19_CR16","first-page":"53","volume-title":"9th International Conference on Generative Programming and Component Engineering, GPCE 2010","author":"M.P. Krieger","year":"2010","unstructured":"Krieger, M.P., Knapp, A., Wolff, B.: Automatic and efficient simulation of operation contracts. In: 9th International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 53\u201362. ACM, New York (2010)"},{"issue":"4","key":"19_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.datak.2011.01.003","volume":"70","author":"M. Albert","year":"2011","unstructured":"Albert, M., Cabot, J., G\u00f3mez, C., Pelechano, V.: Generating operation specifications from UML class diagrams: A model transformation approach. Data & Knowledge Engineering\u00a070(4), 365\u2013389 (2011)","journal-title":"Data & Knowledge Engineering"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12206-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T03:00:16Z","timestamp":1558321216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12206-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122052","9783319122069"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12206-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}