Distributed implementation of the disabling operator in LOTOS

LOTOS is a process algebra-based formal description technique (FDT). It has been standardized by the International Standards Organization (ISO) for th e specification of communication and distributed software systems. The disa bling operator of LOTOS is a unique feature not found in other FDTs. Though Lotos is a powerful specification language, it is not used in the industri es. This is because it is very difficult to implement its various operators , In this paper, we propose a scheme for distributed implementation of the disabling operator. Our main contribution lies in transforming the operatio nal semantics of the disabling operator to a distributed implementation. Th e distributed implementation is specified as a hierarchy of communicating f inite-state machines which are easy to implement. (C) 1999 Elsevier Science B.V. All rights reserved.