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
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.