An Adaptive Framework for the Design of Software Specification Languages
Software has been specified as domain theories. A useful strategy for building specifications is the incremental extension of an initial theory, in which increments add new terms and notions not considered in previous extensions. Given an increment, the corresponding theory is stated in a corresponding specification language. The next increment — or extension of the theory — typically requires a related language extension, which has been specified in a variety of ways, e.g. meta-computations, rewriting systems, etc. Adaptive devices naturally support such scheme, whose instances should reflect the impact of extension variations on the specification language. This paper describes an adaptive framework for the design of a class of software specification languages supporting the incremental process of elaborating software specifications.
KeywordsSpecification Language Operational Semantic Abstraction Layer Language Extension Linguistic System
Unable to display preview. Download preview PDF.
- Neto, J.J. (2001) Adaptive rule-driven devices — general formulation and case study. LNCS v.2494, Springer-Verlag, pp. 234–250.Google Scholar
- Turski, W.M., Maibaum, T.S.E. (1987) The specification of computer programs. Addison-Wesley, London, UK.Google Scholar
- Smith, D.R. (1999) Designware: software development by refinement. In Proc. 8th Internat. Conf. on Category Theory and Computer Science (CTCS ’98), Edinburgh, UK.Google Scholar
- Harrison, W.L. and Kamin, S.N. (1998) Modular compilers based on monad transformers. In Proc. of the IEEE International Conference on Computer Languages, pp. 122–131.Google Scholar
- Meyer, B. (1997) Object-oriented software construction, 2nd. Ed. Prentice-Hall, New Jersey, USA.Google Scholar
- Wirth, N. (1977) What can we do with the unnecessary diversity of notation for syntactic definitions? CACM 20(11): 822–823.Google Scholar
- Neto, J.J., Pariente, C.B., Leonardi, F. (1999) Compiler Construction — a Pedagogical Approach. V Int. Congress on Informatics Engineering — Buenos Aires.Google Scholar