%0 Conference Paper %1 SchroederEtal01 %A Schröder, Lutz %A Mossakowski, Till %A Hoffman, Piotr %A Klin, Bartek %A Tarlecki, Andrzej %B Fundamental Approaches to Software Engineering %D 2001 %E Hußmann, Heinrich %I Springer; Berlin; http://www.springer.de %K Amalgamation CASL architectural diagram semantics specification %P 253--268 %T Semantics of Architectural Specifications in CASL %U http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2029&spage=253 %V 2029 %X We present a semantics for architectural specifications in CASL, including an extended static analysis compatible with model-theoretic requirements. The main obstacle here is the lack of amalgamation for CASL models. To circumvent this problem, we extend the CASL logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model functor has amalgamation, which makes it possible to express the amalgamability conditions in the semantic rules in static terms. Using these concepts, we develop the semantics at various levels in an institution-independent fashion. Concretizing to the CASL institution, we discuss a calculus for discharging the static amalgamation conditions. These are in general undecidable, but can be dealt with by approximative algorithms in all practically relevant cases.

@inproceedings{SchroederEtal01, abstract = {We present a semantics for architectural specifications in CASL, including an extended static analysis compatible with model-theoretic requirements. The main obstacle here is the lack of amalgamation for CASL models. To circumvent this problem, we extend the CASL logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model functor has amalgamation, which makes it possible to express the amalgamability conditions in the semantic rules in static terms. Using these concepts, we develop the semantics at various levels in an institution-independent fashion. Concretizing to the CASL institution, we discuss a calculus for discharging the static amalgamation conditions. These are in general undecidable, but can be dealt with by approximative algorithms in all practically relevant cases. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {Schr{\"o}der, Lutz and Mossakowski, Till and Hoffman, Piotr and Klin, Bartek and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/22399a205d34f7fb9841cb9a7e3c20f83/tillmo}, booktitle = {Fundamental Approaches to Software Engineering}, editor = {Hußmann, Heinrich}, interhash = {543f5558a90071fc50bf3feeba5a819c}, intrahash = {2399a205d34f7fb9841cb9a7e3c20f83}, keywords = {Amalgamation CASL architectural diagram semantics specification}, pages = {253--268}, pdfurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/archsem.pdf}, psurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/archsem.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 = {Semantics of Architectural Specifications in {CASL}}, url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2029&spage=253}, volume = 2029, year = 2001 }