CASL for CafeOBJ Users release_yv534auibfdgdazq2osyl75cgm

by Peter D. Mosses

Published in BRICS Report Series by Aarhus University Library.

2000   Issue 51

Abstract

Casl is an expressive language for the algebraic specification<br />of software requirements, design, and architecture. It has been developed by an open collaborative effort called CoFI (Common Framework Initiative for algebraic specification and development). Casl combines the best features of many previous main-stream algebraic specification languages, and it should provide a focus for future research and development in the use of algebraic techniques, as well facilitating interoperability of<br />existing and future tools. This paper presents Casl for users of the CafeOBJ framework, focusing on the relationship between the two languages. It first considers those constructs of CafeOBJ that have direct counterparts in Casl, and then (briefly) those that do not. It also motivates various Casl constructs<br />that are not provided by CafeOBJ. Finally, it gives a concise overview of Casl, and illustrates how some CafeOBJ specifications may be expressed in Casl.
In application/xml+jats format

Archived Files and Locations

application/pdf  178.5 kB
file_ohhj5z6g3vavthtbqr7hiuh47q
web.archive.org (webarchive)
tidsskrift.dk (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2000-06-21
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0909-0878
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c3ecae21-d470-457e-b289-74fac8922fa8
API URL: JSON