Abstract
This paper reports on ongoing work on a formal approach to the detection of feature interactions between IN-type features. These features have been implemented on top of an IN architecture which is close to the “real” world. The approach contains several threads: a description of an ideal interaction tool, a specific SDL model for the architecture, a proposal for a formal language to describe properties of features, and observations, on how to put this property language to use.
The work in this paper is partially being carried out in the RACE project SCORE, ref. 2017. It reflects the view of the authors.
Preview
Unable to display preview. Download preview PDF.
References
L.G. Bouma, J.H. Zuidweg. Formal analysis of feature interactions by model checking. In: Proceedings of the Second Workshop on Protocol Verification, Eindhoven, The Netherlands, 1993.
V. Gay, P. Leydekkers, R. Huis in 't Veld. Specification of Audio/Video Exchange Based on the Reference Model of ODP. In: Proceedings Broadband Islands '94, June 1994.
J. Bloem, Glenn Flinchbaugh, H. Oshigiri. Connection Management Architecture. TINA Document, December 1993.
P. Tilanus and H. Wilts. Test Design based on SDL simulation. In: SDL'91 Evolving Methods, (O. Færgemand, R. Reed editors), North Holland, 1991.
CCITT, New Recommendations Q1200 — Q series: Intelligent Network Recommendation. Technical report, CCITT, COM XI-R 210-E, 1992.
N. Griffith, H. Velthuijsen. The Negotiating Agents Approach to Runtime Feature Interaction Resolution. In: L.G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunictions Systems. IOS Press, 1994.
E.J. Cameron, N. Griffith, Y.-J. Lin, M.E. Nilson, W.K. Schnure, and H. Velthuijsen. A feature interaction benchmark for IN and beyond. In L.G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunictions Systems. IOS Press, 1994.
R. de Nicola and F. Vaandrager. Action versus state based logics for transition systems. In I. Guessarian, editor, Semantics of Concurrency, pages 407–419. Springer Verlag, LNCS 469, 1990.
C.A. Middelburg. A simple language for expressing properties of telecommunication services and features. Technical Report 94-PU-356, PTT Research, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouma, W., Levelt, W., Melisse, A., Middelburg, K., Verhaard, L. (1994). Formalisation of properties for feature interaction detection: Experience in a real-life situation. In: Kugler, HJ., Mullery, A., Niebert, N. (eds) Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94. IS&N 1994. Lecture Notes in Computer Science, vol 851. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013431
Download citation
DOI: https://doi.org/10.1007/BFb0013431
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58420-9
Online ISBN: 978-3-540-48784-5
eBook Packages: Springer Book Archive