A METHOD OF AUTOMATIC STATE ACQUISITION FOR CONFLICT DETECTION OF TELECOMMUNICATION SERVICE DESCRIPTIONS

The detection and elimination of telecommunication service interaction s are still urgent problems. Conflict, which is discussed in this pape r, is one of the problems that comes under heading of telecommunicatio n service interactions. The main problem in detecting conflict is due to the difficulty of grasping and predicting states when services are combined. This paper describes a method of automatically acquiring the se states. Telecommunication service behaviors are assumed to be descr ibed as a set of rules. When acquiring the states by applying rules, i t is necessary to know whether an arbitrary terminal stare is synchron ized with the other terminal states. Although determining synchronizat ion among multiple terminal stares is ordinarily difficult for the des igner, by using the proposed method, states can be automatically gener ated without the designer's intervention.