Paper Info
Title
Modeling and analysis of value added services using message sequence charts
Abstract
A value added service is an extension to the basic call/session establishment functionality of a network. Different teams develop services independently or in order to handle complexity, a service is often specified individually without any consideration to existing ones. These different services may behave correctly when they run separately, but may interact in a negative manner when they are integrated. This is known as service interaction. In this paper, we tackle the problem of service interaction detection in a formal setup. We use message sequence charts (MSC) to specify the behaviors of services as well as their properties. In our specification style, high-level MSC (HMSC) is used to describe the behavior of services from the user point of view, while basic MSCs (bMSCs) are used to describe these behaviors at an abstract network level. We describe service properties from a local point of view. The behavior of a service is first validated against its properties. For the detection of potential interactions between two services, instead of merging their behaviors and then check for the interactions, we first determine interaction-prone scenarios using known filtering techniques, then we verify whether the properties of one service are satisfied by the behavior of the other service without combining their behaviors. In the case of non-satisfaction, we conclude that an interaction has been detected.
Year
DOI
Venue
2008
10.1016/j.jnca.2006.08.001
J. Network and Computer Applications
Keywords
DocType
Volume
basic MSCs,service property,different team,basic call,high-level MSC,potential interaction,abstract network level,service interaction,different service,message sequence chart,service interaction detection
Journal
31
Issue
ISSN
Citations 
3
Journal of Network and Computer Applications
0
PageRank 
References 
Authors
0.34
8
2
Name
Order
Citations
PageRank
Ferhat Khendek146764.17
Tong Zheng2253.07