DocumentCode :
817540
Title :
SEDOS: designing open distributed systems
Author :
Diaz, Michel ; Vissers, Chris
Author_Institution :
Dept. of Comput. & Inf. Sci., Delaware Univ., Newark, DE, USA
Volume :
6
Issue :
6
fYear :
1989
Firstpage :
24
Lastpage :
33
Abstract :
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.<>
Keywords :
distributed processing; open systems; programming environments; protocols; specification languages; ESPRIT; Estelle; LOTOS; SEDOS; distributed architectures; extended state-transition language; infinite FIFO links; open distributed systems; protocols; services; software environment; temporal ordering specifications; Calculus; Computer architecture; Design methodology; Electrical capacitance tomography; Open systems; Petri nets; Protocols; Software tools; Standards development; User-generated content;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/52.41647
Filename :
41647
Link To Document :
بازگشت