Abstract
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.
Keywords
- Temporal Relation
- Predicate Symbol
- Ready Phase
- Inactive Phase
- Object Behavior
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ACM-L-2010 workshop (2010), http://www.cs.uta.fi/conferences/acm-l-2010/
Artale, A., Franconi, E.: Foundations of Temporal Conceptual Data Models. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol. 5600, pp. 10–35. Springer, Heidelberg (2009)
Clyde, S.W., Embley, D.W., Woodfield, S.N.: The complete formal definition for the syntax and semantics of OSA. Technical Report BYU-CS-92-2, Department of Computer Science, Brigham Young University (February 1992)
Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 229–263. Kluwer (1998)
Clyde, S.W.: An Initial Theoretical Foundation for Object-Oriented Systems Analysis and Design. PhD thesis, Brigham Young University (1993)
Dori, D.: Object-Process Methodology: A Holistic Systems Paradigm. Springer, Berlin (2009)
Embley, D.W., Kurtz, B.D., Woodfield, S.N.: Object-oriented Systems Analysis: A Model-Driven Approach. Prentice-Hall, Englewood Cliffs (1992)
Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, Inc., Boston (1972)
Embley, D.W., Thalheim, B. (eds.): Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges. Springer, Heidelberg (2011)
Halpin, T.A., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, Burlington (2008)
Knowledge discovery and dissemination program., http://www.iarpa.gov/-solicitations_kdd.html/
Jensen, C.S., Snodgrass, R.T.: Temporal data management. IEEE Transactions on Knowledge and Data Engineering 11(1), 36–44 (1999)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1991)
Olivè, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)
The ORM Foundation, http://www.ormfoundation.org
Pastor, O., Molina, J.C.: Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling. Springer, New York (2007)
Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Berlin (2000)
OMG: Documents associated with UML version 2.3, http://www.omg.org/-spec/UML/2.3/
Young, J.W., Kent, H.K.: Abstract formulation of data processing problems. The Journal of Industrial Engineering 9(6), 471–479 (1958)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Clyde, S.W., Embley, D.W., Liddle, S.W., Woodfield, S.N. (2012). OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling. In: Düsterhöft, A., Klettke, M., Schewe, KD. (eds) Conceptual Modelling and Its Theoretical Foundations. Lecture Notes in Computer Science, vol 7260. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28279-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-28279-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28278-2
Online ISBN: 978-3-642-28279-9
eBook Packages: Computer ScienceComputer Science (R0)
