AIMS AND SCOPE

Definition of sublanguages and extensions of CASL is encouraged. Sublanguages are expected to be motivated by their intended use in connection with particular tools or applications; extensions add new features, retaining as much as possible of CASL for the purposes for which CASL was developed.

Requirements for a proposal for a sublanguage of CASL

Requirements for a proposal for an extension of CASL

• It must be a conservative extension of a significant subset of CASL, i.e., all the included CASL constructs must have the same syntax as in CASL, and the intended interpretation of the original constructs in the extension must correspond directly to that in CASL.
• A document that provides the changes required to the CASL Summary and Syntax to obtain the Summary and Syntax of the extension must be provided. (Optionally, the Summary and Syntax obtained by applying the indicated changes to the CASL Summary and Syntax may be provided as well.)
• A document that adequately explains the details of the intended semantics of the new constructs must be provided. (Optionally, a document that provides the changes required to the CASL Semantics to obtain the formal semantics of the extension may be provided as well.)