Semantics of architectural specifications in Casl (2001)
Cached
Download Links
- [www.informatik.uni-bremen.de]
- [www.informatik.uni-bremen.de]
- DBLP
Other Repositories/Bibliography
| Venue: | Proc. 4th Intl. Conf. Fundamental Approaches to Software Engineering FASE’01, Springer LNCS 2029 |
| Citations: | 8 - 6 self |
BibTeX
@INPROCEEDINGS{Schröder01semanticsof,
author = {Lutz Schröder and Till Mossakowski and Andrzej Tarlecki and Bartek Klin and Piotr Hoffman},
title = {Semantics of architectural specifications in Casl},
booktitle = {Proc. 4th Intl. Conf. Fundamental Approaches to Software Engineering FASE’01, Springer LNCS 2029},
year = {2001},
pages = {253--268},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with modeltheoretic 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.
