IEEE Software · 1989 · 26 citations · 1 references
ComputingComputer ScienceComputer SystemsDistributed SystemsFormal MethodsSystems ArchitectureDistributed ComputingDistributed SynchronizationDistributed Systems DesignFinite State Machine ModelingPetri NetsState ManagementCommunication Protocol ModelingCommunication ProtocolsEvent OrderingState Machine DesignState MachinesState-transition ModelsStatechart ModelingStatecharts
The aim of the ESPRIT SEDOS (software environment for the design of open systems) project is to further develop Estelle, the extended state-transition language, and LOTOS, the language for temporal ordering specifications, to describe services and protocols for distributed architectures and to demonstrate their effectiveness as concretely as possible by deriving simulators and other support tools. The Estelle language is based on extended state machines that communicate through infinite FIFO links. The LOTOS language is based on a temporal ordering of events and rendezvous.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
1
The formal description technique Estelle
Robert Milne · Science of Computer Programming · 1990 · 56 citations