article

Free access

A comparison of techniques for the specification of external system behavior

Author:

Alan M. DavisAuthors Info & Claims

Communications of the ACM, Volume 31, Issue 9

Pages 1098 - 1115

https://doi.org/10.1145/48529.48534

Published: 01 September 1988 Publication History

Abstract

The elimination of ambiguity, inconsistency, and incompleteness in a Software Requirements Specification (SRS) document is inherently difficult, due to the use of natural language. The focus here is a survey of available techniques designed to reduce these negatives in the documentation of a software product's external behavior.

References

[1]

Agerwala, T. Putting Petri-nets to work. IEEE Comput. 12. 12 (Dec. 1979), 85-94.

Digital Library

[2]

Alford, M. A requirements engineering methodology br real-time processing requirements. IEEE Trans. Soflw. EnR. 3. 1 (Jan. 1977). 60-69.

Digital Library

[3]

Alford. M. SREM at the age of eight; The distributed design system. IEEE Comput, 18. 4 (Apr. 1985), 36-46.

Digital Library

[4]

Alford. M., and Burns. t. R-nets: A graph model for real-time software requirements. In Proceedings of the Symposium on Computer Software Engineering. Polytechnic Press. New Ynrk. 1976, pp. 97-108,

[5]

Basili. V., and Weiss, D. Evaluation of a software requirements document by analysis of change data. In Proceedings of the 5th International Conyerence on Software Engineering (San Diego. CA. March 9-12). pp. 314-323. IEEE Press. Wash. D.C., 1981,

[6]

Bell, T. and Bixler. D. A flow oriented requirements statement language. In Proceedings of the Symposium on Computer Software Engineering. Polytechnic Press, New York. 1976, pp. 109-122.

[7]

Beriiner, E., and Zave, P. An experiment in technology transfer: PAISLey specification of requirements for an undersea lighlwave cable system. In Pnceedings of the 9th IEEE International Canlerence on Software Engineering (Monterey. CA. March 30-April 2), pp. 42-50. IEEE Press, Wash,. D.C. 1987.

[8]

Berzins. V, and Gray, M. Analysis and design in MSG 84: Formalizing functional specifications. IEEE Trans. Softw. Eng. 11, a (Aug. 1985), 657-670.

Digital Library

[9]

Boehm. B. Software engineering. IEEE Trans. Comput. 25. 12 (Dec. 1976). 1226-1241.

Digital Library

[10]

Boehm, B,. et al. Some experience with automated aids to the design of large-scale reliable sotfware. ACM SIGPLAN Not. 10, 6 (June 1975). 105-113.

Digital Library

[11]

Buhrke. R. at al, Design choices for a large PCM switch with multiprocessor control. In Proceedings uf the International Switching Symposium (May 1979).

[12]

Caine. S. and Gordon. E. PDL--A tool for software design. In Proceedings of the AFIPS National Computer Conference, Vol. 44 (Anaheim, CA. 1975). AFIPS Press, Montvale. New Jersey. pp. 271-276.

[13]

Casey, B. and Taylor, B. Writing requirements in English: A natural alternative. In Proceedings of the IEEE Software Engineering Standards Workshop (San Francisco, California, August), IEEE Press, Wash., D.C., 1981. pp. 95-101.

[14]

Celko. J., et el. A demonstration of three requirements language systems. SIGPLAN Not. 18, 1 (Jan. 1983), 9-14.

Digital Library

[15]

Chandrasekharan. M., et al. Requirements-based testing of real-time systems: Modeling for testability. IEEE Comput. 18. 4 (Apr. 1985). 71-80.

Digital Library

[16]

Charette, R. Software Engineering Environments. McGraw Hill. New York. 1986.

Digital Library

[17]

Chvalovsky, V. Decision tables. Soflw, Pract. Exper. 13 (1983), 423-429.

[18]

Daly. E. Management of software development. IEEE Trans. Softw. Eng. 3, 3 (May 1977), 230-242.

[19]

Dasarathy, B. Test plan generation for the requirements validation of real-time systems, In Proceedings of the IEEE Workshop on Automatic Test Program Generation (Philadelphia, PA. April). IEEE Press. Wash., D.C., 1986.

