Since 2014
CASL for ASF+SDF Users
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
CASL for ASF+SDF Users
|
|
| Creator |
Mosses, Peter D.
|
|
| Description |
Casl is an expressive language for the algebraic specificationof software requirements, design, and architecture. It has beendeveloped by an open collaborative effort called CoFI (CommonFramework Initiative for algebraic specification and development).Casl combines the best features of many previous algebraic specification languages, and it is hoped that it may provide a focus for future research and development in the use of algebraic techniques, as well being attractive for industrial use.This paper presents Casl for users of the Asf+Sdf framework.It shows how familiar constructs of Asf+Sdf may bewritten in Casl, and considers some problems that may arisewhen translating specifications from Asf+Sdf to Casl. It thenexplains and motivates various Casl constructs that cannot beexpressed directly in Asf+Sdf. Finally, it discusses the role thatthe Asf+Sdf system might play in connection with tool supportfor Casl.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-06-19
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19270
10.7146/brics.v4i49.19270 |
|
| Source |
BRICS Report Series; No 49 (1997): RS-49 CASL for ASF+SDF Users
BRICS Report Series; Nr. 49 (1997): RS-49 CASL for ASF+SDF Users 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19270/16897
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|