Download Casl Reference Manual: The Complete Documentation of the by Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. PDF

By Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.)

ISBN-10: 3540213015

ISBN-13: 9783540213017

CASL, the typical Algebraic Specification Language, was once designed via the participants of CoFI, the typical Framework Initiative for algebraic specification and improvement, and is a general-purpose language for functional use in software program improvement for specifying either requisites and layout. CASL is already considered as a de facto general, and diverse sublanguages and extensions can be found for particular tasks.

This reference guide offers a close documentation of the CASL specification formalism. It reports the most underlying innovations, and punctiliously summarizes the meant that means of every build of CASL. The e-book officially defines either the syntax and semantics of CASL, and provides a common sense for reasoning approximately CASL requirements. additionally, large libraries of CASL requisites of simple facts forms are supplied in addition to a accomplished annotated bibliography of CoFI publications.

As a separate, complementary booklet LNCS 2900 offers an educational advent to CASL, the CASL person Manual.

Show description

Read Online or Download Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language PDF

Similar algebra books

Globalizing Interests: Pressure Groups and Denationalization

Globalizing pursuits is an leading edge examine of globalization "from inside," the response of nationally constituted curiosity teams to demanding situations produced via the denationalization procedure. The members concentrate on company institutions, alternate unions, civil rights businesses, and right-wing populists from Canada, Germany, nice Britain, and the U.S., and view how they've got answered to 3 super globalized factor components: the net, migration, and weather swap.

Extra info for Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Sample text

And SPm } then { SP1 and . . , the above specification is implicitly closed. The difference between declaring parameters and leaving them implicit in an extension is that each parameter has to be provided with a fitting argument specification in all references to the specification name SN . The declared parameters show just which parts of the generic specification are intended to vary between different references to it. The imports, in contrast, are fixed, and common to the parameters, body, and arguments.

VDn • F is equivalent to ∀VD1 • . . ∀VDn • F ; and ∀v1 , . . , vn : s • F is equivalent to ∀v1 : s • . . ∀vn : s • F . Similarly for the other quantifiers. The scope of a variable declaration in a quantification is the component formula F , and an inner declaration for a variable with the same identifier as in an outer declaration overrides the outer declaration (regardless of whether the sorts of the variables are the same). Note that the body of a quantification extends as far as possible. 2 Logical Connectives The usual logical connectives are provided.

FAn , extended to a morphism applicable to the signature of SP as explained in Sects. 6 (and written as a list of symbol maps). Then the semantics of the well-formed instantiation SN [FA1 ]. . [FAn ] is the same as that of the specification: { SP with FM } and SP1 and . . and SPn where each SPi is the specification of the corresponding fitting argument FAi . Each model of an argument FAi (these are models of SPi reduced by the signature morphism determined by SMi ) is required to be a model of the corresponding parameter SPi , otherwise the instantiation is undefined.

Download PDF sample

Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language by Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.)


by Michael
4.5

Rated 4.31 of 5 – based on 3 votes