Go backward to 4 Structured Specifications
Go up to Top
Go forward to 6 Libraries of Specifications

5 Architectural Specifications

Architectural specifications in CASL are formed by declaring the units that are to be implemented separately, also indicating how they are to be linked together to give the desired result. Section 5.1 considers various pragmatic issues affecting the CASL design. Section 5.2 presents the main concepts that underly the semantics of architectural specifications. Finally, Section 5.3 provides examples that illustrate the CASL language constructs for use in architectural specifications.

  • 5.1 Pragmatic Issues
  • 5.2 Semantic Concepts
  • 5.3 Language Constructs
  • 5.4 Example

  • CoFI Document: CASL/GuidedTour -- Version: 1 -- July 1999.
    Comments to pdmosses@brics.dk

    Go backward to 4 Structured Specifications
    Go up to Top
    Go forward to 6 Libraries of Specifications