An institution of object behaviour

  • Amílcar Sernadas
  • José Félix Costa
  • Cristina Sernadas
Contributed Papers

DOI: 10.1007/3-540-57867-6_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 785)
Cite this paper as:
Sernadas A., Costa J.F., Sernadas C. (1994) An institution of object behaviour. In: Ehrig H., Orejas F. (eds) Recent Trends in Data Type Specification. Lecture Notes in Computer Science, vol 785. Springer, Berlin, Heidelberg

Abstract

An institution for a simple logic of behaviour is built using a cofibration from a category of transition systems into the envisaged category of signatures. The chosen propositional, linear temporal logic distinguishes between event occurrence and event enabling. The satisfaction condition is proved using a fibered adjunction between transition systems and their computations. The operational semantics of behaviour specifications is briefly discussed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • Amílcar Sernadas
    • 1
    • 3
  • José Félix Costa
    • 2
    • 3
  • Cristina Sernadas
    • 1
    • 3
  1. 1.Departamento de MatemáticaISTPortugal
  2. 2.Departamento de InformáticaFCULPortugal
  3. 3.INESCLisboa CodexPortugal

Personalised recommendations