| The Common Framework Initiative |
| for algebraic specification and development |
|
|
|
CoFI is a voluntary organization, sponsored by IFIP WG1.3, and founded as an open collaborative effort to produce a Common Framework for Algebraic Specification and Development, including Casl, the Common Algebraic Specification Language.
CoFI Announcements & Discussion | Casl Book | CoFI Bibliography
Various languages extending Casl have been proposed:
N.B. These are proposals for new languages based on Casl, not proposals to extend the constructs included in the Casl language itself. For details of the proposals, see the Casl Extensions page.
The proposals for HasCasl, CoCasl, Casl-LTL, CSP-Casl, and HetCasl were reviewed internally by CoFI in March 2004. All the proposals were then presented to an IFIP WG1.3 review committee, chaired by José Meseguer, in public sessions during ETAPS 2004 in Barcelona. The recommendations of the committee were formally endorsed by WG1.3 in September, and reported to CoFI in October. (PDM apologizes for the subsequent delay with the announcement of the outcome.)
The recommendations of the review committee and the responses of the proponents are available in PDF. In short, the recommendations were to approve the proposals for HasCasl, CoCasl, Casl-LTL, and HetCasl. The CSP-Casl proposal was reviewed as work in progress, and could be approved when completed, subject to further review.
The WG1.3 Chairman, José Fiadeiro, would like to thank all the members of the review committee, and José Meseguer in particular, for their contribution to this activity of WG1.3, and to reiterate the appreciation of WG1.3 for the work of CoFI and opportunity to take part in this exciting initiative.
CALCO 2005, a new conference on Algebra and Coalgebra in Computer Science, is to be held 3-6 September 2005, University of Wales Swansea, UK.
It will be preceded by a CALCO Young Researchers Workshop, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.
CoFI participants are strongly encouraged to submit their work on Casl and other CoFI-related topics to CALCO!
CoFI is (very) pleased to announce that the Casl User and Reference Manuals have been published by Springer, as LNCS Vols. 2900 and 2960 (Tutorials, IFIP Series):
Boths books can be ordered online (click on the cover images above).
The citation data is as follows (see the updated CoFI Publications bibliography):
@Book{Bidoit:2004:CASL-UM,
author = "Michel Bidoit and Peter D. Mosses",
title = "\textsc{Casl} User Manual",
year = "2004",
publisher = "Springer",
series = "LNCS 2900 (IFIP Series)",
note = "With chapters by T. Mossakowski, D. Sannella,
and A. Tarlecki",
}
@Book{CoFI:2004:CASL-RM,
author = "{CoFI (The Common Framework Initiative)}",
title = "\textsc{Casl} Reference Manual",
year = "2004",
publisher = "Springer",
series = "LNCS 2960 (IFIP Series)",
}
The primary bibliographic data and the annotations in the bibliography of CoFI publications are now complete, and the full bibliography is now included in the The Collection of Computer Science Bibliographies.
The abstracts are about 80% complete. Would authors of publications where the abstract is missing kindly send it to the editor as soon as possible.
The old cofibib.bib has been renamed
cofi-unpub.bib, and is
henceforth for use only in unpublished CoFI documents
and notes.