By Topic

Design of telecommunication services based on software agent technology and formal methods

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
M. -P. Gervais ; Univ. Rene Descartes, Paris, France ; N. Ruffel

We propose an approach based on software agent technology and formal methods for designing telecommunication services. This approach aims to identify agent and interaction-oriented design patterns and to describe them with a formalism enabling one to prove their quality. These patterns are based on a classification of agents interactions using the interaction model of the Reference Model of Open Distributed Processing (RM-ODP). The formalism offers a methodology for validation and verification based on Petri nets. With such an approach, it is possible to specify some components with proven properties that guarantee their quality. We illustrate it with an example: a multi-agent system of a contract monitoring

Published in:

Global Telecommunications Conference, 1997. GLOBECOM '97., IEEE  (Volume:3 )

Date of Conference:

3-8 Nov 1997