| Publication type: |
Article in Proceedings |
| Author: |
Till Mossakowski, Andrzej Tarlecki |
| Editor: |
Andrea Corradini, Ugo Montanari |
| Title: |
Heterogeneous Logical Environments for Distributed Specifications |
| Book / Collection title: |
WADT 2008 |
| Volume: |
5486 |
| Page(s): |
266–289 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2009 |
| Publisher: |
Springer |
| Abstract: |
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 |
| Keywords: |
institutions heterogeneous specification comorphism |
| Status: |
Reviewed |
| Last updated: |
28. 04. 2010 |
