This Article 
 Bibliographic References 
 Add to: 
The Imposition of Protocols Over Open Distributed Systems
February 1991 (vol. 17 no. 2)
pp. 183-195

In order to facilitate enforcement of protocols, an architecture for distributed systems is introduced under which all interactions between objects are governed by an explicit and strictly enforced set of rules, called the law of the system. This law is global in the sense that all the objects of the system are made to obey it, but the maintenance of the law and its enforcement are performed locally, at each object (or node). The term law is used to emphasized that it not only provides the specification of protocols, but actually governs the system by enforcing them. In other words, under this architecture a protocol can be established simply by writing it into the law of a system, without having to worry about the programs that drive the various objects that might populate that system. The law, then, is the enforced specification of protocols. It is shown that various familiar protocols can be established under this architecture. A technique for online distributed updating of the global law of a system is presented.

[1] W. F. Clocksin and C. S. Mellish,Programming in Prolog. New York: Springer-Verlag, 1984.
[2] P. J. Denning and G. S. Graham, "Protection--Principles and practice," inAFIPS 1972 Spring Joint Computer Conf., 1972, pp. 417-429.
[3] D. Herman, "Distributed control of synchronization," inDistributed Computing Systems, Y. Parker and J. P. Vergus, Eds. New York: Academic, 1983.
[4] L. Lamport, "Time, clocks, and the ordering of events in a distributed system,"Commun. ACM, vol. 21, no. 7, pp. 558-565, July 1978.
[5] N. H. Minsky, "Selective and locally controlled transport of privileges,"ACM Trans. Program. Lang. Syst., vol. 6, no. 4, pp. 573-602, Oct. 1984.
[6] N. H. Minsky and A. Lockman, "Ensuring integrity by adding obligations to privileges," inProc. 8th Int. Conf. Software Engineering, Aug. 1985, pp. 92-102.
[7] N. H. Minsky, "Law-governed systems," Dep. Comput. Sci., Rutgers Univ., Tech. Rep. LCSR-TR-101, 1987; see alsoIEE Software Eng. J., 1991, to be published.
[8] N. H. Minsky and D. Rozenshtein, "Law-based approach to object-oriented programming," inProc. OOPSLA '87 Conf., Oct. 1987, pp. 482-493.
[9] N. Minsky and D. Rozenshtein, "Software development environment for law-governed systems," inACM SIGSOFT '88: Third Symp. Software Development Environments, Boston, MA, Nov. 1988, pp. 65-75; see alsoSIGSOFT Software Eng. Notes, vol. 13, no. 5, Nov. 1988; see alsoSIGPLAN Notices, vol. 24, no. 2, Feb. 1989.
[10] D. Rozenshtein and N.H. Minsky, "Law-governed object-oriented system,"J. Object-Oriented Program., vol. 1, no. 6, pp. 14-29, Mar./Apr. 1989.
[11] N. H. Minsky and D. Rozenshtein, "Controllable delegation: An exercise in law-governed systems," inProc. OOPSLA'89 Conf., Oct. 1989, pp. 371-380.
[12] N. H. Minsky, "Law-governed systems (the case of fixed law)," inProc. CompEuro 90 Int. Conf., May 1990.
[13] N. H. Minsky and D. Rozenshtein, "Configuration management by consensus: An application of law-governed systems," inProc. ACM Symp. Software Development Environments, Nov. 1990, to be published.
[14] H. L. Ossher, "Grids: A new program structuring mechanism based on layered graphs," inProc. ACM Symp. Principles of Programming Languages, Jan. 1984, pp. 11-22.
[15] M. Raynal,Distributed Algorithms and Protocols. New York: Wiley, 1988.
[16] A. Tanenbaum,Computer Networks. Englewood Cliffs, NJ: Prentice-Hall, 1988.
[17] A. Tripathi and M. Aksit, "Communication, scheduling and resource managment in Sina,"J. Object-Oriented Program., vol. 1, no. 4, pp. 24-37, Dec. 1988.
[18] J. D. Ullman,Database and Knowledge-base Systems. Rockville, MD: Computer Science Press, 1988.
[19] J. Van Den Bos and C. Laffra, "PROCOL--A parallel object language with protocols," inProc. OOPSLA '89 Conf., Oct. 1989, pp. 95-012.

Index Terms:
protocols; open distributed systems; enforced specification; online distributed updating; global law; distributed processing; protocols
N.H. Minsky, "The Imposition of Protocols Over Open Distributed Systems," IEEE Transactions on Software Engineering, vol. 17, no. 2, pp. 183-195, Feb. 1991, doi:10.1109/32.67599
Usage of this product signifies your acceptance of the Terms of Use.