[20]

Davis. A. Requirements language processing for the effective testing of real-time software. ACM Softw. Eng. Notes 3, 5 (Nov. 1978), 61-66.

Digital Library

[21]

Davis, A. Automating the requirements phase: Benefits to later phases of the software life-cycle. In Proceedings of IEEE COMPSAC "80 (Chicago. Ill. October 27-31), pp. 42-48, IEEE Press. Wash. D.C., 1980.

[22]

Davis. A. Rapid prototyping using executable requirements specifications. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 39-44.

Digital Library

[23]

Davis, A. The design of a family of applications-oriented requirements languages. IEEE Comput. 15. 5 (May 1982), 21-28.

Digital Library

[24]

Davis, A. The role of requirements in the software synthesis of realtime systems. In Proceedings of the International Symposium on Current Issues in Requirements Engineering Environments (Kyoto, Japan, Sept. 20-21) North-Holland. Amsterdam, The Netherlands. 1982. pp. 151-158.

[25]

Davis, A. A taxonomy for the early stages of the software developmant life cycle. J. Syst. Soflw. 8. 4 (Sept. 1988).

Digital Library

[26]

Davis. A. el al. RLP: An automated tool for the processing of requirements. In Proceedings of IEEE COMPSAC '79 (Chicago, Ill., November fi-8)), pp. 289-299, IEEE Press, Wash., D,C, 1979,

[27]

Davis, A,. and Rauscher, T. Formal techniques and automatic processing to ensure correctness in requirements specifications. In Proceedings of the IEEE Specifications of Reliable Software Conference (Cambridge. Mass. April). pp. 15-35, IEEE Press, Wash., D,C. 1979.

[28]

Davis. C., and Vick. C. The software developmenl system. IEEE Trans. Softw. Eng. 3. I (Jan. 1977), 89-84.

[29]

DeMarco, T. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, New Jersey. 1979,

Digital Library

[30]

Fagan. M. Design and code inspections and process control in the development of programs. IBM Report IBM-SDD-TR-21.572, Dec, 1974, lBM. Bethesda, Maryland.

[31]

Furia. N. A comparative evaluation of RSL/REVS and PSL/PSA applied to a digital flight control system. In Proceedings of the AIAA 2nd Computers in Aerospace Conference, pp. 330-337. American Institute of Aeronautics and Astronautics, New York, NY, 1979.

[32]

Glaseman. S., and Davis. M. Software requirements for embedded computers: A preliminary report. U,S. Air Force Document R-2567- AF. Mar. 1980.

[33]

Harel. D, Statecharts: A visual formalism for complex systems, Sci. Comput. Prog. 8 (1987).

Digital Library

[34]

Harel, D., et al. STATEMATE1: a working environment for the development of complex reactive systems. In Proceedings of the Tenth International Conference on Software Engineering (Singapore, April). IEEE Press, Wash. D.C. 1988.

Digital Library

[35]

Harley, D. The use of structured methods in the development of large software-based avionics systems. In Proceedings of the AIAA/ IEEE 6th Digital Avionics Systems Conference (Baltimore. MD). pp, 6-15, IEEE Press, Wash., D.C., 1984.

[36]

Heninger, K. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. Softw. Eng. 6. 1 (Jan. 1980), 2-13.

Digital Library

[37]

tEEE A guide for software requirements specifications. IEEE/ANSI Standard 839-1984. Institute of Electrical and Electronics Engineers. New York, 1984.

[38]

Kawashima, H. et al. Functional specification of call processing by slate transition diagram. IEEE Trans. Commun. 19. 5 (Oct. 1971), 581-587.

[39]

Kerola. P., and Freeman, P, A comparison of life cycle models. In Proceedings of the 5th International Conference on Software Engineering (San Diego, CA, March 9-12), pp. 90-99, IEEE Press. Wash. D.C. 1981.)

Digital Library

[40]

Miller, T. and Taylor, B. A system requirements methodology. In Proceedings of the IEEE Electro '81 Conference (New York, Apr.), pp. 18.5.1-18.5.5, IEEE Press, Wash., D.C. 1981.

