Concepts of a Specification Language
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.
Unable to display preview. Download preview PDF.