TY - CHAP AU - Brucker, Achim D. AU - Wolff, Burkhart ED - Jézéquel, Jean-Marc ED - Hussmann, Heinrich ED - Cook, Stephen PY - 2002 DA - 2002// TI - HOL-OCL: Experiences, Consequences and Design Choices BT - UML 2002: Model Engineering, Concepts and Tools T3 - Lecture Notes in Computer Science SP - 196 EP - 211 IS - 2460 PB - Springer-Verlag CY - Heidelberg KW - OCL, Formal semantics, Constraint languages, Refinement, higher-order logic AB - Based on experiences gained from an embedding of the Object Constraint Language (OCL) in higher-order logic \citebrucker.ea:proposal:2002, we explore several key issues of the design of a formal semantics of the OCL. These issues comprise the question of the interpretation of invariants, pre- and postconditions, their transformation, an executable sub-language and the possibilities of refinement notions. A particular emphasize is put on the issue of mechanized deduction in UML/OCL specification. SN - 3-540-44254-5 L1 - https://www.brucker.ch/bibliography/download/2002/brucker.ea-hol-ocl-2002.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-hol-ocl-2002 UR - https://doi.org/10.1007/3-540-45800-X_17 DO - 10.1007/3-540-45800-X_17 LA - USenglish ID - brucker.ea:hol-ocl:2002 ER -