2012 | OriginalPaper | Chapter
OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling
Authors : Stephen W. Clyde, David W. Embley, Stephen W. Liddle, Scott N. Woodfield
Published in: Conceptual Modelling and Its Theoretical Foundations
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
The lack of fact-oriented, time-dependent formalizations of conceptual models leads to difficulties in inspecting and reasoning about system properties and predicting future behavior from past behavior. We can better serve these needs by formalized conceptualizations that more closely match the demands of such applications. We therefore set forth in this chapter a fact-oriented, time-dependent formalism, called
OSM-Logic
, for object existence, object interrelationships, object behavior, and object interaction. OSM-Logic is formally grounded in predicate calculus, and is thus mathematically sound and well defined.