{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:59Z","timestamp":1725486179888},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431695"},{"type":"electronic","value":"9783540456698"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","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":[[2002]]},"DOI":"10.1007\/3-540-45669-4_5","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T17:25:02Z","timestamp":1180891502000},"page":"69-84","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["On the Precise Meaning of OCL Constraints"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]},{"given":"Heinrich","family":"Hussmann","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Bidoit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"5_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-46852-8_29","volume-title":"The Unified Modeling Language-Beyond the Standard","author":"M. Bidoit","year":"1999","unstructured":"Bidoit, M., Hennicker, R., Tort, F., Wirsing, M.: Correct Realizations of Interface Constraints with OCL. Proc. UML\u2019 99, The Unified Modeling Language-Beyond the Standard, Springer LNCS 1723, 399\u2013415, 1999."},{"key":"5_CR2","unstructured":"Brickford, M., Guaspari, D.: Lightweight Analysis of UML. Draft Technical Report, Odyssey Research Associates, 1998."},{"key":"5_CR3","unstructured":"Cheesman, J., Daniels, J.: UML Components. Addison-Wesley, 2001"},{"key":"5_CR4","series-title":"Lect Notes Comput Sci","volume-title":"The Wide Spectrum Language CIP-L","author":"F.L. Bauer","year":"1985","unstructured":"The CIP Language Group (F.L. Bauer et al.): The Munich Project CIP, Vol. I: The Wide Spectrum Language CIP-L. Springer LNCS 183, 1985"},{"key":"5_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1007\/3-540-46852-8_42","volume-title":"The Unified Modeling Language-Beyond the Standard","author":"B. Demuth","year":"1999","unstructured":"Demuth, B., Hussmann, H.: Using UML\/OCL Constraints for Relational Database Design. Proc. UML\u2019 99, The Unified Modeling Language-Beyond the Standard, Springer LNCS 1723, 598\u2013613, 1999."},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","volume-title":"The Unified Modeling Language","author":"B. Demuth","year":"2001","unstructured":"Demuth, B., Hussmann, H., Loecher, St.: OCL as a Specification Language for Business Rules in Data Base Applications. Proc. UML\u2019 01, The Unified Modeling Language, To appear (Springer LNCS), 2001."},{"key":"5_CR7","unstructured":"D\u2019souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML. The Catalysis Approach. Addison-Wesley, 1999"},{"key":"5_CR8","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems. Practical Tools and Techniques in Software Development. Cambridge University Press, 1998"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assinging Meanings to Programs. Proc. Symp. on Appl. Math.\n                        19, American Mathematical Society 1967","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"5_CR10","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995"},{"key":"5_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-540-45493-4","volume-title":"A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models","author":"B. Reus","year":"2001","unstructured":"Reus, B., Wirsing, M., Hennicker, R.: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. Proc. FASE 2001-Fundamental Aspects of Software Engineering, Springer LNCS 2029, 285\u2013300, 2001."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis of Computer Programming. Communications of the ACM\n                        12, pp. 576\u2013583, 1969","journal-title":"Communications of the ACM"},{"key":"5_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-40011-7_20","volume-title":"The Unified Modeling Language-Advancing the Standard","author":"H. Hussmann","year":"2000","unstructured":"Hussmann, H., Demuth, B., Finger, F.: Modular Architecture for a Toolset Supporting OCL. Proc. UML 2000, The Unified Modeling Language-Advancing the Standard, Springer LNCS 1939, 278\u2013293, 2000."},{"issue":"6","key":"5_CR14","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A Behavioral Notion of Subtyping. ACM Trans. on Prog. Lang. and Systems, Vol. 16 (6), 1811\u20131841, 1994","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"5_CR15","unstructured":"Meyer, B.: Object-oriented Software Construction. Prentice Hall, 1988."},{"key":"5_CR16","series-title":"Lect Notes Comput Sci","first-page":"449","volume-title":"On Formalizing the UML Object Constraint Language OCL","author":"M. Richters","year":"2004","unstructured":"Richters, M., Gogolla, M.: On Formalizing the UML Object Constraint Language OCL. Proc. 17th Int. Conf. Conceptual Modeling (ER\u2019 98) Springer LNCS 1507, 449\u2013464, 1998."},{"key":"5_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-40011-7_19","volume-title":"The Unified Modeling Language-Advancing the Standard","author":"M. Richters","year":"2000","unstructured":"Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. Proc. UML 2000, The Unified Modeling Language-Advancing the Standard, Springer LNCS 1939, 265\u2013277, 2000."},{"key":"5_CR18","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Precise Modeling with UML. Addison-Wesley, 1999"},{"key":"5_CR19","unstructured":"Klasse Objecten: Errata for \u201cThe Object Constraint Language, Precise Modeling with UML\u201d. Available at \n                  http:\/\/www.klasse.nl\n                  \n                ."}],"container-title":["Lecture Notes in Computer Science","Object Modeling with the OCL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45669-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:42:03Z","timestamp":1558258923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 February 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}