International Conference on Software Technology and Engineering, 3rd (ICSTE 2011)
71 Specifying Distributed Systems Using a Diagramatic Notation
Download citation file:
The paper presents a diagrammatic notation for specifying distributed programs and implementing them using an asynchronous message passing language (LIPS). The notation expresses distributed specifications unambiguously in a clear and concise manner. Major advantage of using this notation is that reverse engineering of LIPS programs can be performed with ease and minimal overheads.