| Publication type: |
Article in Proceedings |
| Author: |
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki |
| Editor: |
Fernando Orejas, Paul Spirakis, Jan van Leeuwen |
| Title: |
Amalgamation via enriched CASL signatures |
| Book / Collection title: |
International Colloquium on Automata, Languages and Programming (ICALP 2001) |
| Volume: |
2076 |
| Page(s): |
993 – 1004 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2001 |
| Publisher: |
Springer, Berlin |
| 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.
|
| Internet: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2076&spage=993 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~lschrode/EnrAmalg.ps |
| Keywords: |
Amalgamation enriched CASL architectural specifications |
| Status: |
Reviewed |
| Last updated: |
22. 06. 2005 |
