Sciweavers

Share
INFOCOM
1997
IEEE

Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model

9 years 2 months ago
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the telecommunication service specifications. The conventional analysis method of this nondeterminism is based on reachability analysis. Since the method must exhaustively enumerate all reachable global states, it cannot be applied to the complex communication services which include many users. In this paper, we propose an alternative method based on a Petri-net model. The method constructs a logically equivalent Petri-net for a given service specification, and obtains a set of states which cause the non-deterministic behaviors using rules in the service specification. Then, the method identifies states in the set which are not reachable from the initial state using P-invariant of the Petri-net, and deletes them from the set. As P-invariant is utilized as the necessary condition, we must finally apply reachability...
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where INFOCOM
Authors Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
Comments (0)
books