Logic Foundations of the OCL Modelling Language

DOI10.1007/978-3-319-11558-0_49MaRDI QIDQ2938536zbMATH OpenOpenAlexFDO

Authors Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente

Publication date 14 January 2015

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11558-0_49

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Logical foundations of object-oriented and frame-based languages
• Declarative modeling of the operational behavior of logic languages
• scientific article; zbMATH DE number 841929
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640
• Logic Based Program Synthesis and Transformation
• Theoretical Foundations and Semantics of Logic Programming
• scientific article; zbMATH DE number 2090122
• Layer Supported Models of Logic Programs

Cites work

• On querying UML data models with OCL

Cited in

(19)

• Transformation techniques for OCL constraints
• On dynamic aspects of OOD frameworks in component-based software development in computational logic
• From Core OCL invariants to nested graph constraints
• HOL-OCL : Experiences, consequences and design choices
• Expressing constraint models in object oriented data using UML and ODL
• OCL as a specification language for business rules in database applications
• A formal semantics for OCL 1. 4
• A proposal for a formal OCL semantics in Isabelle/HOL
• scientific article; zbMATH DE number 2085179 (Why is no real title available?)
• scientific article; zbMATH DE number 2085180 (Why is no real title available?)
• scientific article; zbMATH DE number 2085181 (Why is no real title available?)
• scientific article; zbMATH DE number 2085182 (Why is no real title available?)
• scientific article; zbMATH DE number 2085183 (Why is no real title available?)
• scientific article; zbMATH DE number 2085184 (Why is no real title available?)
• scientific article; zbMATH DE number 2085187 (Why is no real title available?)
• scientific article; zbMATH DE number 2085189 (Why is no real title available?)
• scientific article; zbMATH DE number 2087521 (Why is no real title available?)
• Institutions for OCL-like expression languages
• The definition of transitive closure with OCL -- limitations and applications

This page was built for publication: Logic Foundations of the OCL Modelling Language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938536)