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

zbMATH Keywords

abstractionaggregationGalois correspondenceinstitution of objectsinterconneetioninterfacinglinear temporal logicmonotonic specializationparallel compositiontemporal 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

• Denotational semantics for a program logic of objects
• Denotational semantics of an object-oriented programming language with explicit wrappers
• Semantics, calculi, and analysis for object-oriented specifications
• Difunctorial semantics of object calculus
• Object Specification Logic
• Object specification
• scientific article; zbMATH DE number 3956413
• Denotational semantics of a parallel object-oriented language
• Semantic constructions for the specification of objects
• Specification of object-oriented systems

Cited in

(8)

• Categorical foundations for randomly timed automata
• A specification formalism for interacting objects
• Difunctorial semantics of object calculus
• Programming Denotational Semantics II
• Object specification
• Object Specification Logic
• An institution of object behaviour
• Temporal structures

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)