What is a derived signature morphism?
Autor(en): | Mossakowski, T. Krumnack, U. Maibaum, T. |
Herausgeber: | Tutu, I. Codescu, M. Diaconescu, R. |
Stichwörter: | Algebra; Semantics; Specification languages; Specifications, Complex construction; Morphisms, Modeling languages | Erscheinungsdatum: | 2015 | Herausgeber: | Springer Verlag | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Volumen: | 9463 | Startseite: | 90 | Seitenende: | 109 | Zusammenfassung: | The notion of signature morphism is basic to the theory of institutions. It provides a powerful primitive for the study of specifications, their modularity and their relations in an abstract setting. The notion of derived signature morphism generalises signature morphisms to more complex constructions, where symbols may be mapped not only to symbols, but to arbitrary terms. The purpose of this work is to study derived signature morphisms in an institution-independent way. We will recall and generalize two known approaches to derived signature morphisms, introduce a third one, and discuss their pros and cons. We especially study the existence of colimits of derived signature morphisms. The motivation is to give an independent semantics to the notion of derived signature morphism, query and substitution in the context of the Distributed Ontology, Modeling and Specification Language DOL. © Springer International Publishing Switzerland 2015. |
Beschreibung: | Conference of 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 ; Conference Date: 4 September 2014 Through 7 September 2014; Conference Code:160759 |
ISBN: | 9783319281131 | ISSN: | 03029743 | DOI: | 10.1007/978-3-319-28114-8_6 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84955261388&doi=10.1007%2f978-3-319-28114-8_6&partnerID=40&md5=dd44b902eb65cd51b506eccb251275a2 |
Zur Langanzeige
Seitenaufrufe
4
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 18.05.2024