Title :
Requirements acquisition of communications services
Author :
Takura, Akira ; Ueda, Yoshihiro ; Haizuka, Tsuneki ; Ohta, Tadashi
Author_Institution :
ATR Commun. Syst. Res. Labs., Kyoto, Japan
Abstract :
A requirements specifications acquisition method combined with hypothesis-based reasoning and model reasoning is proposed for obtaining service specifications from the ambiguous and/or incomplete requirements specifications of communications services. Communications service specifications are described by specifying terminal behavior. Requirements specifications usually have components that are ambiguous, incomplete, or even contradictory. From such requirements, service specifications are obtained by using hypothesis-based reasoning on input requirements and existing service specifications. When existing specifications cannot be used to obtain complementary specifications, a communications service model is used to propose new rules. These two methods enable non-experts in communications systems to define their own service specifications
Keywords :
cognitive systems; formal specification; formal verification; heuristic programming; model-based reasoning; telecommunication computing; telecommunication services; communications service model; communications service specifications; hypothesis based reasoning; input requirements; model reasoning; requirements specifications acquisition method; terminal behavior; Costs; Delay; Design methodology; Formal languages; Laboratories; Phase detection; Production; Programming; Software design; Specification languages;
Conference_Titel :
Communications, 1996. ICC '96, Conference Record, Converging Technologies for Tomorrow's Applications. 1996 IEEE International Conference on
Conference_Location :
Dallas, TX
Print_ISBN :
0-7803-3250-4
DOI :
10.1109/ICC.1996.535603
