TINA service validation: The ErnesTINA project

International Conference on Communications - Proceedings

Volumn 2, Issue , 1998, Pages 1150-1154

  Logean, X ^a   Dietrich, F ^a   Hubaux, J P ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; TELECOMMUNICATION NETWORKS;

TELECOMMUNICATIONS INFORMATION NETWORKING ARCHITECTURE (TINA);

TELECOMMUNICATION SERVICES;

EID: 0031622551     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICC.1998.685190     Document Type: Conference Paper

References (16)

1. E.J. Cameron, N.D. Griffeth, Y.-J. Lin, M.E. Nilson, W.K. Schnure, and H. Velthuijsen. A feature interaction benchmark for IN and beyond. In Feature Interactions in Telecommuications Systems, pages 1-23. Bouma, L.G and Velthuijsen, H., Amsterdam, IOS press edition, May 1994.
2. J. A. G. de Queiroz and E. R. M Madeira. Management of corba object monitoring for multiware platform. In Open Distributed Processing and Distributes Platforms, pages 122-133. Chapman & Hall, 1997.
3. F. Dietrich, X. Logean, S. Koppenhoefer, and J.-P. Hubaux. A temporal logic-based approach to the design of object-oriented distributed systems. Technical report, Swiss Federal Institute of Technology, Lausanne, 1998. Available from the authors.
4. P.-A. Etique, J.-P. Gaspoz, J.-P. Hubaux, et al. Validation of an object-oriented service specification for the Intelligent Network. In TINA'95, Integrating Telecommunications and Distributed Computing-from Concepts to Reality., volume 2, pages 561-576, Melbourne, Australia, 1995.
5. Pierre-Alain Etique. Service Specification, Validation and Verification for the Intelligent Network. PhD thesis, Swiss Federal Institute of Technology Lausanne, Telecommunications Laboratory, 1995.
6. Pascal Grimont and Pierre Wolper. From Modal Logic to Deductive Database, chapter 4 Temporal Logic, pages 165-233. Wiley, 1989.
7. The New IEEE Standard Dictionary of Electrical and Electronics terms, volume 1. Chistopher J.Booth, Ed., 5 edition, 1993.
8. Claude Jard. Vérification dynamique des protocoles
9. B. Kitson, P. Leydekkers, N. Mercouroff, and F. Ru-ano. TINA Object Definition Language (TINA-ODL) Manual. TINA-C, June 1995. Version 1.3.
10. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.
11. H. McGuire. Two Methods for Checking Formulas of Temporal Logic. PhD thesis, Department of Computer Science, Stanford University, Stanford, California, 1995.
12. N Mercouroff, J. Bengtsson, P. Hellemans, and L. Lehmann. Implementation of sévices for computer supported cooperative work on TINA: the SPOT project, submitted to ISS Conference, 1997.
13. Orbix 2, Distributed Object Technology. IONA Technologies Ltd., 1996.
14. A. Schiper, J. Eggli, and A. Sandoz. A new algorithm to implement causal ordering. In Third Int 'I Workshop Distributed Algortithm, pages 219-232, Berlin, 1989.
15. Jon Siegel. CORBA, Fundamentals and Programming. John Wiley & Sons, Inc., 1996.
16. B. Stepien, K. Farooqui, and L. Logrippo. An experience modelling telecommunications systems using odp-dlcomp. In Stefani JB. Najm E., editor, Formal Methods for Object-based Distributed Systems, London, 1996. Chapman & Hall.