An open animation tool: Application to telecommunication systems

Computer Networks

Volumn 40, Issue 5, 2002, Pages 599-620

  Combes, Pierre ^a   Dubois, Fabrice ^a   Renard, Béatrice ^a  

^a ORANGE LABS   (France)

Author keywords

Animation; MSC; Protocols; Prototyping; SDL; Service validation; System design; UML

Indexed keywords

COMPUTER NETWORKS; FORMAL LANGUAGES; MULTIMEDIA SYSTEMS; NETWORK PROTOCOLS; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS; TELECOMMUNICATION SYSTEMS; USER INTERFACES;

APPLICATION PROGRAMMING INTERFACES (API);

ANIMATION;

EID: 0037027888     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(02)00354-7     Document Type: Article

References (24)

1. M. Alabau, P. Combes, B. Renard, IN service prototyping using SDL models and animation, SDL Forum, Montreal, 1999.
2. B. Algayres, Y. Lejeune, F. Hogonnet, GOAL: Observing SDL behaviours with GEODE, 7th SDL forum, Oslo, September 1995.
3. Booch G., Rumbaugh J., Jacobson I. The Unified Modelling Language, Reference Guide. 1999;Addison-Wesley, Reading, MA.
4. I. Aggoun, P. Combes, Observers in the SCE and the SEE to detect and resolve service interactions, 4th FIW, Montreal, 1997.
5. C. Capellmann, P. Combes, J. Petterson, B. Renard, J.L. Ruiz, Consistent interaction detection - a comprehensive approach integrated with service creation, 4th FIW, Montreal, 1997.
6. P. Combes, S. Pickin, Formalisation of a user view of network and services for feature interaction detection, 2th FIW, 1994.
7. Combes P., Renard B. Service validation. Computer Network and ISDN Systems. 31:1999;1817-1834.
8. P. Combes, L. Castaignet, F. Dubois, B. Nicolas, B. Renard, Feature-driven service analysis and design in an open architecture, ICIN 2001, Bordeaux.
9. P. Combes, F. Dubois, B. Nicolas, Une démarche associant UML et SDL pour l'analyse, la conception et la validation de services de télécommunication, MSR 2001, Toulouse.
10. ObjectGeode, GEODE Editor and Simulator V4.2 - Reference Manual, Telelogic, 2001.
11. ITU-T, Specification and description language, recommendation Z.100, November 1999.
12. ITU-T, Message sequence chart, November 1999.
13. Java Command Language. Available from http://tcl.activestate.com/software/java/.
14. K. Kimbler, C.H. Hagenfelt, N. Widell, J. Ellsberger, G. Berman, SDL framework for prototyping and validation of IN services, SDL Forum, Montreal, 1999.
15. Logrippo L.et al. Feature interaction detection: a LOTOS-based approach. Computer Network and ISDN Systems. (32):2000;433-448.
16. OMG, Unified Modelling Language (V 1.3), formal/2000-03-01, 2000.
17. Parlay API specification. Available from http://www.parlay.org.
18. The Tcl scripting language. Available from http://tcl.activestate.com/.
19. K.J. Turner, A. McClenaghan, C. Chan, Specification and animation of reactive systems, in: V. Atalay (Ed.), Proceedings of the International Symposium on Computer and Information Systems XI, Antalya, Turkey, November 1996.
20. Turner K.J. Realising Architectural Feature Descriptions using LOTOS. Parallel Computers, Networks and Distributed Systems. 2000;Editions Hermès, Paris.
21. L. Verhaard, K. Kimbler, D. Sobirk, C. Hagenfeldt, T. Tallinger, M. Stolt, Simulated IN CS-2 infrastructure for service animation and validation, in: Proceedings of IN2000 Workshop, Cape Town, South Africa, May 2000.
22. Virtual Home Environment. 3GPP TS 23.127. Available from http://www.3gpp.org.
23. Wireless Application Protocol, WAP_white_paper. Available from http://www.wapforum.org.
24. Zuanon N. Modular Feature Integration and Validation in a Synchronous Context. Language Constructs for Describing Features. 2001;Springer, Berlin.