Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Multidisciplinary concurrent engineering needs to model and manage different views of complex designs. Previous attempts to address the problem of creating views of complex objects in object oriented database systems focus on the structure of complex objects; little attention is paid to how complex object behavior is effected when creating views. We believe that designing functionally correct behavior for a complex object should be a major consideration when defining a view to guarantee correctness of the derived classes.In this paper, we study the problem for designing functionally correct views of complex objects in concurrent engineering. View behavioral modeling requirements are presented. A behavior model that satisfies these requirements is presented. This model is demonstrated on an example complex object that represents process management.

REFERENCES

• 1: Serge Abiteboul , Anthony Bonner, Objects and views, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.238-247, May 29-31, 1991, Denver, Colorado, United States
• 2: A. Amir , N. Roussopoulos, Optimal view caching, Information Systems, v.15 n.2, p.169-171, 1990 [doi>10.1016/0306-4379(90)90032-K]
• 3: Jose A. Blakeley , Per-Ake Larson , Frank Wm Tompa, Efficiently updating materialized views, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.61-71, May 28-30, 1986, Washington, D.C., United States
• 4: Derek Coleman , Fiona Hayes , Stephen Bear, Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design, IEEE Transactions on Software Engineering, v.18 n.1, p.9-18, January 1992 [doi>10.1109/32.163607]
• 5: Bogdan Czejdo and David W. Embely, "View Specification and Manipulation for A Semantic Data Model", Information Systems, Vol. 16, No. 6, pp. 585-612, 1991.
• 6: Ronald Fagin , Jeffrey D. Ullman , Moshe Y. Vardi, On the semantics of updates in databases, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia [doi>10.1145/588058.588100]
• 7: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 8: Sandra Heiler , Stanley B. Zdonik, Object Views: Extending the Vision, Proceedings of the Sixth International Conference on Data Engineering, p.86-93, February 05-09, 1990
• 9: Deepak Kapur and David Musser, "Tecton: A Framework for Specifying and Verifying Genetic System Components", Technical Report 92-20, Computer Science Department, Rensselaer Polytechnic Institute, 1992.
• 10: Deepak Kaput, "Automated Reasoning in Software Design", Technical Report, Institute for Programming and Logics, The University at Albany, New York, 1993.
• 11: Kelvin W. Liu and David L. Spooner, "Object-Oriented Database Views for Supporting Multidisciplinary Concurrent Engineering , Proc. IEEE Computer Software and Applications ConL, IEEE Computer Society Press, 1993.
• 12: James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 13: Elke A. Rundensteiner, Multiview: A Methodology for Supporting Multiple Views in Object-Oriented Databases, Proceedings of the 18th International Conference on Very Large Data Bases, p.187-198, August 23-27, 1992
• 14: Elke A Rundensteiner, "A Class Integration Algorithm and Its Application for Supporting Consistent Object Views", Technical Report 92-50, Department of Information and Computer Science, University of California, Irvine, May 1992.
• 15: Hirotaka Sakai, "A Method for Contact and Delegation in Object Behavior Modeling", IEICE Tans. Inf. and Sys. Vol. E76-D, No. 6, June 1993.
• 16: Bernhard Schiefer, "Supporting Integration and Evolution with Object-Oriented Views", FZI-Report 15/93, Forschungszentrum Informatik (FZI), Germany, July 1993.
• 17: Michael Schrefl, "Behavior Modeling by Stepwise Refining Behavior Diagrams", Entity-Relationship Approach: The Core of Conceptual Modeling, Proc. of the 9th Int. Conf. on the Entity-Relationship Approach, Lausanne, Switzerland, 8-10 Oct., 1990.
• 18: J. J. Shiling , P. F. Sweeney, Three steps to views: extending the object-oriented paradigm, Conference proceedings on Object-oriented programming systems, languages and applications, p.353-361, October 02-06, 1989, New Orleans, Louisiana, United States
• 19: J. M. Spivey, Understanding Z: a specification language and its formal semantics, Cambridge University Press, New York, NY, 1988
• 20: D. Spooner and M. Hardwick, "Using Persistent Object Technology to Support Concurrent Engineering", Concurrent Engineering, editors P. Gu and A. Kusiak, Elsevier Publishing Company, 1993.
• 21: The STEP Programmer's Tool Kit, Reference Manual Version 1.1, STEP Tools, Inc, Rensselaer Technology Park, Troy, NY, 1992.
• 22: K. Tsuda , K. Yamamoto , M. Hirakawa , M. Tanaka , T. Ichikawa, MORE: An Object-Oriented Data Model with a Facility for Changing Object Structures, IEEE Transactions on Knowledge and Data Engineering, v.3 n.4, p.444-460, December 1991 [doi>10.1109/69.109106]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

  H. Information Systems
  H.2 DATABASE MANAGEMENT

General Terms:
Theory