Prev Up
Go backward to 6.1.6 Local Specifications
Go up to 6.1 Structured Specifications

6.1.7 Closed Specifications

      CLOSED-SPEC ::= closed-spec SPEC

A closed specification CLOSED-SPEC is written:

closed { SP }
It determines the same signature and class of models as SP determines in the empty local environment, thus ensuring the closedness of SP.
CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up