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


Published in:
Interoperable Communication Networks (ICON), ed. Dr. Sathya Rao, Balzer Science Publishers (ISSN 13859501), 1, 1, 41-69
Year:
1998
Laboratories:




 Record created 2004-08-31, last modified 2018-01-27


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)