LIP6 1997/012
- Reports
Formalisation de la création de services dans le réseau intelligent - M.-P. Gervais, A. Diagne
- 6 pages - 07/27/1997- document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.012.ps.gz - 750 Ko
- Contact : Marie-Pierre.Gervais (at) nulllip6.fr
- Ancien Thème : SRC
- Keywords : Intelligent Network, Telecommunication Service, Service Creation, Object-Oriented Paradigm, Petri Nets, Validation, Verification, Proving Toolset
- Publisher : Denis.Poitrenaud (at) nulllip6.fr
The service creation in Intelligent Network is a software quality problem that encompasses several activities, namely specification, design, implementation, deployment and maintenance. In order to ensure the software quality, validation and formal verification are required. Validation of a service consists of verifying the global coherence of its specification and design, while verification consists of formal proof of structural and behavioral expected properties.
We propose in this paper a multi-formalism approach, coupling the use of Object-Oriented (OO) and Petri Nets (PN) paradigms, which enables a designer to validate and to verify a service specification. We provide him a proving toolset in order to achieve these activities. This paper describes this proving toolset and its experience on an exemple.
We propose in this paper a multi-formalism approach, coupling the use of Object-Oriented (OO) and Petri Nets (PN) paradigms, which enables a designer to validate and to verify a service specification. We provide him a proving toolset in order to achieve these activities. This paper describes this proving toolset and its experience on an exemple.