Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
An initial theoretical foundation for object-oriented systems analysis and design
An initial theoretical foundation for object-oriented systems analysis and design
Description logics for conceptual data modeling
Logics for databases and information systems
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Object-Process Methodology: A Holistic Systems Paradigm
Object-Process Methodology: A Holistic Systems Paradigm
IEEE Transactions on Knowledge and Data Engineering
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling
Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
Information Modeling and Relational Databases
Information Modeling and Relational Databases
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges
Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges
| Hi-index | 0.00 |
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.