Protocol Re-synthesis with Optimal Allocation of Resources Based on Extended Petri Nets

Protocol synthesis is used to derive a specication of a distributed system called a protocol speci-cation (a set of programs of cooperative computers) from a specication of services (called a service speci cation) to be provided by the distributed system to its users. It reduces design costs and errors in specifying communications between computers in the protocol specication. In general, maintaining such a distributed system involves applying frequent minor modications to the service specication due to changes in the user requirements. Deriving a protocol specication after each modication using the existing synthesis methods is considered expensive and time consuming. Moreover, we can-not identify what changes we should make to the protocol specication for the modication to the service specication. In order to reduce the maintenance cost of such a system, we present a new synthesis method to re-synthesize only the corresponding part of the current protocol specication after modications to the service specication. The method consists of a set of simple rules that are applied to the protocol specication written in an extended Petri net model. An application example is given along with some experimental results