Service Creation Using Agent Technology and Formal Methods

Marie-Pierre Gervais 1 Alioune Diagne
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Service creation, or service engineering, is widely studied in the telecommunication community (e.g., ITU-T, ETSI, TINA-C, RACE, ACTS or EURESCOM). All these studies adopt a common approach that is the definition of an architecture and of a methodological framework with its support. Thus the IN and TINA architectures have been defined. The methodological aspect is described by the service creation environment (SCE) concept. This enables one to unify the process of the service creation by defining a role model, a service life cycle model and a set of methods and tools that support the activities of all the roles. Concurrently with these studies, the development of applications in the Internet shows a new way to design telecommunication services based on the agent paradigm. An agent is a computational entity which acts on behalf of other entities in an autonomous way, performs its actions with some level of proactivity and/or reactiveness and exhibits some level in the key attributes of learning, cooperation and mobility. It presents adaptation and interaction capabilities that provide the flexibility required by the service creation process. In addition to agent technology, we use formal methods in order to ensure the quality, i.e. robustness and reliability of the service. This approach is based on a software engineering process and is in conformance with the reference model of open distributed processing (RM-ODP) standards.
Document type :
Conference papers
Liste complète des métadonnées
Contributor : Lip6 Publications <>
Submitted on : Monday, October 23, 2017 - 3:39:12 PM
Last modification on : Thursday, March 21, 2019 - 2:34:12 PM



Marie-Pierre Gervais, Alioune Diagne. Service Creation Using Agent Technology and Formal Methods. 7th IEEE International Workshop on Intelligent Networks, May 1998, Bordeaux, France. pp.129-140, ⟨10.1109/INW.1998.713265⟩. ⟨hal-01621506⟩



Record views