Proposal and Approval Procedure for a CASL Extension Language
A. Initial notification (by e-mail) to Till Mossakowski
that a potential
extension is being developed, with a concise indication of the nature
of the extension, and the intended acronym.
The proposers will be informed of any related potential extensions.
The proposed language will be announced on the CoFI-Discuss mailing
list, and listed on the Extensions page with the label
B. Submission of a proposal for preliminary approval as a potential extension.
The submission should indicate how the proposed language would extend
CASL, and argue that it is a conservative extension of CASL (or at
least of a significant and useful sublanguage). The proposal must be
convincing about the semantics, but the details need not necessarily
have been worked out yet; thus it has the character of a Study Note
with sketchy semantics. It should outline the intended application
Steps A and B may be subsumed by publication of refereed papers in the
proceedings of workshops or conferences whose programme committees
include at least one CoFI Steering Committee member. Such papers
should state clearly whether the described language is intended as a
potential extension of CASL or not.
The proposal will be announced on the CoFI-Discuss mailing list,
and made accessible on the Extensions page with the label
If no substantial objections are raised within one month, the proposal is granted preliminary approval.
C. Submission of a document that provides the changes required to the
CASL Summary and Syntax
to obtain the Summary and Syntax of the
proposed extension, and a document that adequately explains the
details of the intended semantics of the new constructs.
The proposal will be announced on the CoFI-Discuss mailing list, and
made accessible on the Extensions page (without a label). The proposal
is then reviewed anonymously by expert reviewers.
D. Assessment of the proposal and the expert reviews by a committee
appointed by IFIP WG1.3.
If possible, a public oral presentation of the proposal to the
committee will be arranged, co-located with an IFIP WG1.3 meeting.
E. The recommendation of the committee is circulated to the IFIP WG1.3
members, together with the proposal and the expert reviews, for
endorsement. When finally approved, the extension language will be
listed on the Extensions page with the label
Benefits for a language proposer
Which are the benefits for a language proposer?
Based on available ressources, CoFI participants will take a close look at the proposed language and give constructive feeback.
Free access to and connection with other CASL languages, includig the repository of examples and CASL library.
Advertisement of the language in CASL presentations.
roposed language and constructive feeback.