Analyzing service specifications based upon the logic programming paradigm

The process of service creation in telephony consists of four intermediate stages: specification, design, implementation and testing. Even though the testing stage is usually the most time-consuming part of the service creation process, in most cases this is due to incomplete and/or incorrect behavioral specifications. Hence, any successful effort in improving the quality of requirements generated at the specification stage could have significant impact in reducing the duration of successive stages, therefore expediting the process of developing new services. A logic programming paradigm for representing various characteristics of specifications and a unifying analysis framework for forward reachability analysis, backward reachability analysis, and temporal reasoning are presented