Analyzing service specifications based upon the logic programming paradigm

Author

Lin, Yow-Jian

Author_Institution

Bell Commun. Res., Morristown, NJ, USA

fYear

1990

fDate

2-5 Dec 1990

Firstpage

651

Abstract

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

Keywords

logic programming; telecommunication services; telecommunications computing; telephony; backward reachability analysis; design; forward reachability analysis; implementation; logic programming paradigm; service creation; service specifications; telephony; temporal reasoning; testing; Costs; Debugging; Logic programming; Logic testing; Reachability analysis; Signal design; Signal processing; System recovery; Telephony; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Global Telecommunications Conference, 1990, and Exhibition. 'Communications: Connecting the Future', GLOBECOM '90., IEEE

Conference_Location

San Diego, CA

Print_ISBN

0-87942-632-2

Type

conf

DOI

10.1109/GLOCOM.1990.116589

Filename

116589