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 behaviors.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.
展开▼
