DocumentCode :
1398811
Title :
Enhancing telecommunications service engineering with mobile agent technology and formal methods
Author :
Gervais, Marie-Pierre ; Diagne, Alioune
Author_Institution :
Univ. Rene Descartes, Paris, France
Volume :
36
Issue :
7
fYear :
1998
fDate :
7/1/1998 12:00:00 AM
Firstpage :
38
Lastpage :
43
Abstract :
In order to be competitive, telecommunications service providers need new technologies that facilitate the rapid introduction of validated services in a cost-effective manner. Service engineering is a new discipline in which the telecommunications sector addresses the technologies and engineering processes required for service creation. Concurrent with these studies the development of applications in the Internet shows a new way to design telecommunications services based on the mobile agent paradigm. This brings new concepts that fit the requirements of service engineering. Therefore merging the approaches enables improvement of the service creation process. We illustrate this by presenting a framework for the formal design of telecommunications services using mobile agent technology complemented with formal methods. The contribution of this work is twofold. First, it relies on the Reference Model of Open Distributed Processing (RM-ODP) and shows how to adapt its concepts to agent orientation. Second, it provides agent-based service designers with validation and verification tools to state the quality of their specifications
Keywords :
Internet; distributed processing; formal specification; formal verification; open systems; software agents; software standards; telecommunication computing; telecommunication services; telecommunication standards; ISO; Internet; RM-ODP standards; Reference Model of Open Distributed Processing; agent orientation; formal design; formal methods; mobile agent technology; service creation; telecommunications service engineering; telecommunications service providers; telecommunications services design; validation tools; verification tools; Costs; Design engineering; Maintenance engineering; Merging; Mobile agents; Telecommunication computing; Telecommunication services; Telecommunication standards; Testing; Web and internet services;
fLanguage :
English
Journal_Title :
Communications Magazine, IEEE
Publisher :
ieee
ISSN :
0163-6804
Type :
jour
DOI :
10.1109/35.689629
Filename :
689629
Link To Document :
بازگشت