OSM-logic: a fact-oriented, time-dependent formalization of object-oriented systems modeling

DOI10.1007/978-3-642-28279-9_12MaRDI QIDQ3224006zbMATHOpenAlexFDO

Authors Stephen W. Clyde, David W. Embley, Stephen W. Liddle, Scott N. Woodfield

Publication date 9 March 2012

Published in Conceptual Modelling and Its Theoretical Foundations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28279-9_12

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Logic in computer science (03B70) General topics in the theory of data (68P01)

Recommendations

• scientific article; zbMATH DE number 1569132
• A temporal logic approach to object certification
• Object oriented description logic
• Foundations of Information and Knowledge Systems
• Integrating object-oriented model with object-oriented metamodel into a single formalism

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1324838 (Why is no real title available?)
• scientific article; zbMATH DE number 1182733 (Why is no real title available?)
• scientific article; zbMATH DE number 1466150 (Why is no real title available?)
• Conceptual Modeling of Information Systems
• Foundations of Temporal Conceptual Data Models
• Handbook of conceptual modeling. Theory, practice, and research challenges.

This page was built for publication: OSM-logic: a fact-oriented, time-dependent formalization of object-oriented systems modeling

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