by Lutz Schröder, Till Mossakowski and Andrzej Tarlecki
Abstract:
We construct a representation of the institution of the algebraic specification language CASL in an institution called enriched CASL. Enriched CASL satisfies the amalgamation property, which fails in the CASL institution, as well as its converse. Thus, the previously suggested institution-independent semantics of architectural specifications is actually applicable to CASL. Moreover, a variety of results for institutions with amalgamation, such as computation of normal forms and theorem proving for structured specifications, can now be used for CASL.
Reference:
Lutz Schröder, Till Mossakowski and Andrzej Tarlecki: Amalgamation via enriched CASL signatures, In Fernando Orejas, Paul Spirakis, Jan van Leeuwen, eds.: International Colloquium on Automata, Languages and Programming (ICALP 2001), Lecture Notes in Computer Science, vol. 2076, pp. 993–1004, Springer; Berlin; http://www.springer.de, 2001. [preprint]
Bibtex Entry:
@InProceedings{SchroderMossakowski01b,
author = {Lutz Schr{\"o}der and Till Mossakowski and Andrzej Tarlecki},
title = {Amalgamation via enriched {CASL} signatures},
year = {2001},
editor = {Fernando Orejas and Paul Spirakis and Jan van Leeuwen},
booktitle = {International Colloquium on Automata, Languages and Programming (ICALP 2001)},
publisher = {Springer; Berlin; http://www.springer.de},
series = {Lecture Notes in Computer Science},
volume = {2076},
pages = {993-1004},
keywords = {Amalgamation enriched CASL architectural specifications},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2076&spage=993},
comment = {<a href="http://www8.informatik.uni-erlangen.de/~schroeder/papers/EnrAmalg.ps">[preprint]</a>},
abstract = {We construct a representation of the institution of the algebraic
specification language CASL in an institution called enriched CASL. Enriched CASL satisfies the amalgamation property, which fails in the CASL institution, as well as its converse. Thus, the previously suggested institution-independent semantics of architectural specifications is actually applicable to CASL. Moreover, a variety of results for institutions with amalgamation, such as computation of normal forms and theorem proving for structured specifications, can now be used for CASL.
},
}