Prev Up Next
Go backward to 8.2.1 Unit Types
Go up to 8.2 Unit Specifications
Go forward to 8.2.3 Closed Unit Specifications

8.2.2 Architectural Unit Specifications

An architectural specification ARCH-SPEC in a unit specification is written:

arch spec ASP

A unit satisfies `arch spec ASP' when it is the result unit of some model of ASP.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up Next