skip to main content
10.1145/1500774.1500820acmotherconferencesArticle/Chapter ViewAbstractPublication PagesafipsConference Proceedingsconference-collections
research-article
Free access

Requirements definition and its interface to the SARA design methodology for computer-based systems

Published: 07 June 1982 Publication History

Abstract

This paper presents results of efforts during 1979--1981 to integrate and enhance the work of the System ARchitects Apprentice (SARA) Project at UCLA and the Information System Design Optimization System (ISDOS) Project at the University of Michigan. While expressing a need for a requirements definition subsystem, SARA had no appropriate requirements definition language, no defined set of requirements analysis techniques or tools, and no procedures to form a more cohesive methodology for linking computer system requirements to the ensuing design. Research has been performed to fill this requirements subsystem gap, using concepts derived from the ISDOS project as a basis for departure.

References

[1]
Ross, D. T., and K. E. Schoman, Jr. "Structured Analysis for Requirements Definition." IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, January 1977.
[2]
Alford, M. W. "Requirements for Distributed Data Processing." Proceedings of First International Conference on Distributed Data Processing, IEEE, 1979.
[3]
Alford, M. W. "Software Requirements Engineering Methodology (SREM) at the Age of Two." COMPSAC 78 Proceedings, November, 1978.
[4]
Willis, R. R. "DAS: An Automated System to Support Design Analysis." Proceedings of the Third International Conference on Software Engineering, Atlanta, Georgia, May 1978.
[5]
Alford, M. W., and I. F. Burns. "R-nets: A Graph Model for Real-time Software Requirements." In Proc. Symp. On Comput. Software Eng., MRI Symp. Ser., Vol. XXIV, Polytechnic Press, Brooklyn, NY.
[6]
Riddle, W. E., J. C. Wileden, J. H. Sayler, A. R. Segal, and A. M. Stavely. "Behavior Modeling During Software Design" IEEE Transactions on Software Engineering, Vol. SE-4, No. 4, July 1978, pp. 283--292.
[7]
Zave, P., and R. T. Yeh. "Executable Requirements For Embedded Systems." Proceedings of the Fifth International Conference on Software Engineering, San Diego, California, 1981.
[8]
Heninger, K. "Specifying Software Requirements For Complex Systems: New Techniques and Their Application." IEEE Transactions on Software Engineering, Vol SE-6, No. 1, January 1980.
[9]
Teichroew, D., and E. A. Hershy III. "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems." IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, January 1977, pp. 41--48.
[10]
Gardner, R. I. "A Methodology for Digital System Design Based on Structural and Functional Modeling." Ph.D. dissertation in Computer Science, University of California, Los Angeles, January 1975.
[11]
Estrin, G. "Modeling for Synthesis---The Gap Between Intent and Behavior." Proceedings of the Symposium on Design Automation and Micro-processors, Palo Alto, California, February 24--25, 1977, IEEE, Piscataway, New Jersey, 1977, pp. 54--59.
[12]
Estrin, G. "A Methodology for Design of Digital Systems---Supported by SARA at the Age of One." Proceedings of the National Computer Conference, Anaheim, California, June 1978.
[13]
Winchester, J. W. "Requirements Definition and Its Interface to the SARA Design Methodology for Computer-Based Systems." UCLA Technical Report, UCLA-ENG-8092, January, 1981.
[14]
Razouk, R., M. Vernon and G. Estrin. "Evaluation Methods in SARA---The Graph Model Simulator." 1979 Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, Colorado, August 1979.
[15]
Razouk, R. R. "Computer-Aided Design and Evaluation of Digital Computer Systems." UCLA Technical Report, UCLA-ENG-8055, February 1981.
[16]
Penedo, M. H. "The Use of a Module Interface Description in the Synthesis of Reliable Software Systems." UCLA Technical Report, UCLA-ENG-8091, January 1981.
[17]
Vernon, M., D. Patel, and G. Estrin. "A SARA Building Block Model: Am2909 Microprogram Sequencer." UCLA Internal Memorandum #210, October 1981.
[18]
Campos, I. M., and G. Estrin. "SARA Aided Design of Software for Concurrent Systems." Proceedings of the National Computer Conference, Anaheim, California, June 1978.
[19]
Razouk, R., and G. Estrin. "Modeling and Verification of Communication Protocols in SARA: The X.21 Interface." IEEE Transactions on Computers, Vol. C-29, No. 12, December 1980, pp. 1038--1052.
[20]
Teichroew, D. "Overview of the META System." ISDOS Research Project, Department of Industrial and Operations Engineering, University of Michigan, Ann Arbor, Michigan, ISDOS Project META-1 Memorandum, May 1977.

Cited By

View all
  • (1989)The use of lexical affinities in requirements extractionACM SIGSOFT Software Engineering Notes10.1145/75200.7522914:3(196-202)Online publication date: 1-Apr-1989
  • (1988)Applying Synthesis Principles to Create Responsive Software SystemsIEEE Transactions on Software Engineering10.1109/32.618514:10(1394-1408)Online publication date: 1-Oct-1988

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AFIPS '82: Proceedings of the June 7-10, 1982, national computer conference
June 1982
857 pages
ISBN:088283035X
DOI:10.1145/1500774
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • AFIPS: American Federation of Information Processing Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 June 1982

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)28
  • Downloads (Last 6 weeks)9
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (1989)The use of lexical affinities in requirements extractionACM SIGSOFT Software Engineering Notes10.1145/75200.7522914:3(196-202)Online publication date: 1-Apr-1989
  • (1988)Applying Synthesis Principles to Create Responsive Software SystemsIEEE Transactions on Software Engineering10.1109/32.618514:10(1394-1408)Online publication date: 1-Oct-1988

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media