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

DOI10.1007/978-3-642-28279-9_12MaRDI QIDQ3224006zbMATH OpenOpenAlexFDO

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

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

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

• Conceptual Modeling of Information Systems
• Entity-relationship modeling. Foundations of database technology
• Foundations of Temporal Conceptual Data Models
• Handbook of conceptual modeling. Theory, practice, and research challenges.
• 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 1182733 (Why is no real title available?)
• Object-process methodology. A holistic systems paradigm. Incl. 1 CD-ROM

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)