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

Cited in

(19)

• Transformation techniques for OCL constraints
• scientific article; zbMATH DE number 1615251 (Why is no real title available?)
• From Core OCL invariants to nested graph constraints
• scientific article; zbMATH DE number 1946736 (Why is no real title available?)
• scientific article; zbMATH DE number 1953181 (Why is no real title available?)
• scientific article; zbMATH DE number 2006482 (Why is no real title available?)
• scientific article; zbMATH DE number 2006483 (Why is no real title available?)
• scientific article; zbMATH DE number 1927417 (Why is no real title available?)
• 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)