[41]

Motet. B. Decision trees and diagrams. ACM Comput. Surv. I4, 4 (Dec. 1982), 593-623.

Digital Library

[42]

Patil, S. Coordination of asynchronous events. Ph.D. dissertation. MIT, Cambridge, Massachusetts, 1970.

[43]

Peterson, J. Petri-nets. ACM Comput. Surv. 9, 3 (Sept. 1977), 223-252.

Digital Library

[44]

Petri, C. Kommunikation mit automation. Schriflen des Reinsch- Westfalischen Inst. fur Instrumentelle Mathematik an der Universitat Bonn. Boon. West Germany. 1962.

[45]

Pressman. R., Software Engineering: A Practitioner's Guide. McGraw Hill. New York, 1982.

Digital Library

[46]

Rockstrom, A. and Saracco, R. SDL--CCITT specification and description language. IEEE Trans. Commun. 30, 6 (June 1982), 1310-1318.

[47]

Roman, G.-C. et al. A total system design framework. IEEE Comput. 17, 5 (May 1984), 15-26,

Digital Library

[48]

Royce, W. Managing the development of large software systems: Concepts and techniques. Reprinted in Proceedings of the Ninth International Conference on Software Engineering (Monterey, CaliL. March 30-April 2}, pp. 328-338, IEEE Press, Wash., D.C., 1987.

Digital Library

[49]

Searle, L. An air force guide to the system specification. U.S. Air Force Document TM-5772/010/00. Jan. 1981.

[50]

STATEMATEI: The STATEMATEI Working Environment for System Development. AD CAD. Inc. Cambridge, Massachusetts. 1985.

[51]

Sunshine. C, f:ormal methods for communication protocol specificalion and verification. ARPA Order 346(')/3681. Nov, 1979.

[52]

Tavh)r, B. A method for expressing functional requirements of reallime syslems, In Proceedings of the IFAC/IFIP Workshop on Real-Time Programming (I.eibnitz, Austria, April), Pergamon Press. New York. 1,980.

[53]

Wang, Y. A distributed specification model amt its prototyping, In Proceedings of IEEE COMPSAC '86 (Chicago. Ill. October 8-t0). pp. 130-137, IEEE Press, Wash,. D.C., 1986

[54]

Ward, P. The transtormation schema: An extension of the data flow diagram to represent control and timing. IEEE Trans. Seftw. Eng. 12, 2 (Feb. 1986), 198-210.

Digital Library

[55]

