Issue No. 03 - March (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4654
<p>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.</p>
Veda; prototyping tool; distributed algorithms; simulator; software tool; ISO; International Organisation for Standardization; Estelle; Prolog; distributed processing; protocols; software tools
J. Monin, R. Groz and C. Jard, "Development of Veda, a Prototyping Tool for Distributed Algorithms," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 339-352, 1988.