{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:43:55Z","timestamp":1725990235625},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319996165"},{"type":"electronic","value":"9783319996172"}],"license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-99617-2_4","type":"book-chapter","created":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T09:36:35Z","timestamp":1535967395000},"page":"53-68","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Functional Specification of Queries in OCL"],"prefix":"10.1007","author":[{"given":"Piotr","family":"Kosiuczenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain Theory. In: Handbook of Logic in Computer Science, vol. 3, pp. 1\u2013168. Clarendon Press (1994)","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Barnett, M., Naumann, D., A., Schulte, W., Sun, Q.: Allowing state changes in specifications. In: International Conference on Emerging Trends in Information and Communication Security, ETRICS. LNCS, vol. 3995, pp. 321\u2013336. Springer (2006)","DOI":"10.1007\/11766155_23"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-driven Software Engineering in Practice. Morgan and Claypool Publishers (2012)","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Cabot, J. Gogolla, M.: Object constraint language (OCL): a definitive guide. In: Formal Methods for Model-Driven Engineering, SFM 2012, Bertinoro, Italy, 18-23 June 2012. LNCS, Vol. 7320, pp. 58\u201390. Springer (2012)","DOI":"10.1007\/978-3-642-30982-3_3"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10270-003-0035-9","volume":"3","author":"M Cengarle","year":"2004","unstructured":"Cengarle, M., Knapp, A.: OCL 1.4\/1.5 vs. OCL 2.0 expressions: formal semantics and expressiveness. Softw. Syst. Model. 3(1), 9\u201330 (2004)","journal-title":"Softw. Syst. Model."},{"key":"4_CR6","unstructured":"Chang, C., Keisler J.: Model Theory. North-Holland, rev. edn. (1990)"},{"key":"4_CR7","unstructured":"Darvans, \u00c1., M\u00fcller, P.: Reasonong about Method Calls in JML. In: Formal Techniques for Java-Like Programms, FTfJLP 2005 (2005)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8, 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"4_CR9","first-page":"111","volume":"102","author":"R Hennicker","year":"2004","unstructured":"Hennicker, R., Knapp, A., Baumeister, H.: Semantics of OCL operation specifications. ENTCS 102(2), 111\u2013132 (2004)","journal-title":"ENTCS"},{"key":"4_CR10","unstructured":"Hennicker, R., Baumeister, H., Knapp, Al., Wirsing, M.: Specifying component invariants with OCL. GI Jahrestagung 2001, pp. 600\u2013607 (2001)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Kiczales, G., et al.: An overview of AspectJ. LNCS, vol. 2072, pp. 327\u2013355. Springer (2001)","DOI":"10.1007\/3-540-45337-7_18"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Kosiuczenko, P.: Specification of invariability in OCL. In: Nierstrasz, O., et al. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 676\u2013691. Springer (2006)","DOI":"10.1007\/11880240_47"},{"key":"4_CR13","unstructured":"Kosiuczenko, P.: 17. Specification of Invariability in OCL. J. Softw. Syst. Model. 12(2), 415\u2013434 (2013)"},{"issue":"1\u20133","key":"4_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.scico.2004.05.015","volume":"55","author":"G Leavens","year":"2005","unstructured":"Leavens, G., Yoonsik, C., Clifton, C., Ruby, C., Cok, D.: How the design of JML accomodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55(1\u20133), 185\u2013208 (2005)","journal-title":"Sci. Comput. Program."},{"key":"4_CR15","unstructured":"Mitchell, R., McKim, J.: Design by contract by example. Addison-Wesley (2001)"},{"key":"4_CR16","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1998","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall, NJ (1998)"},{"key":"4_CR17","unstructured":"Naumann, D.: Observational purity and encapsulation. In: Cerioli, M., (ed.) Fundamantal Aspects of Software Engineering (FASE 2005). LNCS, vol. 3442, pp. 190\u2013204 (2005)"},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.tcs.2007.02.004","volume":"376","author":"D Naumann","year":"2007","unstructured":"Naumann, D.: Observational purity and encapsulation. Theor. Comput. Sci. 376(3), 205\u2013224 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR19","unstructured":"OMG, MDA Guide, Version 1.0.1, June 2003"},{"key":"4_CR20","unstructured":"OMG, OCL Specification, Version 2.4, February 2014"},{"key":"4_CR21","unstructured":"OMG, Unified Modeling Language Specification: Superstructure, Version 2.1.1, 05 February 2007 (2007)"},{"key":"4_CR22","unstructured":"OMG, Unified Modeling Language Specification: Superstructure, 2.5.1, December 2017"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Shalev, M.: What is in a step: on the semantics of Statecharts. In: Meyer, R., Ito, T. (eds.) TACS 1991. LNCS, vol. 526, pp. 244\u2013264. Springer, New York (1991)","DOI":"10.1007\/3-540-54415-1_49"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Rumpe, B.: Agile Modeling with UML - Code Generation, Testing, Refactoring. Springer (2017)","DOI":"10.1007\/978-3-319-58862-9"},{"key":"4_CR25","unstructured":"Warmer, J., Kleppe, A.: Object constraint language: getting your models ready for MDA. Addison Wesley (2003)"}],"container-title":["Advances in Intelligent Systems and Computing","Engineering Software Systems: Research and Praxis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99617-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T21:49:29Z","timestamp":1720561769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99617-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,1]]},"ISBN":["9783319996165","9783319996172"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99617-2_4","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,9,1]]}}}