Denotational semantics of object specification

DOI10.1007/S002360050141MaRDI QIDQ1127818zbMATH OpenOpenAlexFDO

Authors Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Publication date 10 September 1998

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050141

abstraction aggregation Galois correspondence institution of objects interconneetion interfacing linear temporal logic monotonic specialization parallel composition temporal logic institution

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Review text

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), interconneetion , 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.

Recommendations

Cited in

(8)

This page was built for publication: Denotational semantics of object specification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127818)