Go backward to 2.3.3 Semantics Task Group
Go up to 2.3 Task Groups
Go forward to 2.3.5 Methodology Task Group
2.3.4 Tools Task Group
Tool support for specification and development.
Hélène Kirchner (previously: Michel Bidoit).
Didier Bert, Michel Bidoit, Christine
Choppy, Ole-Johan Dahl, Bernd Krieg-Brückner, Pierre Lescanne,
Peter D. Mosses, Peter Padawitz, Michal Walicki.
cofi-tools
(Archives, Subscription)
The Common Framework Initiative for Algebraic Specifications is a
collaborative effort involving many different groups working on
algebraic specifications. The common language CASL is a
general-purpose specification language from which a family of related
specification languages can be obtained by syntactic or semantic
restriction, or by extension (for instance to higher-order functions),
all with a consistent, user-friendly syntax and clear semantics. To
be usable in research and industrial contexts, such specification
language, sub-languages and extensions must be supported by tools.
The aims and scope of the CoFI-Tools task group are:
- To provide a minimal but widely available set of tools for CASL,
including syntax and static semantics checkers, library support,
emacs and LaTex modes.
- To take advantage of and to reuse an abundance of existing tools
developed in the community for protyping, testing, checking properties
of programs, verifying the correctness of a specification or of a
refinement step. Many of them are specialized, that is only
applicable to a particular sub-language and its associated logics, and
this raises the practical problem of defining interchange formats and
means of exchanging libraries of specifications.
- Ultimately to achieve a coherent and efficient integration
of sub-languages and related tools. This raises the issue of
combining and embedding different logics.
CoFI
: CoFI -- Version: -- November 16, 1999.
Comments to pdmosses@brics.dk