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


    • LCA-ARTICLE-1998-007

    Record created on 2004-08-31, modified on 2017-05-12


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

Related material