PLEIADES: an object management system for software engineering environments

ABSTRACT

Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been limited in both the kinds of functionality they have provided and in the models of support they define. This paper describes a system, called PLEIADES, which provides many of the object management capabilities required to support software engineering environments.

REFERENCES

• 1: S. Alagic. Persistent Metaobjects. In Proceedings of the FouTth International Wodtshop on Persistent Object Systems, pages 31-42, Sept 1990.
• 2: Antonio Albano , Luca Cardelli , Renzo Orsini, GALILEO: a strongly-typed, interactive conceptual language, ACM Transactions on Database Systems (TODS), v.10 n.2, p.230-260, June 1985 [doi>10.1145/3857.3859]
• 3: Timothy Andrews , Craig Harris, Combining language and database advances in an object-oriented development environment, Conference proceedings on Object-oriented programming systems, languages and applications, p.430-440, October 04-08, 1987, Orlando, Florida, United States
• 4: T. Andrews, C. Harris, and J. Duhl. The ONTOS Object Database. Product Description, 1990.
• 5: Malcolm P. Atkinson , O. Peter Buneman, Types and persistence in database programming languages, ACM Computing Surveys (CSUR), v.19 n.2, p.105-170, June 1987 [doi>10.1145/62070.45066]
• 6: M.P. Atkinson, P.J. Bailey, K.J. Chisholm, P.W. Cockshott, and R. Morrison. An Approach to persistent programming. computer Jou?mal, 26(4):360-365, NOV 1983.
• 7: F. Bancilhon , G. Barbedette , V. Benzaken , C. Delobel , S. Gamerman , C. Lecluse , P. Pfeffer , P. Richard , F. Velez, The design and implementation of O2, Lecture notes in computer science on Advances in object-oriented database systems, p.1-22, September 1988, Bad Mu:9Ainster am Stein-Edernburg, Germany
• 8: Naser S. Barghouti , Gail E. Kaiser, Modeling Concurrency in Rule-Based Development Environments, IEEE Expert: Intelligent Systems and Their Applications, v.5 n.6, p.15-27, December 1990 [doi>10.1109/64.63185]
• 9: Naser S. Barghouti , Gail E. Kaiser, Concurrency control in advanced database applications, ACM Computing Surveys (CSUR), v.23 n.3, p.269-317, Sept. 1991 [doi>10.1145/116873.116875]
• 10: P. A. Berstein, Database system support for software engineering, Proceedings of the 9th international conference on Software Engineering, p.166-178, March 1987, Monterey, California, United States
• 11: N. Bhachech. IRIS.TO-CFG User Manual. Arcadia Document UM-9 1-06, University of Massachusetts, 1991.
• 12: Alan Borning, The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.353-387, Oct. 1981 [doi>10.1145/357146.357147]
• 13: Robert Bretl , David Maier , Allen Otis , Jason Penney , Bruce Schuchardt , Jacob Stein , E. Harold Williams , Monty Williams, The Gem–Stone data management system, Object-oriented concepts, databases, and applications, ACM Press, New York, NY, 1989 [doi>10.1145/63320.66507]
• 14: A. P. Buchmann , R. S. Carrera , M. A. Vazquez-Galindo, A generalized constraint and exception handler for an object-oriented CAD-DBMS, Proceedings on the 1986 international workshop on Object-oriented database systems, p.38-49, September 23-26, 1986, Pacific Grove, California, United States
• 15: L. Cardelli. Ambey, pages 2 1-47. Springer- Verlag, 1986.
• 16: Michael J. Carey , David J. DeWitt , Joel F. Richardson , Eugene J. Shekita, Storage management for objects in EXODUS, Object-oriented concepts, databases, and applications, ACM Press, New York, NY, 1989 [doi>10.1145/63320.66509]
• 17: Lori A. Clarke , Debra J. Richardson , Steven J. Zeil, TEAM: a support environment for testing, evaluation, and analysis, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.153-162, November 28-30, 1988, Boston, Massachusetts, United States
• 18: D. Cohen. AP5 Manual. Univ. of Southern California, Information Sciences Institute, March 1988.
• 19: C. J. Date, An introduction to database systems: vol. 1 (5th ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 20: U. Dayal , A. P. Buchmann , D. R. McCarthy, Rules are objects too: A knowledge model for an active, object-oriented databasesystem, Lecture notes in computer science on Advances in object-oriented database systems, p.129-143, September 1988, Bad Mu:9Ainster am Stein-Edernburg, Germany
• 21: Alan Dearle , Richard Connor , Fred Brown , Ron Morrison, Napier88—a database programming language?, Proceedings of the second international workshop on Database programming languages, p.179-195, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
• 22: S. Ford , J. Joseph , D. E. Langworthy , D. F. Lively , G. Pathak, ZEITGEIST: Database support for object-oriented programming, Lecture notes in computer science on Advances in object-oriented database systems, p.23-42, September 1988, Bad Mu:9Ainster am Stein-Edernburg, Germany
• 23: Scott E. Hudson , Roger King, CACTIS: a database system for specifying functionally-defined data, Proceedings on the 1986 international workshop on Object-oriented database systems, p.26-37, September 23-26, 1986, Pacific Grove, California, United States
• 24: R. Kadia, Issues encountered in building a flexible software development environment: lessons from the Arcadia project, Proceedings of the fifth ACM SIGSOFT symposium on Software development environments, p.169-180, December 09-11, 1992, Tyson's Corner, Virginia, United States
• 25: Brian W. Kernighan , Dennis M. Ritchie, The C programming language, Prentice Hall Press, Upper Saddle River, NJ, 1989
• 26: Won Kim , Nat Ballou , Jay Banerjee , Hong-Tai Chou , Jorge G. Garza , Darrell Woelk, Integrating an object-oriented programming system with a database system, Conference proceedings on Object-oriented programming systems, languages and applications, p.142-152, September 25-30, 1988, San Diego, California, United States
• 27: A. Koren. Identifying Type Changes in a Collection of Evolving Types. Masters project report, Computer Science Department, University of Massachusetts, Amherst, May 1992.
• 28: Peter Lee , Frank Pfenning , Gene Rollins , William Scherlis, The ergo support system: an integrated set of tools for prototyping integrated environments, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.25-34, November 28-30, 1988, Boston, Massachusetts, United States
• 29: B. Liskov, R. Atkinson, T. Bloom, E. Moss, C. Schaffert, B. Schiefler, and A. Snyder. Lecture Notes in Computer Science, Vol. llJ, chapter CLU Reference Manual. Springer-Verlag, 1981.
• 30: Guy M. Lohman , Bruce Lindsay , Hamid Pirahesh , K. Bernhard Schiefer, Extensions to Starburst: objects, types, functions, and rules, Communications of the ACM, v.34 n.10, p.94-109, Oct. 1991 [doi>10.1145/125223.125266]
• 31: J.P. Loyall, S.A. Mathisen, P.J. Hurley, J.S. Williamson, and L.A. Clarke. An Advanced System for the Verification and Validation of Real- Time Avionics Software. In Proceedings of the Eleventh Digital Avionics Systems Conference, Ott 1992.
• 32: D.C. Luckham and F. W. vonHenke. An Overview of AIWA, a Specification Language for Ada. IEEE Soflare, 2(2):9-24, March 1985.
• 33: David Maier , Jacob Stein , Allen Otis , Alan Purdy, Development of an object-oriented DBMS, Conference proceedings on Object-oriented programming systems, languages and applications, p.472-482, September 29-October 02, 1986, Portland, Oregon, United States
• 34: J. Mylopoulos, P.A. Bernstein, and H.K.T. Wong. Some Features of the Taxis Data Model. In Proceedings of the Sixth International Conference on Very Large Databases, 1980.
• 35: M. Nagl. A Software Development Environment Based on Graph Technology. Technical Report 87- 3, Aachen University of Technology, 1987.
• 36: Object Design, Inc., Burlington, MA. An Introduction to ObjectStore, 1990.
• 37: Objectivity y, Inc., Menlo Park, CA. Objectivity Database System Overview, 1990.
• 38: Kurt M. Olender , Leon J. Osterweil, Interprocedural static analysis of sequencing constraints, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.1, p.21-52, Jan. 1992 [doi>10.1145/125489.122822]
• 39: A. Podgurski , L. A. Clarke, A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance, IEEE Transactions on Software Engineering, v.16 n.9, p.965-979, September 1990 [doi>10.1109/32.58784]
• 40: Debra J. Richardson , T. Owen O'Malley , Cynthia Tittle Moore , Stephanie Leif Aha, Developing and integrating ProDAG in the Arcadia environment, Proceedings of the fifth ACM SIGSOFT symposium on Software development environments, p.109-119, December 09-11, 1992, Tyson's Corner, Virginia, United States
• 41: Joel E. Richardson , Michael J. Carey, Programming constructs for database system implementation in EXODUS, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.208-219, May 27-29, 1987, San Francisco, California, United States
• 42: David S. Rosenblum, Towards a method of programming with assertions, Proceedings of the 14th international conference on Software engineering, p.92-104, May 11-15, 1992, Melbourne, Australia [doi>10.1145/143062.143098]
• 43: Joachim W. Schmidt, Some high level language constructs for data of type relation, ACM Transactions on Database Systems (TODS), v.2 n.3, p.247-261, Sept. 1977 [doi>10.1145/320557.320568]
• 44: Marty Sirkin , Don Batory , Vivek Singhal, Software components in a data structure precompiler, Proceedings of the 15th international conference on Software Engineering, p.437-446, May 17-21, 1993, Baltimore, Maryland, United States
• 45: J.M. Smith, S. Fox, and T. Landers. ADAPLEX: Rationale and Reference Manual. Technical Report CCA-83-8, Computer Corporation of America, Cambridge, MA, May 1983.
• 46: Special Issue on the Interface Description Language IDL, NOV 1987.
• 47: G.L. Steele. The Definition and Implementation of a Computer Programming Language Based on Constraints. PhD thesis, Department of Electrical Engineering and Computer Science, M. I. T., Aug 1980.
• 48: D. Stemple , A. Socorro , T. Sheard, Formalizing objects for databases using ADABTPL, Lecture notes in computer science on Advances in object-oriented database systems, p.110-128, September 1988, Bad Mu:9Ainster am Stein-Edernburg, Germany
• 49: Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 50: Stanley M. Sutton, Jr., APPL/A: a prototype language for software-process programming, University of Colorado at Boulder, Boulder, CO, 1991
• 51: S.M. Sutton, Jr. A Flexible Consistency Model for Persistent Data in Software-Process Programming Languages. In Implementing Pemistent Object Bases - principles and Practice A. Deade, G.M. Shaw and S.B. Zdonik, editors, pages 305- 318. Morgan Kaufman, 1991.
• 52: Stanley M. Sutton, Jr. , Dennis Heimbigner , Leon J. Osterweil, Language constructs for managing change in process-centered environments, Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, p.206-217, December 03-05, 1990, Irvine, California, United States
• 53: P. Tarr. Language Processing Toolset Prerelease Notes. Arcadia Document UM-91-01, University of Massachusettss, 1991.
• 54: Peri Tarr , Stanley M. Sutton, Jr., Programming heterogeneous transactions for software development environments, Proceedings of the 15th international conference on Software Engineering, p.358-369, May 17-21, 1993, Baltimore, Maryland, United States
• 55: P.L. Tarr, J.C. Wileden, and L.A. Clarke. Extending and Limit ing P Graphit e-st yle Persistence. In Proceedings of the Fotwth International Workshop on Pemistent Object Systems, pages 74-86, Aug 1990.
• 56: Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.1-13, November 28-30, 1988, Boston, Massachusetts, United States
• 57: United States Department of Defense, Washington DC. RefeTence Manual for the Ada Programming Language, Jan 1983. Military Standard Ada Programming Language.
• 58: Scott L. Vandenberg , David J. DeWitt, Algebraic support for complex objects with arrays, identity, and inheritance, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.158-167, May 29-31, 1991, Denver, Colorado, United States
• 59: David H D Warren , Luis M. Pereira , Fernando Pereira, Prolog - the language and its implementation compared with Lisp, Proceedings of the 1977 symposium on Artificial intelligence and programming languages, p.109-115, August 15-17, 1977
• 60: David L. Wells , José A. Blakeley , Craig W. Thompson, Architecture of an Open Object-Oriented Database Management System, Computer, v.25 n.10, p.74-82, October 1992 [doi>10.1109/2.161282]
• 61: Jack C. Wileden , Alexander L. Wolf , Charles D. Fisher , Peri L. Tarr, Pgraphite: an experiment in persistent typed object management, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.130-142, November 28-30, 1988, Boston, Massachusetts, United States
• 62: Alexander L. Wolf , Lori A. Clarke , Jack C. Wileden, A Model of Visibility Control, IEEE Transactions on Software Engineering, v.14 n.4, p.512-520, April 1988 [doi>10.1109/32.4673]
• 63: M. Young , R. Taylor , K. Forester , D. Brodbeck, Integrated concurrency analysis in a software development enviornment, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.200-209, December 13-15, 1989, Key West, Florida, United States

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.2 SOFTWARE ENGINEERING

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Management, Performance, Theory