CASL for ASF+SDF users

Authors:
Peter D. Mosses
Affiliations:
BRICS, Dept. of Computer Science, University of Aarhus, Aarhus C, Denmark
Venue:
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Year:
1997

Citing 2
Cited 4

Toward formal development of programs from algebraic specifications: parameterisation revisited

Acta Informatica
Language Prototyping: An Algebraic Specification Approach: Vol. V

Language Prototyping: An Algebraic Specification Approach: Vol. V

CASL: the common algebraic specification language

Theoretical Computer Science
Relating CASL with other specification languages: the institution level

Theoretical Computer Science
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
CASL: A Guided Tour of Its Design

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

CASL is an expressive language for the algebraic specification 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 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 be written in CASL, and considers some problems that may arise when translating specifications from ASF+SDF to CASL. It then explains and motivates various CASL constructs that cannot be expressed directly in ASF+SDF. Finally, it discusses the rôle that the ASF+SDF system might play in connection with tool support for CASL.