Title :
Development of Veda, a prototyping tool for distributed algorithms
Author :
Jard, Claude ; Monin, Jean-François ; Groz, Roland
Author_Institution :
IRISA, CNRS, Rennes, France
fDate :
3/1/1988 12:00:00 AM
Abstract :
The development of a simulator, called Veda, is described. Veda is a software tool to help designers in protocol modeling and validation. It is oriented towards the rapid prototyping of distributed algorithms. Algorithms are described using an ISO (International Organisation for Standardization) formal description technique, called Estelle. The development of Veda and its internal structure is presented, emphasizing the use of Prolog as a software engineering tool. Typical uses of Veda are discussed
Keywords :
distributed processing; protocols; software tools; Estelle; ISO; International Organisation for Standardization; Prolog; Veda; distributed algorithms; prototyping tool; simulator; software tool; Costs; Distributed algorithms; Hardware; Protocols; Prototypes; Software algorithms; Software engineering; Software prototyping; Software tools; Virtual prototyping;
Journal_Title :
Software Engineering, IEEE Transactions on
