A comparison of techniques for the specification of external system behavior

Communications of the ACM

Volumn 31, Issue 9, 1988, Pages 1098-1115

  Davis, Alan M ^a  

^a BTG Inc ^*  (Austria)

Author keywords

Decision tables; decision trees; finite state machines; PAISLey; PDL; Petri nets; REVS; RPL; SDL; statecharts; structured analysis

Indexed keywords

AUTOMATA THEORY - FINITE AUTOMATA;

SOFTWARE EXTERNAL BEHAVIOR; SOFTWARE REQUIREMENTS SPECIFICATION;

COMPUTER SOFTWARE;

EID: 0024082545     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/48529.48534     Document Type: Article

References (62)

1. Agerwala, T. Putting Petri-nets to work. IEEE Comput 12, 12 (Dec. 1979), 85–94.
2. Alford, M. A requirements engineering methodology for real-time processing requirements. IEEE Trans. Softw. Eng. 3, 1 (Jan. 1977), 60–69.
3. Alford, M. SREM at the age of eight; The distributed design system. IEEE Comput. 18, 4 (Apr. 1985), 36–46.
4. Alford, M., and Burns, I. R-nets: A graph model for real-time software requirements. In Proceedings of the Symposium on Computer Software Engineering. Polytechnic Press, New York, 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 Conference 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. Berliner, E., and Zave, P. An experiment in technology transfer: PAISLey specification of requirements for an undersea lightwave cable system. In Proceedings of the 9th IEEE International Conference 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,8 (Aug. 1985), 657–670.
9. Boehm, B. Software engineering. IEEE Trans. Comput. 25,12 (Dec. 1976), 1226–1241.
10. Boehm, B., et al. Some experience with automated aids to the design of large-scale reliable software. ACM SIGPLAN Not. 10, 6 (June 1975), 105–113.
11. Buhrke, R., et al. Design choices for a large PCM switch with multiprocessor control. In Proceedings of 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 al. A demonstration of three requirements language systems. SIGPLAN Not. 18,1 (Jan. 1983), 9–14.
15. Chandrasekharan, M., et al. Requirements-based testing of real-time systems: Modeling for testability. IEEE Comput. 18, 4 (Apr. 1985), 71–80.
16. Charette, R. Software Engineering Environments. McGraw Hill, New York, 1986.
17. Chvalovsky, V. Decision tables. Softw. 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.
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.
23. Davis, A. The design of a family of applications-oriented requirements languages. IEEE Comput. 15, 5 (May 1982), 21–28.
24. Davis, A. The role of requirements in the software synthesis of real-time 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 development life cycle. J. Syst. Softw. 8, 4 (Sept. 1988).
26. Davis, A., et al. RLP: An automated tool for the processing of requirements. In Proceedings of IEEE COMPSAC '79 (Chicago, Ill., November 5-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 development system. IEEE Trans. Softw. Eng. 3, 1 (Jan. 1977), 69–84.
29. DeMarco, T. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, New Jersey, 1979.
30. Fagan, M. Design and code inspections and process control in the development of programs. IBM Report IBM-SDD-TR-21.572. Dec. 1974, IBM, 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).
34. Harel, D., et al. STATEMATEl: 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.
35. Hatley, 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.
37. IEEE A guide for software requirements specifications. IEEE/ANSI Standard 830-1984. Institute of Electrical and Electronics Engineers, New York, 1984.
38. Kawashima, H., et al. Functional specification of call processing by state 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.
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. Moret, B. Decision trees and diagrams. ACM Comput. Surv. 14, 4 (Dec. 1982), 593–623.
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.
44. Petri, C. Kommunikation mit automation. Schriften des Reinsch-Westfalischen Inst, fur Instrumentelle Mathematik an der Universitat Bonn, Bonn, West Germany, 1962.
45. Pressman, R. Software Engineering: A Practitioner's Guide. McGraw Hill, New York, 1982.
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.
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, Calif., March 30-April 2), pp. 328–338, IEEE Press, Wash., D.C, 1987.
49. Searle, L. An air force guide to the system specification. U.S. Air Force Document TM-5772/010/00. Jan. 1981.
50. STATEMATE1: The STATEMATE1 Working Environment for System Development. AD CAD, Inc., Cambridge, Massachusetts, 1985.
51. Sunshine, C. Formal methods for communication protocol specification and verification. ARPA Order 3460/3681. Nov. 1979.
52. Taylor, B. A method for expressing functional requirements of real-time systems. In Proceedings of the IFAC/IFIP Workshop on Real-Time Programming (Leibnitz, Austria, April), Pergamon Press, New York, 1980.
53. Wang, Y. A distributed specification model and its prototyping. In Proceedings of IEEE COMPSAC '86 (Chicago, Ill., October 8-10), pp. 130–137, IEEE Press, Wash., D.C, 1986.
54. Ward, P. The transformation schema: An extension of the data flow diagram to represent control and timing. IEEE Trans. Softw. Eng. 12,2 (Feb. 1986), 198–210.
55. Wasserman, A. User software engineering and the design of interactive systems. In Proceedings of the Fifth IEEE International Conference on Software Engineering (San Diego, March 9-12). pp. 387–393, IEEE Press, Wash., D.C, 1981.
56. Wasserman, A. Extending state transition diagrams for the specification of human-computer interaction. IEEE Trans. Softw. Eng. 11, 8 (Aug. 1985), 699–713.
57. Wasserman, A., et al. Developing interactive information systems with the user software engineering methodology. IEEE Trans. Softw. Eng. 12, 2 (Feb. 1986), 326–345.
58. Whitis, 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.
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-12), pp. 285–304, IEEE Press, Wash., D.C, 1981.