Wasserman, A. User software engineering aml the design of interac. live systems. {n Proceedings of the Fifth IEEE International Cmfference on Software Engineeriny (San Diego. March 9-12). pp. 387-393, IEEE Press, Wash. D.C., 1981,

Digital Library

[56]

Wasserman. A. Extending state transition diagrams for the specification of human-computer interaction. IEEE Trans. Softw. Eng. 1t. 8 (Aug. 1985), 699-713.

Digital Library

[57]

Wasserman. A., et al. Developing interactive information systems with the user software engineering methodology. IEEE Trans. Softw. Eng. 12, 2 (Feb. 19861, 326-345.

Digital Library

[58]

Whirls, V. and Chiang. W. A state machine development method for call processing software. In Proceedings of the IEEE Electro 81 (Apr,) IEEE Press, Wash, D.C., 1981.

[59]

Yoeli, M., and Barzilai. Z. Behavioural descriptions of communication switching systems using extended Petri-nets. Digital Processes 3, 4 (1977), 307-320.

[60]

Zave, P. An operational approach to requirements specification for embedded systems. IEEE Trans. Softw. Eng. 8, 3 (May 1982), 250-269.

[61]

Zave. P., and Shell. W. Salient features of an executable specification language and its environment, IEEE Trans. Softw. Eng. 12. 2 (Feb. 1986), 312-325.

Digital Library

[62]

Zave, P., and Yeh, R. Executable requirements for embedded systems. In Proceedings of the 5th IEEE International Conference on Software Engineering (San Diego. CA. March 9-12L pp. 285-304. IEEE Press. Wash. D.C., 1981.

Digital Library

Cited By

Nain PTowsley D(2016)File Dissemination in Dynamic GraphsACM Transactions on Modeling and Performance Evaluation of Computing Systems10.1145/29813442:1(1-23)Online publication date: 18-Nov-2016
https://dl.acm.org/doi/10.1145/2981344
Molka KCasale G(2016)Contention-Aware Workload Placement for In-Memory Databases in Cloud EnvironmentsACM Transactions on Modeling and Performance Evaluation of Computing Systems10.1145/29618882:1(1-29)Online publication date: 14-Sep-2016
https://dl.acm.org/doi/10.1145/2961888
Yan LHašan MMarschner SRamamoorthi R(2016)Position-normal distributions for efficient rendering of specular microstructureACM Transactions on Graphics10.1145/2897824.292591535:4(1-9)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2897824.2925915
Show More Cited By

Index Terms

A comparison of techniques for the specification of external system behavior
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

OSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
Specification techniques for data abstractions
International Conference on Reliable Software

The main purposes in writing this paper are to discuss the importance of formal specifications and to survey a number of promising specification techniques. The role of formal specifications both in proofs of program correctness, and in programming ...
Specification techniques for data abstractions

The main purposes in writing this paper are to discuss the importance of formal specifications and to survey a number of promising specification techniques. The role of formal specifications both in proofs of program correctness, and in programming ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Communications of the ACM

Communications of the ACM Volume 31, Issue 9

Sept. 1988

109 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/48529

Editor:
Peter,J. Denning
NASA Ames Research Center, Moffett Field, CA

Issue’s Table of Contents

Copyright © 1988 ACM.

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1988

Published in CACM Volume 31, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

133
Total Citations
View Citations
1,503
Total Downloads

Downloads (Last 12 months)104
Downloads (Last 6 weeks)7

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Nain PTowsley D(2016)File Dissemination in Dynamic GraphsACM Transactions on Modeling and Performance Evaluation of Computing Systems10.1145/29813442:1(1-23)Online publication date: 18-Nov-2016
https://dl.acm.org/doi/10.1145/2981344
Molka KCasale G(2016)Contention-Aware Workload Placement for In-Memory Databases in Cloud EnvironmentsACM Transactions on Modeling and Performance Evaluation of Computing Systems10.1145/29618882:1(1-29)Online publication date: 14-Sep-2016
https://dl.acm.org/doi/10.1145/2961888
Yan LHašan MMarschner SRamamoorthi R(2016)Position-normal distributions for efficient rendering of specular microstructureACM Transactions on Graphics10.1145/2897824.292591535:4(1-9)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2897824.2925915
Schüller CPanozzo DGrundhöfer AZimmer HSorkine ESorkine-Hornung O(2016)Computational thermoformingACM Transactions on Graphics10.1145/2897824.292591435:4(1-9)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2897824.2925914
Maron HDym NKezurer IKovalsky SLipman Y(2016)Point registration via efficient convex relaxationACM Transactions on Graphics10.1145/2897824.292591335:4(1-12)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2897824.2925913
Krogstie JKrogstie J(2016)Introduction to Business Processes and Business Process ModelingQuality in Business Process Modeling10.1007/978-3-319-42512-2_1(1-51)Online publication date: 28-Oct-2016
https://doi.org/10.1007/978-3-319-42512-2_1
Koutsoumpas V(2015)A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive SystemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.178.6178(62-76)Online publication date: 17-Mar-2015
https://doi.org/10.4204/EPTCS.178.6
Davis ADavis A(2015)Object‐Oriented Analysis to Object‐Oriented Design: An Easy TransitionGreat Software Debates10.1002/9781119134657.ch23(129-142)Online publication date: 9-Oct-2015
https://doi.org/10.1002/9781119134657.ch23
Awedikian RYannou B(2014)A practical model-based statistical approach for generating functional test casesSoftware Testing, Verification & Reliability10.1002/stvr.147924:2(85-123)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1002/stvr.1479
Krogstie J(2013)Perspectives to Process ModelingBusiness Process Management10.1007/978-3-642-28409-0_1(1-39)Online publication date: 2013
https://doi.org/10.1007/978-3-642-28409-0_1
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents