Common Framework for Algebraic Specification.The rationale behind this initiative is that the lack of such a framework greatly hinders the dissemination and application of research results in algebraic specification. In particular, the proliferation of specification languages, some differing in only quite minor ways from each other, is a considerable obstacle for the use of algebraic methods in industrial contexts, making it difficult to exploit standard examples, case studies and training material. A common framework with widespread support throughout the research community is urgently needed.
The CoFI was started by COMPASS (ESPRIT Basic Research WG 6112), in cooperation with IFIP WG 1.3 (Foundations of Systems Specification, formerly WG 14.3), but participation is not confined to members of those groups. Participants include some 30 leading researchers in algebraic specification, with representatives from almost all the European groups working in this area.
The current aim is to base the common framework as much as possible on a critical selection of features that have already been explored in various contexts. The collective experience and expertise of the participants provides a unique opportunity to achieve this aim within a short time-span. The common framework will provide a family of languages at different levels:
*--*--* - various (possibly incompatible) extension languages,
\ | / e.g. oriented to particular programming paradigms.
\|/
* - a single, reasonably expressive common specification language
/|\ (narrow-spectrum, but more expressive than e.g. Larch).
/ | \
*--*--* - various sub-languages, e.g. executable, unparametrized.
Some short-term milestones have been formulated. Task Groups of the participants are focussing on particular areas. Coordination of the collaborative effort is by means of moderated mailing lists, WWW databases, and sub-group and plenary meetings (the latter held adjacent to major conferences, to minimize travel).