Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)

In this paper , we proposeanalgorithmto convert a given structuredLOTOS specificationinto anequivalent flattenedmodelcalled synchronous EFSMs. The synchronousEFSMs model is an execution model for communication protocols anddistributedsystemswhereeach systemconsistsof concurrentEFSMsanda finite setof multi-rendezvous indicationsamongtheir subsets.TheEFSMscanbederivedfrom a specificationin a sub-classof LOTOSandits implementationbecomessimpler thanthestraightforwardimplementationof theoriginal LOTOSspecification becausethe synchronizationamongthe processe s in themodeldoes not have anychild-parent relationships, which canmakethesynchronization mechanism muchmorecomplex. Someexperimental resultsarereportedto show theadvantageof synchronousEFSMs in termsof execution efficiency. key words: LOTOS, synchronous EFSMs, transformation, multirendezvous,implementation