Software design for reliability and reuse: a proof-of-concept demonstration

ABSTRACT

The Pacific Software Research Center is developing a new method to support reuse and introduce reliability into software. The method is based on design capture in domain specific design languages and automatic program generation using a reusable suite of program transformation tools. The transformation tools, and a domain specific component generator incorporating them, are being implemented as part of a major project underway at the Oregon Graduate Institute of Science and Technology. The processes used in tool development and application of the method are being captured. Once completed, an experiment will be performed on the generator to assess its usability and flexibility.This paper describes the Software Design for Reliability and Reuse method and illustrates its application to the Message Translation and Validation domain, a problem identified by our sponsors so that our method can be compared directly to a previously existing state-of-the-art solution based on code templates produced by the Software Engineering Institute (SEI) [14].

REFERENCES

• 1: jeffrey M. Bell. An implementation of Reynold's defunctionalization method for a modern func~ tional language. Master's thesis, Oregon Graduate institute, January 1994.
• 2: Jef Bell , Jim Hook, Defunctionalization of Typed Programs, Oregon Graduate Institute School of Science & Engineering, 1994
• 3: Françoise Bellegarde, Program transformation and rewriting, Proceedings of the 4th international conference on Rewriting techniques and applications, p.226-239, March 1991, Como, Italy
• 4: Françoise Bellegarde , James Hook, Monads, Indexes and Transformations, Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development, p.314-327, April 13-17, 1993
• 5: Wei-Ngan Chin and John Daxlington. Higherorder removal: A modular approach. Unpublished work, 1993.
• 6: J. R. B. Cockett and D. Spencer. Strong categorical datatypes. In R. A. G. Seely, editor, International Meeting on Category Theory, 1991. AMS, 1992.
• 7: Stephen J. Goldsack, ADA for Specification: Possibilities and Limitations, Cambridge University Press, New York, NY, 1985
• 8: Tatsuya Hagino, A categorical programming language, 1987
• 9: Richard B. Kieburtz. Software design for reliability and reuse (preliminary method definition). Technical report, Department of Computer Science and Engineering, Oregon Graduate Institute, October 1993.
• 10: Richard B. Kieburtz and Jeffrey Lewis. Programming with algebras. Technical Report (submitted for publication), Oregon Graduate Institute, October 1993.
• 11: Richard B. Kieburtz , Lewis Jeffrey, Algebraic Design Language, Oregon Graduate Institute School of Science & Engineering, 1994
• 12: Jeffrey Lewis, A Specification for an MTV Generator, Oregon Graduate Institute School of Science & Engineering, 1993
• 13: S. D. Litvintchouk , A. S. Matsumoto, An algebraic approach to reusable Ada components, ACM SIGAda Ada Letters, v.III n.2, p.89-92, September/October 1983 [doi>10.1145/989971.989978]
• 14: Charles Plinta, Kenneth Lee, and Michael Rissman. A model solution for CSI message translation and validation. Technical Report CMU/SEi-89-TR-12 ESD-89-TR-20, Software Engineering Institute, Carnegie Mellon University, December 1989.
• 15: John C. Reynolds, Definitional interpreters for higher-order programming languages, Proceedings of the ACM annual conference, p.717-740, August 01-01, 1972, Boston, Massachusetts, United States [doi>10.1145/800194.805852]
• 16: Tim Sheard. Type parametric programming. Technical Report 93-018, Department of Computer Science and Engineering, Oregon Graduate Institute, November 1993.
• 17: Tim Sheard , Leonidas Fegaras, A fold for all seasons, Proceedings of the conference on Functional programming languages and computer architecture, p.233-242, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165216]
• 18: Dennis M. Volpano , Richard B. Kieburtz, Software templates, Proceedings of the 8th international conference on Software engineering, p.55-60, August 28-30, 1985, London, England
• 19: D. M. Volpano , R. B. Kieburtz, The templates approach to software reuse, Software reusability: vol. 1, concepts and models, ACM Press, New York, NY, 1989 [doi>10.1145/73103.73112]
• 20: Lisa Walton, A Preliminary Definition of a Domain Specific Design Language for Message Validation and Traslation, Oregon Graduate Institute School of Science & Engineering, 1994

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.m Miscellaneous
          Subjects: Reusable software**

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: User interfaces

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.2 Automatic Programming
          Subjects: Program transformation

General Terms:
Algorithms, Design, Languages, Reliability