Specifying Communication in Distributed Information Systems

TitleSpecifying Communication in Distributed Information Systems
Publication TypeJournal Article
Year of Publication2000
AuthorsEhrich, H. - D., and C. Caleiro
JournalActa Informatica
IssueFasc1 8

We present two logics that allow specifying distributed information systems, emphasizing communication among sites. The low-level logic D0 offers features that are easy to implement but awkward to use for specification, while the high-level logic D1 offers convenient specification features that are not easy to implement. We show that D1 specifications may be automatically translated to D0 in a sound and complete way. In order to prove soundness and completeness, we define our translation as a simple map of institutions. Our result may be useful for making implementation platforms like CORBA easier accessible by providing high-level planning and specification methods for communication.

2000Acta.pdf174.2 KB