Based on experiences gained from an embedding of the Object Constraint Language (OCL) in higher-order logic [3], 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, 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. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Brucker, A. D., & Wolff, B. (2002). HOL-OCL: Experiences, consequences and design choices. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2460, 196–211. https://doi.org/10.1007/3-540-45800-x_17
Mendeley helps you to discover research relevant for your work.