{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T15:59:26Z","timestamp":1776095966642,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030892463","type":"print"},{"value":"9783030892470","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89247-0_8","type":"book-chapter","created":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T17:24:40Z","timestamp":1634405080000},"page":"108-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Extending OCL with Map and Function Types"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Lano","sequence":"first","affiliation":[]},{"given":"Shekoufeh","family":"Kolahdouz-Rahimi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"8_CR1","unstructured":"AgileUML repository (2020). https:\/\/github.com\/eclipse\/agileuml\/"},{"key":"8_CR2","unstructured":"Belaunde, M.: Evolution of the OCL OMG specification, OCL (2010)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-01648-6_29","volume-title":"Models in Software Engineering","author":"J S\u00e1nchez Cuadrado","year":"2009","unstructured":"S\u00e1nchez Cuadrado, J., Jouault, F., Garc\u00eda Molina, J., B\u00e9zivin, J.: Optimization patterns for OCL-based model transformations. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 273\u2013284. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01648-6_29"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173131","volume-title":"Set Theory for the Working Mathematician","author":"K Ciesielski","year":"1997","unstructured":"Ciesielski, K.: Set Theory for the Working Mathematician. Cambridge University Press, Cambridge (1997)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-45669-4_7","volume-title":"Object Modeling with the OCL","author":"S Cook","year":"2002","unstructured":"Cook, S., Kleppe, A., Mitchell, R., Rumpe, B., Warmer, J., Wills, A.: The Amsterdam manifesto on OCL. In: Clark, T., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 115\u2013149. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45669-4_7"},{"key":"8_CR6","unstructured":"Eclipse, ATL user guide, eclipse.org (2019)"},{"key":"8_CR7","unstructured":"Eclipse AgileUML project (2020). https:\/\/projects.eclipse.org\/projects\/modeling.agileuml"},{"key":"8_CR8","unstructured":"Eclipse OCL Version 6.4.0 (2021). https:\/\/projects.eclipse.org\/projects\/modeling.mdt.ocl"},{"key":"8_CR9","unstructured":"The Epsilon Object Language (2020). https:\/\/www.eclipse.org\/epsilon\/doc\/eol"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-45669-4_5","volume-title":"Object Modeling with the OCL","author":"R Hennicker","year":"2002","unstructured":"Hennicker, R., Hussmann, H., Bidoit, M.: On the precise meaning of OCL constraints. In: Clark, T., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 69\u201384. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45669-4_5"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-48480-6_12","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A Kleppe","year":"1999","unstructured":"Kleppe, A., Warmer, J., Cook, S.: Informal formality? The object constraint language and its application in the UML metamodel. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 148\u2013161. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-540-48480-6_12"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Kleppe, A.: Object constraint language: metamodelling semantics (Chap. 7). In: UML 2 Semantics and Applications. Wiley (2009)","DOI":"10.1002\/9780470522622.ch7"},{"key":"8_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1494-9","volume-title":"The B Language and Method","author":"K Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/978-1-4471-1494-9"},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-007-0064-x","volume":"8","author":"K Lano","year":"2009","unstructured":"Lano, K.: A compositional semantics of UML-RSDS. Softw. Syst. Model. 8(1), 85\u2013116 (2009). https:\/\/doi.org\/10.1007\/s10270-007-0064-x","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s00165-014-0313-z","volume":"27","author":"K Lano","year":"2014","unstructured":"Lano, K., Clark, T., Kolahdouz-Rahimi, S.: A framework for model transformation verification. Form. Asp. Comput. 27(1), 193\u2013235 (2014). https:\/\/doi.org\/10.1007\/s00165-014-0313-z","journal-title":"Form. Asp. Comput."},{"key":"8_CR16","volume-title":"Agile Model-Based Development Using UML-RSDS","author":"K Lano","year":"2016","unstructured":"Lano, K.: Agile Model-Based Development Using UML-RSDS. CRC Press, Boca Raton (2016)"},{"key":"8_CR17","unstructured":"Lano, K.: Map type support in OCL?, November 2018. https:\/\/www.eclipse.org\/forums\/index.php\/t\/1096077\/"},{"key":"8_CR18","unstructured":"OMG, Object Constraint Language 2.4 Specification (2014)"},{"key":"8_CR19","unstructured":"OMG, MOF2 Query\/View\/Transformation v1.3 (2016)"},{"key":"8_CR20","unstructured":"OMG (2020). https:\/\/issues.omg.org\/issues\/spec\/OCL\/2.4"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"M Richters","year":"1998","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 449\u2013464. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-540-49524-6_35"},{"key":"8_CR22","volume-title":"The Z Notation","author":"J Spivey","year":"1989","unstructured":"Spivey, J.: The Z Notation. Prentice Hall, Hoboken (1989)"},{"key":"8_CR23","unstructured":"Willink, E.: OCL omissions and contradictions, OMG ADTF (2012)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Willink, E.: Reflections on OCL 2. J. Object Technol. 19(3), 1\u201316 (2020)","DOI":"10.5381\/jot.2020.19.3.a17"},{"key":"8_CR25","unstructured":"Willink, E.: An OCL map type. In: OCL 2019 (2019)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89247-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T22:02:52Z","timestamp":1760565772000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89247-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030892463","9783030892470"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89247-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was hosted by IPM.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}