Deriving protocol specifications from service specifications written as predicate/transition-nets

  • Authors:
  • Hirozumi Yamaguchi;Khaled El-Fakih;Gregor V. Bochmann;Teruo Higashino

  • Affiliations:
  • Graduate School of Information Science and Technology, Osaka University, Toyonaka, Osaka, Japan;School of Engineering, American University of Sharjah, Sharjah, United Arab Emirates;School of Information Technology and Engineering, University of Ottawa, Ottawa, Canada;Graduate School of Information Science and Technology, Osaka University, Toyonaka, Osaka, Japan

  • Venue:
  • Computer Networks: The International Journal of Computer and Telecommunications Networking
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the derivation of a protocol specification from a service specification written in Predicate/Transition-nets (Pr/T-nets). The service specification describes the global behavior of a system and includes the allocation of the Pr/T-net places to N distributed sites. The paper presents a new algorithm for deriving a protocol specification that defines the behavior of N communicating entities that execute on the N sites and coordinate their actions in order to conform to the global behavior defined by the service specification. Our algorithm decomposes each transition of the service specification into a set of communicating Pr/T-subnets running on the N entities. Moreover, for efficiently controlling the conflict for shared resources, we present a timestamp-based contention control algorithm and incorporate it into the derivation algorithm. A tool has been developed that implements our algorithm and works together with other existing tools for the graphical representation of the service and derived protocol specifications. Two application examples are discussed.