Loading...
research 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
Type
research article
Authors
Publication date
1998
Published in
Volume
1
Issue
1
Start page
41
End page
69
Peer reviewed
REVIEWED
Available on Infoscience
August 31, 2004
Use this identifier to reference this record