Robert M. Balzer
Abstract
This paper describes a set of freedoms which both simplify the task of specifing systems and make the resulting specification more comprehensible. These freedoms eliminate the need, in specific areas, to consider: the mechanisims for accomplishing certain capabilities, the careful coordination and integration of separate operations, the costs of those operations, and other detailed concerns which characterize implementation.These freedoms are partitioned into the areas of efficiency, method, and data, and providing them has resulted in a novel formal specification language, Gist. The main features of this language are described in terms of the freedoms it affords. An overview of the language is then presented together with an example of its use to specify the behavior of a real system.
- {Bauer 81} Bauer, F. L., Broy, M., Dosch, W., Gnatz, R., Krieg-Brueckner, Laut, A., Matzner, T., Moeller, B., Partsch, H, Pepper, P., Samelson, K., Wirsing, M., and Woessner, H., Report on a Wide Spectrum Language for Program Specification and Development, Institute fuer Informatik, Technische Universitaet, Muenchen, Technical Report, May 1981.Google Scholar
- {Birtwistle 73} Birtwistle, G. M., Dahl, O., Myhrhaug, B. and Nygaard, K., SIMULA Begin, Auerbach, 1973. Google ScholarDigital Library
- {Bobrow 74} Bobrow, D., and B. Raphael, "New programming languages for artificial intelligence research," ACM Computing Surveys 6, (3), September 1974, 153--174. Google ScholarDigital Library
- {Cohen et al 82} Cohen, D., Swartout, W. & Balzer, R., "Using symbolic execution to characterize behavior," in Pre-Proceedings, ACM SIGSOFT Software Engineering Symposium on Rapid Prototyping, pp. Paper-49, 1982. Google ScholarDigital Library
- {Dijkstra 75} Dijkstra, E. W., "Guarded commands, nondeterminancy, and formal derivation of programs," Communications of the ACM, (8), August 1975, 453--457. Google ScholarDigital Library
- {Feather 82} Feather, M., "Mappings for rapid prototyping," in Pre-Proceedings, ACM SIGSOFT Software Engineering Symposium on Rapid Prototyping, pp. Paper-47, 1982. Google ScholarDigital Library
- {Gerhart 80} Gerhart, S. L., et al., "An overview of Affirm: a specification and verification system," in Proceedings IFIP 80, pp. 343--348, Australia, October 1980.Google Scholar
- {Hommel 80} Hommel, G., Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage, Kernforschungszentrum Karlsruhe, Technical Report, August 1980.Google Scholar
- {Hopcroft 69} Hopcroft, J. E. and Ullman, J. D., Formal Languages and their Relation to Automata. Addison-Wesley, 1969. Google ScholarDigital Library
- {London & Feather 81} London, P. & Feather, M. S., Implementing specification freedoms, ISI, 4676 Admiralty Way, Marina del Rey, CA 90291, Technical Report RR-81-100, 1981. Submitted to Science of Computer ProgrammingGoogle Scholar
- {Robinson 77} Robinson, L. and Roubine, O., SPECIAL, a specification and assertion language, Stanford Research Institute, Menlo Park, CA, Technical Report CSL-46, Jan 1977.Google Scholar
- {Smith 77} Smith, J., and D. Smith, "Database abstractions: aggregation and generalization," ACM Transactions on Database Systems 2, (2), June 1977, 105--133. Google ScholarDigital Library
- {Tennet 76} Tennet, R. D., "The denotational semantics of programming languages," CACM 19, (8), August 1976, 437--453. Google ScholarDigital Library
Recommendations
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototypingThis paper describes a set of freedoms which both simplify the task of specifing systems and make the resulting specification more comprehensible. These freedoms eliminate the need, in specific areas, to consider: the mechanisims for accomplishing ...
Operational specification languages
ACM '83: Proceedings of the 1983 annual conference on Computers : Extending the human resourceThe “operational approach” to software development is based on separation of problem-oriented and implementation-oriented concerns, and features executable specifications and transformational implementation. “Operational specification languages” are ...
Rapid Prototyping of Specification Language Implementations
RSP '99: Proceedings of the Tenth IEEE International Workshop on Rapid System PrototypingSpecification languages such as LOTOS and SDL play an important role in the design and implementation of distributed systems. Their formal syntax and semantics supports the development of compilers and of verification tools.This paper introduces a ...
Comments