Institutions for Behaviour Specification

José Luiz Fiadeiro, José Félix Costa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationADT 1994, COMPASS 1994
Subtitle of host publicationRecent Trends in Data Type Specification
EditorsE. Astesiano, G. Reggio, A. Tarlecki
PublisherSpringer Verlag
Pages273-289
Number of pages17
ISBN (Electronic)9783540491989
ISBN (Print)9783540591320
DOIs
Publication statusPublished - 1995
Event10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. 1994 - S. Margherita, Italy
Duration: 30 May 19943 Jun 1994

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume906

Conference

Conference10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. 1994
Country/TerritoryItaly
CityS. Margherita
Period30/05/943/06/94

Fingerprint

Dive into the research topics of 'Institutions for Behaviour Specification'. Together they form a unique fingerprint.

Cite this