Implementing OSA model instances in Ada

ABSTRACT

Object-oriented Systems Analysis (OSA) [EKW92] is an analysis model whose purpose is to provide a way for analysts to capture and record real-world, system-application information. To produce software, OSA model instances must be mapped into code using some programming language. This paper shows how to map OSA model instances into production-quality Ada code. The technique uses templates that directly and efficiently support OSA concepts. We give basic templates, show how to map OSA concepts directly into the templates, and explain and discuss efficiency considerations. We illustrate our ideas with two sample applications.

REFERENCES

• Atk91: Colin Atkinson, Object-oriented reuse, concurrency and distribution: an ADA-based approach, ACM Press, New York, NY, 1991
• Bod93: Bodily, S., Ada Templates for OSA Implementation, Technical Report B YU-CS-93-7, Computer Science Department, Brigham Young University, 1993.
• Boo87: Grady Booch, Software Component with ADA, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1987
• Cly93: Stephen W. Clyde, An initial theoretical foundation for object-oriented systems analysis and design, Brigham Young University, Provo, UT, 1993
• Col89: P. Collard, Object-oriented programming techniques with Ada: an example, ACM SIGAda Ada Letters, v.IX n.6, p.119-126, Sep./Oct. 1989 [doi>10.1145/71327.71334]
• Dew90: A. K. Dewdney, The magic machine: a handbook of computer sorcery, W. H. Freeman & Co., New York, NY, 1990
• DoD83: United States Department of Defense, Reference Manual for the Ada Programming Language: AIV$I/MIL-3'TD-181JA-1983, Ada Joint Program Otliee, 1983.
• EKW92: David W. Embley , Barry D. Kurtz , Scott N. Woodfield, Object-oriented systems analysis: a model-driven approach, Yourdon Press, Upper Saddle River, NJ, 1991
• FFF89: Forestier, J.P., C. Fonarino, P. Franchi-Zannettacci, "ADA++: A Class and Inheritance Extension for Ada", Alvarez, A., ed., Ada: the design choice Proceedings Ada-Europe International Conference, Cambridge University Press, 1989.
• Ftp: Ada Templates for OSA Implementation, Anonymous FTP to osm7.cs.byu.edu in directory osaada.
• MeT93: Merritt, J.E., M. Troost, Task Rendezvous Timing on the CDC4301 Single Board Computer, Technical Report PX19377, Unisys Government Systems, Communication Systems, Salt Lake City, Utah, 1993.
• Mey88: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• SiC88: Richard Simonian , Michael Crone, InnovAda: true object-oriented programming in Ada, Journal of Object-Oriented Programming, v.1 n.4, p.14-21, Nov./Dec. 1988
• SPC89: CORPORATE The Software Productivity Consortium, Ada Quality and Style, Van Nostrand Reinhold Co., New York, NY, 1989
• SPS92: Software Productivity Solutions, Inc. (SPS), Classic- Ada User's Manual, 1989 1992.
• Tem93: J. Templ, A systematic approach to multiple inheritance implementation, ACM SIGPLAN Notices, v.28 n.4, p.61-66, April 1993 [doi>10.1145/152739.152749]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Ada

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Procedures, functions, and subroutines

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs
          Subjects: Type structure

General Terms:
Algorithms, Design, Languages