The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
CASL has been designed by CoFI, the Common Framework Initiative, with the aim to subsume many existing specification languages.
CASL comprises four levels:
- basic specifications, for the specification of single software modules,
- structured specifications, for the modular specification of modules,
- architectural specifications, for the prescription of the structure of implementations,
- specification libraries, for storing specifications distributed over the Internet.
The four levels are orthogonal to each other. In particular, it is possible to use CASL structured and architectural specifications and libraries with logics other than CASL. For this purpose, the logic has to be formalized as an institution. This feature is also used by the CASL extensions.
Read more about Common Algebraic Specification Language: Extensions
Famous quotes containing the words common, algebraic and/or language:
“Romance reading and writing might be seen ... as a collectively elaborated female ritual through which women explore the consequences of their common social condition as the appendages of men and attempt to imagine a more perfect state where all the needs they so intensely feel and accept as given would be adequately addressed.”
—Janice A. Radway (b. 1949)
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“There is ... in every child a painstaking teacher, so skilful that he obtains identical results in all children in all parts of the world. The only language men ever speak perfectly is the one they learn in babyhood, when no one can teach them anything!”
—Maria Montessori (1870–1952)