{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T02:41:00Z","timestamp":1725849660247},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319301419"},{"type":"electronic","value":"9783319301426"}],"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-30142-6_8","type":"book-chapter","created":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T06:36:41Z","timestamp":1456295801000},"page":"137-154","source":"Crossref","is-referenced-by-count":1,"title":["Invariant Implementation for Domain Models Applying Incremental OCL Techniques"],"prefix":"10.1007","author":[{"given":"Alberto-Manuel","family":"Fern\u00e1ndez-\u00c1lvarez","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Fern\u00e1ndez-Lanvin","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Quintela-Pumares","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,25]]},"reference":[{"key":"8_CR1","volume-title":"Domain-Driven Design-Tackling Complexity in the Heart of Software","author":"E Evans","year":"2003","unstructured":"Evans, E.: Domain-Driven Design-Tackling Complexity in the Heart of Software. Addison-Wesley Professional, Boston (2003)"},{"key":"8_CR2","volume-title":"Patterns of Enterprise Application Architecture","author":"M Fowler","year":"2003","unstructured":"Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"},{"key":"8_CR3","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":"\u00c0 Oliv\u00e9","year":"2005","unstructured":"Oliv\u00e9, \u00c0.: Conceptual schema-centric development: a grand challenge for information systems Research. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 1\u201315. Springer, Heidelberg (2005)"},{"unstructured":"Cachopo, J.M.P.: Development of Rich Domain Models with Atomic Actions, UNIVERSIDADE T\u00c9CNICA DE LISBOA (2007)","key":"8_CR4"},{"key":"8_CR5","first-page":"123","volume":"36","author":"D Fern\u00e1ndez Lanvin","year":"2010","unstructured":"Fern\u00e1ndez Lanvin, D., Izquierdo Castanedo, R., Juan Fuente, A.A., Fern\u00e1ndez \u00c1lvarez, A.M.: Extending object-oriented languages with backward error recovery integrated support. Comput. Lang. Syst. Struct. 36, 123\u2013141 (2010)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"8_CR6","volume-title":"Java Persistence with Hibernate","author":"C Bauer","year":"2014","unstructured":"Bauer, C., King, G., Gregory, G.: Java Persistence with Hibernate. Manning Publications Co., Greenwhich (2014)"},{"doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP 2005, p. 48. ACM Press, New York (2005)","key":"8_CR7","DOI":"10.1145\/1065944.1065952"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11864219_14","volume":"4167","author":"D Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional locking II. Distrib. Comput. 4167, 194\u2013208 (2006)","journal-title":"Distrib. Comput."},{"key":"8_CR9","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. Addison-Wesley Professional, Reading (2003)"},{"unstructured":"Wilke, C., Thiele, M.: Dresden OCL2 for Eclipse Manual for Installation, Use and Development (2010)","key":"8_CR10"},{"issue":"9","key":"8_CR11","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459\u20131478 (2009)","journal-title":"J. Syst. Softw."},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.scico.2007.05.001","volume":"68","author":"J Cabot","year":"2007","unstructured":"Cabot, J., Teniente, E.: Transformation techniques for OCL constraints. Sci. Comput. Program. 68, 179\u2013195 (2007)","journal-title":"Sci. Comput. Program."},{"unstructured":"Wilke, C., Demuth, B., A\u00ffmann, U.: Java Code Generation for Dresden OCL2 for Eclipse (2009). \n                    http:\/\/dresden-ocl.sourceforge.net\/downloads\/pdfs\/gb_claas_wilke.pdf","key":"8_CR13"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Inform. 1, 271\u2013281 (1972)","journal-title":"Acta Inform."},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. Computer 25, 40\u201351 (1992). (Long. Beach. Calif)","journal-title":"Computer"},{"unstructured":"Leavens, G.T., Cheon, Y.: Design by Contract with JML. Draft. 1, 4 (2005). \n                    www.jmlspecs.org","key":"8_CR16"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: an overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.L., Muntean, Traian (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Cheon, Y., Avila, C., Roach, S., Munoz, C., Estrada, N., Fierro, V., Romo, J.: An aspect-based approach to checking design constraints at run-time. Presented at the November (2008)","key":"8_CR18","DOI":"10.1109\/ITNG.2009.282"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-89247-2_10","volume-title":"Runtime Verification","author":"M Gopinathan","year":"2008","unstructured":"Gopinathan, M., Rajamani, S.K.: Runtime monitoring of object invariants with guarantee. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 158\u2013172. Springer, Heidelberg (2008)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/11663430_2","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"WJ Dzidek","year":"2006","unstructured":"Dzidek, W.J., Briand, L.C., Labiche, Y.: Lessons learned from developing a dynamic OCL constraint enforcement tool for java. In: Bruel, J.M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 10\u201319. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Reb\u00ealo, H., Soares, S., Lima, R., Ferreira, L., Corn\u00e9lio, M.: Implementing java modeling language contracts with AspectJ. In: Proceedings of 2008 ACM Symposium Applied Computing, SAC 2008, pp. 228\u2013233 (2008)","key":"8_CR21","DOI":"10.1145\/1363686.1363745"},{"unstructured":"Avila, C., Flores, G., Cheon, Y.: A library-based approach to translating OCL constraints to JML assertions for runtime checking. In: International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, 14-17 July 2008, pp. 403\u2013408 (2008)","key":"8_CR22"},{"doi-asserted-by":"crossref","unstructured":"Hamie, A.: Translating the object constraint language into the java modelling language. In: Proceedings of 2004 ACM Symposium Applied Computing - SAC 2004, pp. 1531\u20131535 (2004)","key":"8_CR23","DOI":"10.1145\/967900.968206"},{"doi-asserted-by":"crossref","unstructured":"Cheon, Y., Avila, C.: Automating Java program testing using OCL and AspectJ. In: ITNG2010 - 7th International Conference on Information Technology: New Generations, pp. 1020\u20131025 (2010)","key":"8_CR24","DOI":"10.1109\/ITNG.2010.123"},{"doi-asserted-by":"crossref","unstructured":"Froihofer, L., Glos, G., Osrael, J., Goeschka, K.M.: Overview and evaluation of constraint validation approaches in Java. In: Proceedings - International Conference on Software Engineering, pp. 313\u2013322. IEEE Computer Society, Los Alamitos (2007)","key":"8_CR25","DOI":"10.1109\/ICSE.2007.60"},{"doi-asserted-by":"crossref","unstructured":"Reb\u00ealo, H., Leavens, G.T., Bagherzadeh, M., Rajan, H., Lima, R., Zimmerman, D.M., Corn\u00e9lio, M., Th\u00fcm, T.: AspectJML: modular specification and runtime checking for crosscutting contracts. In: Proceedings of the 13th International Conference on Modularity, pp. 157\u2013168. ACM, Lugano (2014)","key":"8_CR26","DOI":"10.1145\/2577080.2577084"},{"unstructured":"Chimiak-Opoka, J., Demuth, B., Awenius, A., Chiorean, D., Gabel, S., Hamann, L., Willink, E.D.: OCL Tools Report based on the IDE4OCL Feature Model. Eceasst. 44, (2011)","key":"8_CR27"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30142-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:54:22Z","timestamp":1559390062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30142-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319301419","9783319301426"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30142-6_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}