| | |
Summary: From specifications to code in Casl
David Aspinall and Donald Sannella
Laboratory for Foundations of Computer Science,
Division of Informatics, University of Edinburgh
Abstract. The status of the Common Framework Initiative (CoFI) and
the Common Algebraic Specification Language (Casl) are briefly pre
sented. One important outstanding point concerns the relationship be
tween Casl and programming languages; making a proper connection
is obviously central to the use of Casl specifications for software spec
ification and development. Some of the issues involved in making this
connection are discussed.
1 Introduction
The Common Framework Initiative, abbreviated CoFI, is an open international
collaboration which aims to provide a common framework for algebraic specifica
tion and development of software by consolidating the results of past research in
the area [AKBK99]. CoFI was initiated in 1995 in response to the proliferation
of algebraic specification languages. At that time, despite extensive past collabo
ration between the main research groups involved and a high degree of agreement
concerning the basic concepts, the field gave the appearance of being extremely
fragmented, and this was seen as a serious obstacle to the dissemination and use
|
