An Institution of Object Behaviour (1994)
| Citations: | 21 - 7 self |
BibTeX
@MISC{Sernadas94aninstitution,
author = {Amílcar Sernadas and José Félix Costa and Cristina Sernadas},
title = {An Institution of Object Behaviour},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. 1 Introduction Consolidating the conjectures in [SernadasA et al 92a], we study the problem of setting-up a suitable institution (see [Goguen and Burstall 84]) of linear temporal logic from a given reasonable semantic domain of object behaviour. For the sake of simplicity we work towards a propositional fragment. No major problem is expected when extending the results towards a first-order logic (for instance, like the logic outlined in [SernadasA et al 92b]). The basic problem is to identify the appropriate cofibration from the given c...
Citations
No citations identified.
