T.: Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. Online Document, http://www-tani.ist.osaka-u.ac.jp/techreport-e.html (2003)
| Citations: | 2 - 1 self |
BibTeX
@MISC{Yamaguchi03t.:decomposing,
author = {Hirozumi Yamaguchi and Gregor Von Bochmann and Teruo Higashino},
title = {T.: Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. Online Document, http://www-tani.ist.osaka-u.ac.jp/techreport-e.html},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In this paper, we propose a new algorithm for the derivation of a protocol specification in Pr/T-nets, which is the specification of communicating N entities (N can be given), from a given service specification in Pr/T-nets and an allocation of the places of the service specification to the N entities. Our algorithm decomposes each transition of the service specification into a set of communicating Pr/T-subnets running on the N entities. Moreover, for the efficient control of conflict of shared resources, we present a timestamp-based mutual exclusion algorithm and incorporate it into the derivation algorithm. 1
