Towards a distributed object-oriented propagation model using Ada95

ABSTRACT

Representing interdependencies between the objects of an object-oriented software application requires design-time mechanisms for specifying object interrelationships, as well as software constructs for the runtime maintenance of these relationships. We present a portion of our software engineering research environment ADAM, (short for Active Design and Analyses Modeling), which incorporates a technique for design-time modeling of propagations (our term for the relationships between interdependent objects). We examine the ADAM environment's support for the automated generation of Ada95 software constructs that maintain object interdependency at runtime. We focus on our propagation model's use of Ada95 tasking constructs and protected objects, with an emphasis on the source level mechanisms through which our model utilizes concurrency.

REFERENCES

• 1: Department of Defense, Ads 95 Reference Manual, international Standard, ANSI/ISO/IEC-8652:1995, Jan. 1995.
• 2: K. El Guemhioui , Steven A. Demurjian , T. J. Peters , H. J. C. Ellis, Profiling in an object-oriented design environment that supports Ada 9X and Ada 83 code generation, Proceedings of the conference on TRI-Ada '94, p.180-190, November 06-11, 1994, Baltimore, Maryland, United States [doi>10.1145/197694.197719]
• 3: H. J. C. Ellis , Steven A. Demurjian, Object-oriented design and analyses for advanced application development: progress towards a new frontier, Proceedings of the 1993 ACM conference on Computer science, p.332-337, February 16-18, 1993, Indianapolis, Indiana, United States [doi>10.1145/170791.170856]
• 4: M. Fowler, and K. Scott, UML Distilled, Addison- Wesley, 1997.
• 5: M.-Y. Hu , Steven A. Demurjian , T. C. Ting, Unifying Structural and Security Modeling and Analyses in the ADAM Object-Oriented Design Environment, Proceedings of the IFIP WG11.3 Working Conference on Database Security VII, p.77-94, August 23-26, 1994
• 6: Diane Litman , Peter F. Patel-Schneider , Anil Mishra, Modeling dynamic collections of interdependent objects using path-based rules, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.77-92, October 05-09, 1997, Atlanta, Georgia, United States
• 7: Object Management Group, The Common Object Request Broker: Architecture and Specification, John Wiley and Sons, 1995.
• 8: Patrick O'Neil , Elizabeth O'Neil, Database--Principles, Programming and Performance, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2000
• 9: T. Peters, S. Demurjian, D. Needham, R. Peters, S. Dorney, "Propagating Topological Tolerances for Rapid Prototyping", Proceedings of the International Mechanical Engineering Conference and Exposition (IMECE), MED-Vol 4, Atlanta, Georgia, Nov. 17-22, 1996, pp. 487- 498.
• 10: Kevin J. Sullivan , Ira J. Kalet , David Notkin, Evaluating The Mediator Method: Prism as a Case Study, IEEE Transactions on Software Engineering, v.22 n.8, p.563-579, August 1996 [doi>10.1109/32.536957]
• 11: 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

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

General Terms:
Design, Languages

Keywords:
Ada languages, distributed systems, methods and techniques, object-oriented technology