| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Till Mossakowski, Andrzej Tarlecki |
| Herausgeber: |
Andrea Corradini, Ugo Montanari |
| Titel: |
Heterogeneous Logical Environments for Distributed Specifications |
| Buch / Sammlungs-Titel: |
WADT 2008 |
| Band: |
5486 |
| Seite(n): |
266–289 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2009 |
| Verleger: |
Springer |
| Abstract / Kurzbeschreibung: |
We use the theory of institutions to capture the concept of a
heterogeneous logical environment as a number of institutions linked
by institution morphisms and comorphisms. We discuss heterogeneous
specifications built in such environments, with inter-institutional
specification morphisms based on both institution morphisms and
comorphisms.
We distinguish three kinds of heterogeneity:
(1) specifications in logical environments with universal logic
(2) heterogeneous specifications focused at a particular logic, and
(3) heterogeneous specifications distributed over a number of logics. |
| Internet: |
http://dx.doi.org/10.1007/978-3-642-03429-9_18 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/disthet.pdf |
| Schlagworte: |
institutions heterogeneous specification comorphism |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
28. 04. 2010 |
