Supporting service development for intelligent networks

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.<
>