We combine CASL’s pushout-style generic specification with DOL’s filtering, the latter being a syntactic removal of parts of a specification. The challenge is that now the body of
a generic specification can remove parts of the formal parameter. This cannot be handled
with usual pushout semantics, but calls for a semantics of “match, delete, glue in” as used
in the theory of graph grammars. We hence employ Heindel’s theory of MipMap categories
as a basis for the use of pushouts in categories of partial maps. We introduce a notion of
MipMap institution that can serve as a semantic background for a partial pushout semantics of generics with filtering.
%0 Journal Article
%1 Mossakowski_2018
%A Mossakowski, Till
%A Krieg-Brückner, Bernd
%D 2018
%I Elsevier BV
%J Theoretical Computer Science
%K casl institution logic myown
%P 58--70
%R 10.1016/j.tcs.2018.03.021
%T Partial pushout semantics of generics in DOL
%U https://doi.org/10.1016%2Fj.tcs.2018.03.021
%V 741
%X We combine CASL’s pushout-style generic specification with DOL’s filtering, the latter being a syntactic removal of parts of a specification. The challenge is that now the body of
a generic specification can remove parts of the formal parameter. This cannot be handled
with usual pushout semantics, but calls for a semantics of “match, delete, glue in” as used
in the theory of graph grammars. We hence employ Heindel’s theory of MipMap categories
as a basis for the use of pushouts in categories of partial maps. We introduce a notion of
MipMap institution that can serve as a semantic background for a partial pushout semantics of generics with filtering.
@article{Mossakowski_2018,
abstract = {We combine CASL’s pushout-style generic specification with DOL’s filtering, the latter being a syntactic removal of parts of a specification. The challenge is that now the body of
a generic specification can remove parts of the formal parameter. This cannot be handled
with usual pushout semantics, but calls for a semantics of “match, delete, glue in” as used
in the theory of graph grammars. We hence employ Heindel’s theory of MipMap categories
as a basis for the use of pushouts in categories of partial maps. We introduce a notion of
MipMap institution that can serve as a semantic background for a partial pushout semantics of generics with filtering.},
added-at = {2018-11-08T14:38:37.000+0100},
author = {Mossakowski, Till and Krieg-Brückner, Bernd},
biburl = {https://www.bibsonomy.org/bibtex/293cdd8a227db55eaf4869e044ce183d9/tillmo},
doi = {10.1016/j.tcs.2018.03.021},
interhash = {4b14f9fce012941ced10d7e4c5e71a8a},
intrahash = {93cdd8a227db55eaf4869e044ce183d9},
journal = {Theoretical Computer Science},
keywords = {casl institution logic myown},
month = sep,
pages = {58--70},
publisher = {Elsevier {BV}},
timestamp = {2018-11-08T14:38:37.000+0100},
title = {Partial pushout semantics of generics in {DOL}},
url = {https://doi.org/10.1016%2Fj.tcs.2018.03.021},
volume = 741,
year = 2018
}