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
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