Skip to main content
SpringerLink
Log in

The Object Flow Model: A formal framework for describing the dynamic construction, destruction and interaction of complex objects

  • Conference paper
  • First Online:
Entity-Relationship Approach — ER '93 (ER 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 823))

Included in the following conference series:

  • 154 Accesses

Abstract

This research complements active object-oriented database management systems by providing a formal, yet conceptually-natural model for complex object construction and destruction. The Object Flow Model (OFM), introduced in this paper, assumes an object-oriented database for the rich structural description of objects and for the specification of methods to manipulate objects. The OFM contributes a third component, the Object Flow Diagram (OFD), which provides a visual formalism to describe how multiple objects and events can actively invoke processing steps, how objects can become part of progressively more complex objects, and how complex objects can be picked apart. The OFD thus provides an invocation mechanism that is more general than a single message and a processing mechanism that may invoke multiple methods (so long as they apply to either the input or output objects). The development of the OFD was influenced by conceptual modeling languages and discrete event simulation languages and the formal semantics of the OFD is based on work in deductive databases.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Simon, E. “Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog”, Journal of Theoretical Computer Science, 1990.

    Google Scholar 

  2. Bancilhon, F. et. al. “The Design and Implementation Of 02, an Object-Oriented Database System”, Advances in Object-oriented Database Systems, Lecture Notes in Computer Science, Vol. 334., Springer-Verlag, Berlin, 1988, 1–22.

    Google Scholar 

  3. Brodie, M. L., Mylopoulos, J., Schmidt, J. W. (eds.) On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, Springer-Verlag, N.Y., 1984.

    Google Scholar 

  4. Brodie, M. L., Ridjanovic, D. “On the Design and Specification of Database Transactions”, in [Bro84], 277–306.

    Google Scholar 

  5. Dayal, U., Hsu, M., Ladin, R. “Organizing Long-Running Activities with Triggers and Transactions”, Proc. of ACM SIGMOD Conf., 1990, 204–214.

    Google Scholar 

  6. Delcambre, L., Etheredge, J. “The Relational Production Language: A Production Language for Relational Databases”, Proc. 2nd Int'l Conf. on Expert Database Systems, Tysons Corner, VA., April 1988.

    Google Scholar 

  7. Gehani, N., Jagadish, H.V. “Ode as an Active Database: Constraints and Triggers”, Proc. 17th Int'l Conf. on VLDB, Sept. 1991.

    Google Scholar 

  8. Hall, G., Gupta, R. “Modeling Transition”, Proc. of 1991 Data Eng. Conf., 540–549.

    Google Scholar 

  9. Hanson, E.N., Widom, J. “An Overview of Production Rules in Database Systems”, Knowledge Engineering Review, June, 1993.

    Google Scholar 

  10. Hanson, E.N. “Rule Condition Testing and Action Execution in Arie 1”, Proc. ACM SIGMOD Conf., 1989.

    Google Scholar 

  11. Harel, D. “On Visual Formalisms”, CACM, 31:5, May 1988, 514–529.

    Google Scholar 

  12. Kappel, G., Schrefl, M. “Object/Behavior Diagrams”, Proc. of 1991 Data Eng. Conf., Kobe, Japan, 530–539.

    Google Scholar 

  13. King, R., McLeod, D. “A Unified Model and Methodology for Conceptual Database Design”, in [Bro84], 313–327.

    Google Scholar 

  14. Kotz, A.M., Dittrich, K.R., Mulle, J.A. “Supporting Semantic Rules by a Generalized Event/Trigger Mechanism”, Proc. Int. Conf. on Extending Database Tech. Mar. 1988.

    Google Scholar 

  15. Kung, D. C. “The Behavior Network Model for Conceptual Information Modeling”, Information Systems, Vol. 18, No. 1, 1993, 1–21.

    Article  Google Scholar 

  16. Lavery, R. G. “Artificial Intelligence and Simulation: An Introduction”, Proc. 1986 Winter Simulation Conf., 448–452.

    Google Scholar 

  17. Maier, D., Stein, J., Otis, A., Purdy, A. “Development of an Object-Oriented DBMS”, Proc. OOPSLA'86, Sept. 1986, 472–482.

    Google Scholar 

  18. McCarthy, D.R., Dayal, U. “The Architecture of an Active Database Management System”, Proc. of ACM SIGMOD Conf., 1989, 215–224.

    Google Scholar 

  19. Naranswamy, J., Delcambre, L.M.L., Pollacia, L.F. “Simulation of the Object Flow Model: A Conceptual Modeling Language for Object-Oriented Applications”, Proc. of 26th Simulation Symposium, Washington, D.C., Mar, 1993, 216–225.

    Google Scholar 

  20. Ngu, A. H. H. “Transaction Modeling”, Proc. 5th Int. Conf. Data Eng., 1989, 234–241.

    Google Scholar 

  21. Pegden, C. D. “Introduction to SIMAN”, Proc. 1986 Winter Simulation Conf., 95–103.

    Google Scholar 

  22. Pollacia, L.F., Delcambre, L.M.L. “The Object Flow Model for Discrete Event Simulation”, Int. Journal in Computer Simulation, Special Issue on Object-Oriented Simulation, Zobrist, G.W. (ed.), Ablex Pub. Norwood, NJ, to appear.

    Google Scholar 

  23. Pollacia, L.F. “The Object Flow Model: A Conceptual Modeling Language for Object-Driven Software”, Ph.D. Diss., Univ. of Southwestern LA, Lafayette, LA.

    Google Scholar 

  24. Pritsker, A.A.B. Introduction to Simulation and SLAM II, 2nd ed., John Wiley & Sons, New York, 1984.

    Google Scholar 

  25. Reddy, R. “Epistemology of Knowledge Based Simulation”, Simulation, 48:4, Apr. 1987, 162–166.

    Google Scholar 

  26. Rosenthal, A., et al. “Situation Monitoring for Active Databases”, Proc. of 15th VLDB Conf., Amsterdam, The Netherlands, 1989, 455–464.

    Google Scholar 

  27. Rumbaugh, J., Blaha, M. Premerplani, W., Eddy, F., Lorensen, W. Object-Oriented Modeling and Design, Prentice-Hall, 1991.

    Google Scholar 

  28. Shannon, R. E. “Intelligent Simulation Environments”, Proc. Conf. on Intelligent Simulation Environments, San Diego, Jan. 1986, 150–156.

    Google Scholar 

  29. Stemple, D., Sheard, T. “Specification and Verification of Abstract Database Types”, Proc. of the 3rd ACM Symp. on Principles of Database Systems, 1984, 248–257.

    Google Scholar 

  30. Stonebraker, M., Kemnitz, G. “The POSTGRES Next Generation Database Management System”, CACM, 34:10, 78–92, Oct. 1991.

    Google Scholar 

  31. Stonebraker, M. “Triggers and Inference in Database Systems”, in On Knowledge Base Management Systems, Brodie, Mylopoulos (eds.), Springer Verlag, 1986, 297–314.

    Google Scholar 

  32. Sybase, Inc. Transact-SQL User's Guide.

    Google Scholar 

  33. Widom, J., Cochrane, R.J., Lindsay, B.G. “Implementing Set-oriented Production Rules as an Extension to Starburst”, Proc. 17th Int'l Conf. on VLDB, Sept. 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematical & Physical Sciences, Northwestern St. Univ., 71457, Natchitoches, LA

    Lissa F. Pollacia

  2. Computer Science and Engineering Dept., Oregon Graduate Institute, P.O. Box 91000, 97291-1000, Portland, OR

    Lois M. L. Delcambre

Authors
  1. Lissa F. Pollacia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lois M. L. Delcambre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ramez A. Elmasri Vram Kouramajian Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pollacia, L.F., Delcambre, L.M.L. (1994). The Object Flow Model: A formal framework for describing the dynamic construction, destruction and interaction of complex objects. In: Elmasri, R.A., Kouramajian, V., Thalheim, B. (eds) Entity-Relationship Approach — ER '93. ER 1993. Lecture Notes in Computer Science, vol 823. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024352

Download citation

  • DOI: https://doi.org/10.1007/BFb0024352

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58217-5

  • Online ISBN: 978-3-540-48575-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation