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.
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|
|Glasgow Author(s):||Sinnott, Prof Richard|
|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|