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; validation of service specifications and detection of feature interactions are thus possible by applying Spin tools to these Promela statements. To ensure a correct implementation of services with respect to their specifications, we exercise a novel concept of adding a service modeler and observer (SMO) to the target system where the execution of these services takes place. Combined with a test scenario generator, SMO is quite effective in identifying implementation errors on the fly. This paper presents the FUS++ language, the specification of telecommunications services based on FUS++, the concept of SMO, and the realization of SMO in a CS-1 (Capability Set No 1) intelligent network. Index terms : telecommunication software engineering, validation, software lifecycle, property verification, intelligent network.

[1]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[2]  Claude Jard,et al.  Development of Véda, a Prototyping Tool for Distributed Algorithms , 1988, IEEE Trans. Software Eng..

[3]  Yow-Jian Lin,et al.  A Building Block Approach to Detecting and Resolving Feature Interactions , 1994 .

[4]  Yow-Jian Lin,et al.  A building block approach to detecting and resolving interactions , 1994, FIW.

[5]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[6]  Eddy Fromentin.  Detection de proprietes instables dans les executions reparties, application a la mise au point des programmes repartis , 1996 .

[7]  李幼升,et al.  Ph , 1989 .

[8]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[9]  G. Herman,et al.  The feature interaction problem in telecommunications systems , 1989 .

[10]  Mohammed Faci.  Detecting feature interactions in telecommunications systems designs , 1996 .

[11]  Roland N. Bol,et al.  Automatic Detection of Feature Interactions in Temporal Logic , 1995, FIW.

[12]  Refik Ahmet Molva.  Conception et realisation d'un observateur d'architectures multicouches dans les reseaux d'ordinateurs , 1986 .

[13]  Jean-Pierre Hubaux,et al.  TINA service validation: the ErnesTINA project , 1998, ICC '98. 1998 IEEE International Conference on Communications. Conference Record. Affiliated with SUPERCOMM'98 (Cat. No.98CH36220).

[14]  Jean-Pierre Hubaux,et al.  Testing Temporal Logic Properties in Distributed Systems , 1998, IWTCS.

[15]  Ruth Malan,et al.  Object-oriented development at work: fusion in the real world , 1995 .

[16]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[17]  Subodh Bapat.  Object-oriented networks - models for architecture, operations, and management , 1994 .

[18]  Simon Pickin,et al.  Formalisation of a user view of network and services for feature interaction detection , 1994, FIW.

[19]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[20]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[21]  Pierre-Alain Etique.  Service specification verification and validation for the intelligent network , 1995 .

[22]  Edward Yourdon,et al.  Object-oriented analysis (2nd ed.) , 1991 .

[23]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[24]  Xavier Logean.  Improving Confidence in Service Implementation in an Intelligent Network , 1996 .

[25]  Boris Makarevitch.  Resolving Service Interactions by Service Components , 1995, FIW.

[26]  Yow-Jian Lin,et al.  A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[27]  Roland Groz.  Verification de proprietes logiques des protocoles et systemes repartis par observation de simulations , 1988 .

[28]  C. H. West,et al.  Protocol Validation - Principles and Applications , 1992, Comput. Networks ISDN Syst..