Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

Modelling dynamic distributed systems in LOTOS

Sinnott, R.O. (1999) Modelling dynamic distributed systems in LOTOS. In: Spies, K. (ed.) Formale Beschreibungstechniken für Verteilte Systeme: 9. GI-ITG-Fachgespräch, München, Juni 1999. Herbert Utz Verlag, Munich, Germany, pp. 203-212. ISBN 9783896759184

Full text not currently available from Enlighten.

Abstract

One of the main features of distributed systems that distinguish them from other systems is their ability to evolve in a structured manner. As new resources become available, it should be possible for existing system resources to find out about them and interwork with them dynamically. Further, it should be possible to replace existing system resources without adversely influencing the overall system behaviour. In this paper we show how the formal specification language LOTOS can be used to model such dynamic systems. In particular, we show how it is possible to model such systems in a manner that is both checkable and without the need for extensions to the language.

Item Type:Book Section
Status:Published
Refereed:Yes
Glasgow Author(s):Sinnott, Prof Richard
Authors: Sinnott, R.O.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:University Services > IT Services > Computing Service
Journal Name:Proceedings of Formale Beschreibungstechniken für Verteilte Systeme
Publisher:Herbert Utz Verlag

University Staff: Request a correction | Enlighten Editors: Update this record