Institutions for behaviour specification

  • J. L. Fiadeiro
  • J. F. Costa
Contributed Papers

DOI: 10.1007/BFb0014433

Volume 906 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Fiadeiro J.L., Costa J.F. (1995) Institutions for behaviour specification. In: Astesiano E., Reggio G., Tarlecki A. (eds) Recent Trends in Data Type Specification. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg

Abstract

Capitalising on the profusion of modal logics that have been proposed for reactive system specification since [Pnueli 77], on current work that explores categorical formalisations of models of concurrency such as [Sassone et al 93], and on our own past work relating specification logics and such process models [Fiadeiro and Costa 93, Fiadeiro et al 93, Semadas et al 94], we develop a notion of institution of behaviour in which structural properties of logics and models that are relevant for specifying system behaviour can be formalised and discussed. In this framework, we characterise and relate the existence of adjoint situations between theories and models with the existence of terminal models and the difference between underspecification and nondeterminism.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • J. L. Fiadeiro
    • 1
  • J. F. Costa
    • 1
  1. 1.ILTEC & Dept. Informatics Faculty of SciencesUniversity of LisbonLisboaPortugal