论文信息 - A Method and a Genetic Algorithm for Deriving Protocols for Distributed Applications with Minimum Communication Cost

A Method and a Genetic Algorithm for Deriving Protocols for Distributed Applications with Minimum Communication Cost

We consider a set of rules for deriving the specification of the protocol of a distributed system from a given specification of services, and define and formulate the message exchange optimization problem using a 0-1 integer programming model. This problem is about determining the minimum number of messages to be exchanged between the physical locations of the distributed system, in order to reduce the communication cost. We then present a genetic algorithm for solving this problem. The main advantage of this algorithm, in comparison with exact algorithms, is that its complexity remains manageable for realistic large specifications. The experimental results show that the minimum number of messages to be exchanged is found in a very reasonable time. keywords protocol synthesis, service specification, protocol specification, communication cost, 0-1 integer linear programming, genetic algorithm

[1] Teruo Higashino,et al. Deriving protocol specifications from service specifications written in LOTOS , 1996, Distributed Computing.

[2] Hirozumi Yamaguchi,et al. Synthesis of protocol entities specifications from service specifications in a Petri net model with registers , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

[3] James E. Baker,et al. Adaptive Selection Methods for Genetic Algorithms , 1985, International Conference on Genetic Algorithms.

[4] Teruo Higashino,et al. Deriving protocol specifications from service specifications in extended FSM models , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[5] John J. Grefenstette,et al. Optimization of Control Parameters for Genetic Algorithms , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[6] D. E. Goldberg,et al. Genetic Algorithms in Search , 1989 .

[7] Kassem Saleh,et al. Synthesis of communications protocols: an annotated bibliography , 1996, CCRV.

[8] Gunar E. Liepins,et al. Some Guidelines for Genetic Algorithms with Penalty Functions , 1989, ICGA.

[9] David E. Goldberg,et al. Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[10] Nashat Mansour,et al. A Distributed Genetic Algorithm for Employee Staffing and Scheduling Problems , 1993, ICGA.