Modelling dynamic distributed systems in LOTOS

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