Examples of program composition illustrating the use of universal properties

This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared variables. However, some universal properties do not appear directly in components specifications and they must be constructed to...

Full description

Saved in:
Bibliographic Details
Main Authors: Charpentier, Michel, Chandy, K. Mani
Format: Book Chapter
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Liveness Property
Local Property
Shared Variable
Software
System Property
Universal Property
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared variables. However, some universal properties do not appear directly in components specifications and they must be constructed to prove the composed system. Coming up with such universal properties often requires creativity. The paper shows through two examples how this construction can be achieved. The principle used is first presented with a toy example and then applied to a more substantial problem.
ISSN:0302-9743
1611-3349
DOI:10.1007/BFb0098004