Issue No. 08 - August (1987 vol. 13)
S. Ramesh , Department of Computer Science and Engineering, Indian Institute of Technology
A methodology, different from the existing ones, for constructing distributed programs is presented. It is based on the well-known idea of developing distributed programs via synchronous and centralized programs. The distinguishing features of the methodology are: 1) specification include process structure information and distributed programs are developed taking this information into account, 2) a new class of programs, called PPSA's, is used in the development process, and 3) a transformational approach is suggested to solve the problems inherent in the method of developing distributed programs through synchronous and centralized programs. The methodology is illustrated with an example.
program transformation, Communicating processes, decentralization, distributed programming, programming methodology
S. Ramesh, S.L. Mehndiratta, "A Methodology for Developing Distributed Programs", IEEE Transactions on Software Engineering, vol. 13, no. , pp. 967-976, August 1987, doi:10.1109/TSE.1987.233514