Enhancing telecommunications service engineering with mobile agent technology and formal methods
- 1 July 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Communications Magazine
- Vol. 36 (7) , 38-43
- https://doi.org/10.1109/35.689629
Abstract
International audienceIn 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 specificationsKeywords
This publication has 4 references indexed in Scilit:
- AgentSys: a mobile agent system for digital media access and interaction on an InternetPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A hands-on look at Java mobile agentsIEEE Internet Computing, 1997
- AGENT TCL: targeting the needs of mobile computersIEEE Internet Computing, 1997
- Service architectures and service creation for integrated broadband communicationsComputer Communications, 1995