%0 Conference Paper %1 SchroderMossakowski01b %A Schröder, Lutz %A Mossakowski, Till %A Tarlecki, Andrzej %B International Colloquium on Automata, Languages and Programming (ICALP 2001) %D 2001 %E Orejas, Fernando %E Spirakis, Paul %E van Leeuwen, Jan %I Springer; Berlin; http://www.springer.de %K Amalgamation CASL architectural enriched specifications %P 993-1004 %T Amalgamation via enriched CASL signatures %U http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2076&spage=993 %V 2076 %X 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.

@inproceedings{SchroderMossakowski01b, 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. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {Schr{\"o}der, Lutz and Mossakowski, Till and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/26742e886dacc34888650a8cf0d1e6eed/tillmo}, booktitle = {International Colloquium on Automata, Languages and Programming (ICALP 2001)}, editor = {Orejas, Fernando and Spirakis, Paul and van Leeuwen, Jan}, interhash = {a61a816f7d5418ee8ee296d8f3a64949}, intrahash = {6742e886dacc34888650a8cf0d1e6eed}, keywords = {Amalgamation CASL architectural enriched specifications}, pages = {993-1004}, psurl = {http://www.informatik.uni-bremen.de/~lschrode/EnrAmalg.ps}, publisher = {Springer; Berlin; http://www.springer.de}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Amalgamation via enriched {CASL} signatures}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2076&spage=993}, volume = 2076, year = 2001 }