Concepts of a Specification Language

  • Hartmut Ehrig
  • Bernd Mahr
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 6)

Abstract

For the specification of basic abstract data types as considered in Chapter 2 and for the parameterized case in Chapter 7 it is usually sufficient to give the specifications explicitly as a triple SPEC = (S,OP,E) of sorts S, constant and operation symbols OP, and equations E. For the specification of software systems, however, it would be problematic to give a specification explicitly in terms of large sets S, OP and E, because it is difficult to write, read and understand those large “flat specifications”. According to the principles of software development large systems should be subdivided into smaller subsystems. In the same way the specification of a large system should be subdivided into smaller subspecifications. On the other hand there must be concepts to build up larger specifications from smaller parts. This is the essential aim of a specification language. In this chapter we will introduce five concepts of a specification language which are based on a number of constructions on specifications studied in previous chapters of this book.

Keywords

Sorti Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Bernd Mahr
    • 1
  1. 1.FB 20, Informatik, Sekr. FR 6-1Technische Universität BerlinBerlin 10Germany

Personalised recommendations