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, 17-19 June 1997, Montreal.
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|
|Subjects:||T Technology > TK Electrical engineering. Electronics Nuclear engineering|
|College/School:||College of Science and Engineering > School of Computing Science|
|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|