Heterogeneous Logical Environments for Distributed Specifications
| Type of publication: | Inproceedings |
| Citation: | MossakowskiTarlecki09 |
| Booktitle: | WADT 2008 |
| Series: | Lecture Notes in Computer Science |
| Volume: | 5486 |
| Year: | 2009 |
| Pages: | 266--289 |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-642-03429-9_18 |
| 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. |
| Userfields: | bdsk-url-1={http://dx.doi.org/10.1007/978-3-642-03429-9_18}, pdfurl={http://www.informatik.uni-bremen.de/~till/papers/disthet.pdf}, project={I4-SPIN}, status={Reviewed}, |
| Keywords: | institutions heterogeneous specification comorphism |
| Authors | |
| Editors | |
|
Attachments
|
|
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
