Toggle Main Menu Toggle Search

Open Access padlockePrints

A Model for Dynamically Structured Communicating Systems

Lookup NU author(s): Professor Maciej Koutny

Downloads

Full text is not currently available for this publication.


Abstract

We here develop a model of structure and communication within systems of concurrently executing components connected by asynchronous communication links, and formulate a definition of observational equivalence between systems. The most important aspect of the model is that it accommodates the dynamic system connectivity required to model open and continuously operating systems, by allowing creation of new communication links and allowing an end-point of a communication link to be communicated as part of a message, with the recipient thus dynamically acquiring the ability to communicate on that link. For this model we formulate a novel definition of observational equivalence in terms of equivalent operational behaviours of possible observing systems. This formulation avoids certain difficulties that arise in attempting to apply the usual approach to dynamic systems, and also very directly captures the intuitive meaning of "observational equivalence".


Publication metadata

Author(s): Hopkins RP, Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1987

Pages: 44

Report Number: 239

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/239.pdf


Share