This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Automatic Synthesis of SARA Design Models from System Requirements
December 1991 (vol. 17 no. 12)
pp. 1229-1240

In this research in design automation, two views are employed as the requirements of a system-namely, the functional requirements and the operations concept. A requirement analyst uses data flow diagrams and system verification diagrams (SVDs) to represent the functional requirements and the operations concept, respectively. System Architect's Apprentice (SARA) is an environment-supported method for designing hardware and software systems. A knowledge-based system, called the design assistant, was built to help the system designer to transform requirements stated in one particular collection of design languages. The SVD requirement specification features and the SARA design models are reviewed. The knowledge-based tool for synthesizing a particular domain of SARA design from the requirements is described, and an example is given to illustrate this synthesis process. This example shows the rules used and how they are applied. An evaluation of the approach is given.

[1] R. J. Abbott, "Program description by informal English description,"Commun. ACM, Nov. 1983.
[2] M. Alford, "A requirement engineering methodology for real time processing requirements,"IEEE Trans. Software Eng. vol. SE-3, pp. 60-69, Jan. 1977.
[3] M. Alford, "SREM at the age of eight: the distributed computing design system,"IEEE Computer, pp. 36-46, Apr. 1985.
[4] P. C. Belford and D. S. Taylor, "Specification verification--a key to improving software reliability," inProc. Symp. Computer Software Eng., Apr. 1976, pp. 83-96.
[5] D. M. Berry, N. Yavne, and M. Yavne, "Application of program design language tools to Abbott's method of program design by informal natural language descriptions,"J. Syst. Software, pp. 221-247, Sept. 1987.
[6] S. H. Caine and E. K. Gordon, "PDL--a tool for software design," inProc. Nat. Computer Conf., 1975, pp. 271-276.
[7] T. de Marco,Structured Analysis and System Specification. New York: Yourdon, 1979.
[8] M. S. Deutsch, "A multiple view paradigm for modeling and validation of real-time software systems," inProc. Int. Conf. on Reliability and Robustness of Eng. Software, Sept. 1987.
[9] S. W. Director, A. C. Parker, D. P. Siewiorek, and D. E. Thomas, "A design methodology and computer aids for digital VLSI systems,"IEEE Trans. Circuits Syst., vol. CAS-28, July 1981.
[10] G. Estrin, R. S. Fenchel, R. R. Razouk, and M. K. Vernon, "SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 293-311, Feb. 1986.
[11] F. S. Etessami and G. S. Hura, "Rule-based design methodology for solving control problems,"IEEE Trans. Software Eng., vol. 17, pp. Mar. 1991.
[12] K. F. Fischer and M. G. Walker, "Improved software reliability through requirements verification,"IEEE Trans. Rel., vol. R-28, pp. 233-240, Aug. 1979.
[13] R. Jain, K. Kucukcakar, M. J. Mlinar, and A. C. Parker, "Experiences with the ADAM synthesis system," inProc. 26th ACM/IEEE Design Auto. Conf.(Las Vegas, NV), 1989.
[14] D. W. Knapp and A. C. Parker, "A design utility manager: the ADAM planning engine," inProc. 23nd ACM/IEEE Design Auto. Conf., June 1986, pp. 48-54.
[15] T. J. Kowalski,An AI Approach to VLSI Design. Boston: Kluwer, 1986.
[16] E. Krell and E. Lor, "Current state of the SARA/IDEAS design environment," inProc. Softfair II. New York: IEEE, Dec. 1985, pp. 218-230.
[17] K. E. Lor, "An assistant for requirement-driven system design," Ph.D. diss., Computer Sci. Dept., Univ. California, Los Angeles, 1988.
[18] M. Lubars and M. Harandi, "Knowledge-based software design using design schemas," inProc. Ninth Int. Conf. Software Engineering, Monterey, CA, 1987, pp. 253-262.
[19] D. Partridge,Artificial Intelligence Applications in the Future of Software Engineering. Chichester, UK: Ellis Horwood, 1986.
[20] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[21] R. Razouk, M. Vernon, and G. Estrin, "Evaluation methods in SARA--the graph model simulator," inProc. Conf. on Simulation, Measures and Modeling of Computer Syst., 1979, pp. 189-206.
[22] R. Razouk and G. Estrin, "The graph model of behavior," inProc. Symp. on Design Automation and Microprocessors. New York: IEEE, Dec. 1980, pp. 67-76.
[23] S. Slade,The T Programming Language: A Dialect of lisp. Englewood Cliffs, NJ: Prentice-Hall, 1987.
[24] G. M. Swinkels and L. Hafer, "Schematic generation with an expert system,"IEEE Trans. Computer-Aided Des., vol. 9, Dec. 1990.
[25] D. Teichroew and E. A. Hershey III, "PSL/PSA: a computer-aided technique for structure documentation and analysis of information processing system,"IEEE Trans. Software Eng., vol. SE-3, pp. 41-48, Jan. 1977.

Index Terms:
computer aided software engineering; software design automation; SARA design models; functional requirements; requirement analyst; data flow diagrams; system verification diagrams; System Architect's Apprentice; hardware; software; knowledge-based system; design assistant; design languages; SVD requirement specification; knowledge-based tool; diagrams; knowledge based systems; software tools; systems analysis
Citation:
K.-W.E. Lor, D.M. Berry, "Automatic Synthesis of SARA Design Models from System Requirements," IEEE Transactions on Software Engineering, vol. 17, no. 12, pp. 1229-1240, Dec. 1991, doi:10.1109/32.106984
Usage of this product signifies your acceptance of the Terms of Use.