Petri net-based protocol synthesis with minimum communication costs |
| |
| Institution: | 1. Department of Computer Science, American University of Sharjah, P.O. Box 26666, Sharjah, United Arab Emirates;2. Graduate School of Engineering Science, Osaka University, 1-3 Machikaneyamacho, Toyonaka, Osaka 560-8531, Japan;3. School of Information Technology and Engineering, University of Ottawa, 800 King Edward Str., P.O. Box 450 Stn A, Ottawa, Ont., Canada K1N 6N5;1. State Key Laboratory of Catalysis, Dalian Institute of Chemical Physics, Chinese Academy of Sciences, 457 Zhongshan Road, Dalian 116023, China;2. Graduate University of Chinese Academy of Science, Beijing 100049, China |
| |
| Abstract: | Protocol synthesis is used to derive a protocol specification, that is, the specification of a set of application components running in a distributed system of networked computers, from a specification of services (called the service specification) to be provided by the distributed application to its users. Protocol synthesis reduces design costs and errors by specifying the message exchanges between the application components, as defined by the protocol specifications. In this paper, we propose a new synthesis method that generates optimized protocol specification. Both service and protocol specifications are described using extended Petri nets. Particularly, we propose an integer linear programming model that derives distributed applications with minimum communication costs. The model determines an optimal allocation of resources that minimizes communication costs. Our model can treat several reasonable cost criteria that could be used in various related application areas. Particularly, we have considered the following cost criteria: (a) the number of messages exchanged between different distributed applications, (b) the size of messages, (c) the number of messages based on frequency of execution, (d) communication channel costs, and (e) resource placement costs. An application example is given along with some experimental results. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
