Advertisement

Acta Informatica

, Volume 35, Issue 9, pp 729–773 | Cite as

Denotational semantics of object specification

  • Amílcar Sernadas
  • Cristina Sernadas
  • Carlos Caleiro

Abstract.

From an arbitrary temporal logic institution we show how to set up the corresponding institution of objects. The main properties of the resulting institution are studied and used in establishing a categorial, denotational semantics of several basic constructs of object specification, namely aggregation (parallel composition), interconnection, abstraction (interfacing) and monotonic specialization. A duality is established between the category of theories and the category of objects, as a corollary of the Galois correspondence between these concrete categories. The special case of linear temporal logic is analysed in detail in order to show that categorial products do reflect interleaving and reducts may lead to internal non-determinism.

Keywords

Main Property Object Specification Temporal Logic Categorial Product Linear Temporal Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Amílcar Sernadas
    • 1
  • Cristina Sernadas
    • 1
  • Carlos Caleiro
    • 1
  1. 1. Departamento de Matemática, IST, Av. Rovisco Pais, P-1096 Lisboa, Portugal (e-mail: {acs,css,ccal}@math.ist.utl.pt) PT

Personalised recommendations