Book ChapterDOI
Algebraic Implementation of Objects over Objects
Hans-Dieter Ehrich,Amílcar Sernadas +1 more
- Vol. 430, pp 239-266
Reads0
Chats0
TLDR
The main technical result is a normal form theorem saying that any regular implementation, i.e. one composed of any number of extensions and encapsulations, in any order, can be done in just two steps: first an extension, and then an encapsulation.Abstract:
This paper gives semantic foundations of (correct) implementation as a relationship between an "abstract" object and a community of "base" objects. In our aproach, an object is an "observed process". Objects and object morphisms constitute a category OB in which colimits reflect object aggregation and interaction between objects. Our concept of implementation allows for composition, i.e. by composing any number of (correct) implementation steps, a (correct) entire implementation is obtained. We study two specific kinds of implementation, extension and encapsulation, in more detail and investigate their close relationship to object morphisms. Our main technical result is a normal form theorem saying that any regular implementation, i.e. one composed of any number of extensions and encapsulations, in any order, can be done in just two steps: first an extension, and then an encapsulation.read more
Citations
More filters
Journal ArticleDOI
Temporal theories as modularisation units for concurrent system specification
José Luiz Fiadeiro,Tom Maibaum +1 more
TL;DR: The use of temporal logic for specifying concurrent systems, in the tradition initiated by A. Pnueli, and the use of tools from category theory as a means for structuring specifications as combinations of theories are brought together.
Journal ArticleDOI
Sheaf semantics for concurrent interacting objects
TL;DR: Concepts from sheaf theory are used to explain phenomena in concurrent systems, including object, inheritance, deadlock, and non-interference, as used in computer security, not only to concurrent object oriented systems, but also to systems of differential equations, electrical circuits, hardware description languages, and much more.
Book ChapterDOI
Describing, Structuring and Implementing Objects
José Luiz Fiadeiro,Tom Maibaum +1 more
TL;DR: An alternative framework to support systems design based on the concept of object is developed, providing a notion of object signature around which the notion of locality (encapsulation) is defined and a deontic action logic for the description of objects is adopted.
Book ChapterDOI
A Categorial Theory of Objects as Observed Processes
TL;DR: The semantic domain for object-oriented languages and systems outlined in this paper is an amalgamation of two approaches: the objects-as-sheaves approach of the second author published nearly two decades ago, and the more recent ideas of the first and third authors on objects as processes endowed with observation.
Book ChapterDOI
Sometimes Tomorrow is Sometime - Action Refinement in a Temporal Logic of Objects
José Luiz Fiadeiro,Tom Maibaum +1 more
TL;DR: This work addresses the hierarchical (vertical) decomposition, or abstract implementation, of object specification in temporal logic with a tighter control of action granularity and interference, enabling the use of the “next” operator and the development of reactive systems more tractable.
References
More filters
Book
Smalltalk-80: The Language and its Implementation
Adele E. Goldberg,David Robson +1 more
TL;DR: This book is the first detailed account of the Smalltalk-80 system and is divided into four major parts: an overview of the concepts and syntax of the programming language, a specification of the system's functionality, and an example of the design and implementation of a moderate-size application.
Journal ArticleDOI
Viewing control structures as patterns of passing messages
TL;DR: A light sensing apparatus is described which employs a GaAsP MOS light-receiving element to which a potential is applied for creating a depletion region.
Book
Algebraic theory of processes
TL;DR: Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science, and develops the mathematical foundations of the algebraic approach to the formal semantics of languages.
Journal ArticleDOI
A technique for software module specification with examples
TL;DR: This paper presents an approach to writing specifications for parts of software systems sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information.
Book
Topoi: The Categorial Analysis of Logic
TL;DR: In this article, the authors introduce the concept of topoi, a topos structure for algebra of subobjects, and introduce a set theory of set concepts and its logic, namely, set concepts, set theory, set notions, and set concepts.