Modelling and analysing user views of telecommunications services

Thomas, M. (1997) Modelling and analysing user views of telecommunications services. In: Proceedings of the 1997 IEEE Fourth International Workshop on Feature Interactions in Networks and Distributed Systems, Montreal, 17-19 June 1997, pp. 168-183. ISBN 9051993471




User views of calls are modelled by behaviour trees, which are synchronised to form a network of users. High level presentations of the models are given using process algebra and an explicit theory of features, including precedences. These precedences abstractly encapsulate the possible state spaces which result from different combinations of features. The high level presentation supports incremental development of features and testing and experimentation through animation. Interactions which are not detected during the experimentation phase may be found through static analysis of the high level presentation, through dynamic analysis of the under-lying low level transition system, and through verification of temporal properties through model-checking. In each case, interactions are resolved through manipulation of the feature precedences.

Item Type:Conference Proceedings
Keywords:formal specification and modelling; analysis and reasoning techniques; feature interaction, detection and resolution.
Glasgow Author(s) Enlighten ID:UNSPECIFIED
Authors: Thomas, M.
Subjects:T Technology > TK Electrical engineering. Electronics Nuclear engineering
College/School:College of Science and Engineering > School of Computing Science
Publisher:IOS Press
Copyright Holders:Copyright © 1997 IOS Press
First Published:First published in Feature Interactions in Telecommunications Networks IV:168-183
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record