Skip to main content

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

  • Chapter

Part of the Lecture Notes in Computer Science book series (LNISA,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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ACM-L-2010 workshop (2010), http://www.cs.uta.fi/conferences/acm-l-2010/

  2. 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)

    CrossRef  Google Scholar 

  3. 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. 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. Clyde, S.W.: An Initial Theoretical Foundation for Object-Oriented Systems Analysis and Design. PhD thesis, Brigham Young University (1993)

    Google Scholar 

  6. Dori, D.: Object-Process Methodology: A Holistic Systems Paradigm. Springer, Berlin (2009)

    MATH  Google Scholar 

  7. 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. Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, Inc., Boston (1972)

    MATH  Google Scholar 

  9. Embley, D.W., Thalheim, B. (eds.): Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges. Springer, Heidelberg (2011)

    MATH  Google Scholar 

  10. Halpin, T.A., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, Burlington (2008)

    Google Scholar 

  11. Knowledge discovery and dissemination program., http://www.iarpa.gov/-solicitations_kdd.html/

  12. Jensen, C.S., Snodgrass, R.T.: Temporal data management. IEEE Transactions on Knowledge and Data Engineering 11(1), 36–44 (1999)

    CrossRef  Google Scholar 

  13. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1991)

    MATH  Google Scholar 

  14. Olivè, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)

    MATH  Google Scholar 

  15. The ORM Foundation, http://www.ormfoundation.org

  16. 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. Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Berlin (2000)

    CrossRef  MATH  Google Scholar 

  18. OMG: Documents associated with UML version 2.3, http://www.omg.org/-spec/UML/2.3/

  19. Young, J.W., Kent, H.K.: Abstract formulation of data processing problems. The Journal of Industrial Engineering 9(6), 471–479 (1958)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)