Infoscience

Journal article

Service Specification and Validation for the Intelligent Network

We propose an object-oriented specification language, FUS , for expressing the functional behaviors and the desired properties of each telecommunications service at the analysis phase. Our approach is based on Fusion, an object-oriented method that consists of analysis, design, and implementation phases for software development. Accompanying FUS is a tool we developed for translating FUS specifications to Promela statements

    Reference

    • LCA-ARTICLE-1998-007

    Record created on 2004-08-31, modified on 2016-08-08

Fulltext

  • There is no available fulltext. Please contact the lab or the authors.

Related material