Hybrid approach to software interworking problems: Managing interactions between legacy and evolving telecommunications software

IEE Proceedings: Software

Volumn 146, Issue 3, 1999, Pages 167-175

  Calder, E ^a   Magill, E ^b   Marples, D ^c  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF STRATHCLYDE   (United Kingdom)

^c CITEL Technologies Limited   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE INTERWORKING PROBLEMS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS; LEGACY SYSTEMS; ONLINE SYSTEMS; REAL TIME SYSTEMS; TELECOMMUNICATION SERVICES;

SOFTWARE ENGINEERING;

EID: 0032595377     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19990613     Document Type: Article

References (42)

1. IN Distributed Functional Polane Architecture. Recommendation Q. 1204, ITU-T, March, 1992
2. CAMERON, E.J., and LIN, J.: 'Feature interactions in the new world', in KIMBLER, K., and BOUNA, L.G.: (Eds.): 'Feature interactions in telecommunications and software systems V (IOS Press, 1998)
3. TSANG, S., MAGILL, E.H., and KELLY, E.H.: 'The feature interaction problem in networked multimedia services - present and future", BT Technol. J., 15, (1), 1997, pp. 235-246
4. SHAW, M.: 'Procedure calls are the assembly language of software interconnection', in 'Studies in software design', Lecture Notes in Computing Science, 1993 1078, pp. 17-32
5. CAMERON, E.J., GRIFFET!!, N.D., LIN, Y.J., NILSON, M.E., SHNURE, W.K., and VELTHUIJSEN, H.: 'A feature interaction benchmark in IN and beyond', in BOUMA, W., and VELTHUIJSEN, H.: (Eds.): 'Feature interactions in telecommunication systems II' (IOS Press, 1994)
6. ALFRED, A., and GRIFFITH, N.: 'Feature interactions in the global information infrastructure', Proceedings of 3rd ACM Sigsoft Symp. on Foundations of Software Engineering, Softw. Eng. Notes, 20, (4), Oct. 1995
7. BOWEN, T.F., CHOW, C., DWORAK, F.S., GRIFFETH, N., HERMAN, G.E., and LIN, Y.: 'The feature interaction problem in telecommunications systems'. December, 1988, Bellcore internal memorandum
8. Proceedings of International Workshop on Feature Interactions in Telecommunications Systems II, 1992, St. Petersburg, USA, IEEE Communications Society
9. BOUMA, W, and VELTHUIJSEN, H.: (Eds.): 'Feature interactions in telecommunications systems II, Amsterdam (IOS Press, 1994)
10. CHENG, K.E., and OHTA, T.: (Eds.): 'Feature interactions in telecommunications systems III, Tokyo' (IOS Press, 1995)
11. DINI, P., BOUTABA, R., and LOGRIPPO, L.: (Eds.): 'Feature interactions in telecommunications systems IV, Montreal' (IOS Press, 1997)
12. KIMBLER, K., BOUMA, L.G.: (Eds.): 'Feature interactions in telecommunications and software systems V" (IOS Press, 1998)
13. AU, P., ATLEE, J.: 'Evaluation of a state-based model of feature Interaction', in DINI, P., BOLITASA, R., and LOGRIPPO, L.: (Eds.): 'Feature interactions in telecommunication systems IV, Montreal' (IOS Press, 1997)
14. AGGOUN, I., COMBES, P.: Observers in the SCE and the SEE to Detect and Resolve Service Interactions, in DINI, P., BOLITASA, R., and LOGRIPPO, L.: (Eds.): 'Feature interactions in telecommunication systems IV, Montreal' (IOS Press, 1997)
15. COMBES, L., P., PICKIN, S.: 'Formalisation of a user view of network and services for feature interaction detection', in BOUMA, W., and VELTHUIJSEN, W.: (Eds.): 'Feature interactions in telecommunication systems II' (IDS Press, 1994)
16. LIN, F.J., and LIN, Y.J.: 'A building block approach to detecting and resolving feature interactions', in BOUMA, W., and VELTHUIJSEN, H.: (Eds.): 'Feature interactions in telecommunication systems II' (IDS Press, 1994)
17. VELTHUIJSEN, H.: 'Issues of non-monotonicity in feature interaction detection", in CHENG, K.E., and OHTA, T.: (Eds.): 'Feature interactions in telecommunication systems III, Tokyo' (IDS Press, 1995), pp. 43-64
18. THOMAS, M.: 'Modelling user views of telecommunications services for feature interaction detection and resolution', in DINI, P., BOLITASA, R., LOGRIPPO, L.: (Eds.): 'Feature interactions in telecommunication systems IM , Montreal' (IOS Press, 1997)
19. CALDER, M., MILLER, A.: 'Analysing a basic call protocol using PROMELA/XSPIN', Proceedings SPIN '98: Workshop on Automata Theoretic Verification with the SPIN model checker, Paris, 1998
20. 'Addressing the interaction problem at the enterprise level', in DINI, P., BOLITASA, R., and LOGRIPPO, L.: (Eds.): 'Feature interactions in telecommunication systems IV, Montreal' (IOS Press, 1997)
21. IOS Information Processing Systems -Open Systems Interconnection - LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Organisation for Standardisation, 1988
22. HOLZMANN, G., 'Tutorial: design and validation of protocols', Comput. Net\v. ISDN Syst., 25, (9), pp. 981-1017, 1993.
23. HOLZMANN, G.: Using SPIN User manual available at http.V/netlib. bell-labs.com/netlib/spin/whatispin.html. Lucent Technologies 1995
24. STIRLING, C.: 'Modal and temporal logics', in 'Handbook of logic in computer science' (Oxford University Press), pp. 477-563 1991
25. CARAVEL, H.: CAESAR Toolkit. Available from HubertGaravel@imag.fr.
26. CHEN, Y-L., LAFORTUNE, S., LIN, F.: 'Resolving feature interactions using modular supervisory control with priorities', in DINI, P., BOLITASA, R., LOGRIPPO, L.: (Eds.): 'Feature interactions in telecommunication systems IV Montreal' (IOS Press, 1997)
27. KHOUMSI, A.: 'Detection and resolution of interactions between services of telephone networks, in DINI, P., BOLITASA, R., and LOGRIPPO, L.: (Eds.): 'Feature interactions in telecommunication systems IV, Montreal' (IOS Press, 1997)
28. CAIN, M.: 'Managing run-time interactions between call-processing features', IEEE Commun. Mag., February 1992, pp. 44-50
29. KAWARASAKI, Y., OHTA, T.: 'A new proposal for feature interaction detection and elimination', m CHENG, K.E., and OHTA, T.: (Eds.): 'Feature interactions in telecommunication systems III, Tokyo' (IOS Press, 1995), pp. 43-64
30. MAKAREVITCH, B.: 'Resolving service interactions by service components', in CHENG, K.E., and OHTA, T.: (Eds.): 'Feature interactions in telecommunication systems III, Tokyo' (IOS Press, 1995), pp. 43-64
31. PRITSCHE, N.: Runtime resolution of feature interactions in architectures with separated call and feature control, in CHENG, K.E., and OHTA, T.: (Eds.): 'Feature interactions in telecommunication systems III, Tokyo' (IDS Press, 1995), pp. 43-64
32. ZIBMAN, I., WOOLF, C., O'REILLY, P.O., STRICKLAND, L., WILLIS, D., and VISSER, J.: 'Minimizing feature interactions: an architecture and processing model approach', in CHENG, K.E., and OHTA, T.: (Eds.): 'Feature interactions in telecommunication systems III, Tokyo' (IOS Press, 1995), pp. 43-64
33. GRIFFETH, N.D., and VELTHUUSEN, T.: 'The negotiating agents approach to runtime feature interaction resolution', in BOUMA, W, and VELTHUUSEN, H., (Eds.): 'Feature interactions in telecommunication systems IP (IOS Press, 1994
34. TSANG, S., MAGILL, E.H.: 'Detecting feature interactions in the intelligent network', in BOUMA, W., and VELTHUUSEN, H., (Eds.): 'Feature interactions in telecommunication systems IP (IOS Press, 1994)
35. TSANG, S., H., and MAGILL, E.H.:'Behaviour based run-time feature interaction detection and resolution approaches for intelligent networks', in DIM, P., BOLITASA, R., and LOGRIPPO, L., (Eds.): 'Feature interactions in telecommunication systems IV Montreal' (IOS Press, 1997
36. TSANG, S., and MAGILL, E.H.: 'Learning to detect and avoid run-time feature interaction detection and resolution approaches in intelligent networks,/£££ Trans. So/fir. Eng., October 1998,24, (10), pp. 818-830
37. MARPLES, D.J., TSANG, S., MAGILL, E.H., and SMITH, D.G.: 'DESK: A flexible testbed for simulating telecommunications network services', in CHENG, K.E., and OHTA, T.: (Eds.): 'Feature interactions in telecommunication systems III, Tokyo' (IOS Press, 1995), pp. 43-64
38. MARPLES, D.J., MAGILL, E.H., and SMITH, D.G.: 'An infrastructure for feature interaction resolution in a multiple service environment - the application of transaction processing techniques to the feature interaction problem', TINA'95 Telecommunications Information Nehvork Architecture Conference, Melbourne, Australia, February 1995
39. MARPLES, D.J., and MAGILL, E.H.: "The use of rollback to prevent incorrect operation of features in intelligent network based systems', in KIMBLER, K., and BOUNA, L.G.: (Eds.): 'Feature interactions in telecommunications and software systems V (IOS Press, 1998)
40. BROOKS, R.: 'A robust layered control system for a mobile robot', MIT A.I., Memo 864, under ARPA contracts N00014-80-C-0505 and N00014-82-K-0334, September 1985
41. HALL, R.J.: 'Feature combination and interaction detection via foreground/background models', in KIMBLER, K., and BOUNA, L.G.: (Eds.): 'Feature interactions in telecommunications and software systems V (IOS Press, 1998), pp. 232-246
42. CALDER, M.: 'What use are formal analysis and design methods to telecommunications services?' in KIMBLER, K., and BOUNA, L.G.: (Eds.): 'Feature interactions in telecommunications and software systems V (IOS Press, 1998)