学術雑誌論文

学術雑誌論文

text

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences. 1994, E77-A(10), p. 1623-1633

Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model

英語

text

1994-10-25

http://search.ieice.org/

In a distributed system, the protocol entities must exchange some data values and synchronization messages in order to ensure the temporal ordering of the events described in a service specification for the distributed system. It is desirable that a correct protocol specification can be derived automatically from a given service specification. In this paper, we propose an algorithm which synthesizes automatically a correct protocol specification from a service specification described as a Marked Graph with Registers (MGR) model and resources (registers and gates) allocation information. This model has a finite control modeled as a marked graph. Therefore, parallel events can be described. In our method, to minimize the number of the exchanged messages, we use a procedure to calculate an optimum solution for 0-1 integer linear programming problems. The number of the steps which each protocol entity needs to simulate one transition in the service specification is also minimized. Ways to avoiding conflict of registers are also described. Our approach has the following advantages. First, parallel events can be described in a service specification. Secondly, many practical systems can be described in the MGR model. Finally, at the protocol specification level, we can understand what events can be executed in parallel.

Copyright © 1994 The Institute of Electronics, Information and Communication Engineers

27455

Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model

電子情報通信学会

英語

1994-10-25

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences

E77-A

10

1623

1633

https://hdl.handle.net/11094/27455

http://search.ieice.org/