Since 2014
CoFI: The Common Framework Initiative for Algebraic Specification and Development
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
CoFI: The Common Framework Initiative for Algebraic Specification and Development
|
|
| Creator |
Mosses, Peter D.
|
|
| Description |
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 researchresults in algebraic specification. In particular, the proliferationof 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 acceptancethroughout 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 specificationlanguages 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 extensionsof CASL, oriented towards particular programming paradigms,such as reactive systems and object-based systems. It should also be possibleto embed many existing algebraic specification languages in members of the CASL family. A tentative design for CASL has already been proposed. Task groupsare studying its formal semantics, tool support, methodology, and other aspects, in preparation for the finalization of the design.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-06-18
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19269
10.7146/brics.v4i48.19269 |
|
| Source |
BRICS Report Series; No 48 (1997): RS-48 CoFI: The Common Framework Initiative for Algebraic Specification and Development
BRICS Report Series; Nr. 48 (1997): RS-48 CoFI: The Common Framework Initiative for Algebraic Specification and Development 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19269/16896
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|