Advertisement

OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling

  • Stephen W. Clyde
  • David W. Embley
  • Stephen W. Liddle
  • Scott N. Woodfield
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7260)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ACM]
  2. [AF09]
    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)CrossRefGoogle Scholar
  3. [CEW92]
    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)Google Scholar
  4. [CLN98]
    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)Google Scholar
  5. [Cly93]
    Clyde, S.W.: An Initial Theoretical Foundation for Object-Oriented Systems Analysis and Design. PhD thesis, Brigham Young University (1993)Google Scholar
  6. [Dor09]
    Dori, D.: Object-Process Methodology: A Holistic Systems Paradigm. Springer, Berlin (2009)zbMATHGoogle Scholar
  7. [EKW92]
    Embley, D.W., Kurtz, B.D., Woodfield, S.N.: Object-oriented Systems Analysis: A Model-Driven Approach. Prentice-Hall, Englewood Cliffs (1992)Google Scholar
  8. [End72]
    Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, Inc., Boston (1972)zbMATHGoogle Scholar
  9. [ET11]
    Embley, D.W., Thalheim, B. (eds.): Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges. Springer, Heidelberg (2011)zbMATHGoogle Scholar
  10. [HM08]
    Halpin, T.A., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, Burlington (2008)Google Scholar
  11. [IAR]
    Knowledge discovery and dissemination program., http://www.iarpa.gov/-solicitations_kdd.html/
  12. [JS99]
    Jensen, C.S., Snodgrass, R.T.: Temporal data management. IEEE Transactions on Knowledge and Data Engineering 11(1), 36–44 (1999)CrossRefGoogle Scholar
  13. [MP91]
    Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1991)zbMATHGoogle Scholar
  14. [Oli07]
    Olivè, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)zbMATHGoogle Scholar
  15. [ORM]
    The ORM Foundation, http://www.ormfoundation.org
  16. [PM07]
    Pastor, O., Molina, J.C.: Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling. Springer, New York (2007)Google Scholar
  17. [Tha00]
    Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Berlin (2000)CrossRefzbMATHGoogle Scholar
  18. [UML]
    OMG: Documents associated with UML version 2.3, http://www.omg.org/-spec/UML/2.3/
  19. [YK58]
    Young, J.W., Kent, H.K.: Abstract formulation of data processing problems. The Journal of Industrial Engineering 9(6), 471–479 (1958)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Stephen W. Clyde
    • 1
  • David W. Embley
    • 2
  • Stephen W. Liddle
    • 3
  • Scott N. Woodfield
    • 2
  1. 1.Computer Science DepartmentUtah State UniversityLoganUSA
  2. 2.Department of Computer ScienceBrigham Young UniversityProvoUSA
  3. 3.Information Systems DepartmentBrigham Young UniversityProvoUSA

Personalised recommendations