CoFI: The Common Framework Initiative for Algebraic Specification and Development
DOI:
https://doi.org/10.7146/brics.v4i48.19269Resumé
An open collaborative effort has been initiated: to design acommon framework for algebraic specification and development of software. The rationale behind this initiative is that the lack of such a common 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 acceptance
throughout the research community is urgently needed.
The 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 common framework will provide a family of specification
languages at different levels: a central, reasonably expressive language, called CASL, for specifying (requirements, design, and architecture of) conventional software; restrictions of CASL to simpler languages, for use primarily in connection with prototyping and verification tools; and extensions
of CASL, oriented towards particular programming paradigms,
such as reactive systems and object-based systems. It should also be possible
to embed many existing algebraic specification languages in members of the CASL family. A tentative design for CASL has already been proposed. Task groups
are studying its formal semantics, tool support, methodology, and other aspects, in preparation for the finalization of the design.
Downloads
Publiceret
1997-06-18
Citation/Eksport
Mosses, P. D. (1997). CoFI: The Common Framework Initiative for Algebraic Specification and Development. BRICS Report Series, 4(48). https://doi.org/10.7146/brics.v4i48.19269
Nummer
Sektion
Artikler
Licens
Authors who publish with this journal agree to the following terms:- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).