Using Raddle to design distributed systems
M. Evangelist, V.Y. Shen, I.R. Forman, M. Graf · 2003
A description is given of a linguistic tool, Raddle, and its use in designing distributed systems. Raddle coordinates concurrent processes with the n-party interaction, a high-level communication primitive. Another important feature of Raddle is the team, which encapsulates communicating processes. The authors discuss their efforts to develop a complete methodology for using Raddle and briefly describe their software toolset.>