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

DOI10.1007/978-3-642-28279-9_12zbMATH Open1312.68228OpenAlexW1618795344MaRDI QIDQ3224006FDOQ3224006

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of conceptual modeling. Theory, practice, and research challenges.
• Foundations of Temporal Conceptual Data Models
• Conceptual Modeling of Information Systems
• Title not available (Why is that?)

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)