Supporting service development for intelligent networks

Author

Ng, Peng-teng Peter

Author_Institution

GTE Lab. Inc., Waltham, MA, USA

Volume

8

Issue

2

fYear

1990

fDate

2/1/1990 12:00:00 AM

Firstpage

189

Lastpage

195

Abstract

The author examines the development support required to assure the quality of intelligent network service specifications. He then assesses the current state of enabling technologies, which include the technologies for formal specification, software reuse, rapid prototyping, performance evaluation, behavioral property verification, and feature interaction analysis and arbitration. It is concluded that much existing work in software specification is relevant to the support of intelligent network service specification. There are, however, two major classes of technical difficulties that must be addressed: limited experience with intelligent network services and immaturity of support technologies

Keywords

formal specification; intelligent networks; software engineering; telecommunication services; telecommunications computing; arbitration; behavioral property verification; feature interaction analysis; formal specification; intelligent networks; performance evaluation; rapid prototyping; service specifications; software reuse; software specification; support technologies; Central office; Centralized control; Computer architecture; Formal specifications; Intelligent networks; Logic; Software prototyping; Software quality; Switches; Telephony;

fLanguage

English

Journal_Title

Selected Areas in Communications, IEEE Journal on

Publisher

ieee

ISSN

0733-8716

Type

jour

DOI

10.1109/49.46871

Filename

46871