This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
SEDOS: Designing Open Distributed Systems
November/December 1989 (vol. 6 no. 6)
pp. 24-33

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.

Index Terms:
SEDOS; open distributed systems; ESPRIT; software environment; Estelle; extended state-transition language; LOTOS; temporal ordering specifications; services; protocols; distributed architectures; infinite FIFO links; distributed processing; open systems; programming environments; protocols; specification languages
Citation:
Michel Diaz, Chris Vissers, "SEDOS: Designing Open Distributed Systems," IEEE Software, vol. 6, no. 6, pp. 24-33, Nov.-Dec. 1989, doi:10.1109/52.41647
Usage of this product signifies your acceptance of the Terms of Use.