Till Mossakowski. Institution-independent semantics for Casl-in-the-large. Note S-8, in [10], 1998. 42 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
CASL: The Common Algebraic Specification Language - Astesiano, Bidoit.. (1999) (13 citations) (Correct)
....are defined inductively by means of rules in the style of Natural Semantics. The orthogonality of basic specifications in Casl with respect to the rest of the language is reflected in the semantics by the use of a variant of the notion of institution [16] called an institution with symbols [28]. For readers who are unfamiliar with the notion of institution, it corresponds roughly to logical system appropriate for writing specifications ) The semantics of basic specifications is regarded as defining a particular institution with symbols, and the rest of the semantics is based on an ....
Till Mossakowski. Institution-independent semantics for Casl-in-the-large. Note S-8, in [10], 1998. 42
CoFI WG 29432 - Interim report 1 October 1998 - 30 September 1999 - Sannella (1999) (Correct)
.... models is also relevant [33] also [34] An important stream of work addressed the issues of a careful, semanticsbased comparison of Casl with other specifications formalism [46] 9] With the semantics essentially ready, we have started to work on making it fully institution independent [44], 40] and on proof systems and proof support for Casl, for instance by looking at foundations for translation of Casl into some well supported logical frameworks [17] 1.3 Methodology The aim of the Methodology task group is to enrich the formalism designed under CoFI with ideas on the ....
T. Mossakowski. Institution-independent semantics for Casl-in-the- large. Note S-8 (revised), in [24], October 1998.
The Common Framework Initiative for algebraic specification and.. - Sannella (1999) (Correct)
....are defined inductively by means of rules in the style of Natural Semantics. The orthogonality of basic specifications in Casl with respect to the rest of the language is reflected in the semantics by the use of a variant of the notion of institution [GB92] called an institution with symbols [Mos98]. For readers who are unfamiliar with the notion of institution, it corresponds roughly to logical system appropriate for writing specifications . The semantics of basic specifications is regarded as defining a particular institution with symbols, and the rest of the semantics is based on an ....
T. Mossakowski. Institution-independent semantics for Casl-in-the- large. CoFI Note S-8, http://www.brics.dk/Projects/CoFI/Notes/ S-8/ (1998).
Architectural specifications in CASL - Bidoit, Sannella, Tarlecki (1999) (4 citations) (Correct)
....and renamings and to deal with the issues of sharing between structures when they are amalgamated. Details of a notion of an institution appropriate for the full semantics of institution independent Casl (or rather, its structured specification and architectural specification mechanisms) are in [Mos98]. An institution with symbols (based on institutions with syntax used earlier for the semantics of Extended ML [ST86] is an institution with a functor yielding for each signature its set of symbols, and further mechanisms for presenting subsignatures and signature morphisms. Some extra ....
T. Mossakowski. Institution-independent semantics for Casl-in-the-large. Technical report, Universitat Bremen (1998).
Architectural specifications in CASL - Bidoit, Sannella, Tarlecki (1999) (4 citations) (Correct)
....and renamings and to deal with the issues of sharing between structures when they are amalgamated. Details of a notion of an institution appropriate for the full semantics of institution independent Casl (or rather, its structured specification and architectural specification mechanisms) are in [Mos98]. One issue which we have omitted above is that of behavioural implementation [Sch87] ST89] NOS95] ST97] BH98] The idea is that when realizing a specification it is not really necessary to provide a model; it is sufficient to provide a structure that is behaviourally equivalent to a ....
T. Mossakowski. Institution-independent semantics for Casl-in-the-large. CoFI note S-8 (1998).
Architectural specifications in CASL - Michel Bidoit (1999) (4 citations) (Correct)
....However, both the overall idea and the constructs for architectural specifications are largely independent from the details of the underlying Casl logical system. In fact, everything here can be presented in the context of an arbitrary institution [GB92] equipped with some extra structure see [Mos98] for details. One issue which we have omitted above is that of behavioural implementation [Sch87,ST89,NOS95,ST97,BH9 ] The idea is that when realizing a specification it is sufficient to provide a structure that is behaviourally equivalent to a model. Intuitively, two structures are ....
T. Mossakowski. Institution-independent semantics for Casl-in-the-large. CoFI note S-8 (1998).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC