| Popis: |
The authors propose a visual design support system for telecommunication services that uses the state transition rule (STR) as specification knowledge and a description language. The system has excellent design support facilities, which are discussed. A designer, who has no knowledge of the professional aspects of network specifications, can describe various services from the user's viewpoint using the STR-GR (graphical representation) description method. Merely by synthesizing some service descriptions, the system can automatically validate the service interactions by means of rule conflict detection. A designer can verify a service specification by simulating a designed service description and displaying its execution processes in an animated form. The experimental evaluation of the design support system is presented. > |
