On applying formal techniques to the development of hybrid services: challenges and directions

IEEE Communications Magazine

Volumn 37, Issue 7, 1999, Pages 132-138

  Logean, Xavier ^a   Dietrich, Falk ^a   Hubaux, Jean Pierre ^a   Grisouard, Sylvain ^a   Etique, Pierre Alain ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL APPLICATIONS; NETWORK PROTOCOLS; SPECIFICATIONS; TELECOMMUNICATION NETWORKS; TELEPHONE SYSTEMS;

FORMAL TECHNIQUES; HYBRID SERVICES;

TELECOMMUNICATION SERVICES;

EID: 0032639267     PISSN: 01636804     EISSN: None     Source Type: Journal    
DOI: 10.1109/35.774892     Document Type: Article

References (15)

1. C. Gbaguidi et al., "A programmable architecture for the provision of hybrid services," IEEE Commun. Mag., this issue.
2. R. Glass, "Formal methods are a surrogate for a more serious software concern," IEEE Comp., Apr. 1996, pp. 19-20.
3. E. Clarke and J. Wing, "Formal methods: State of the art and future directions," ACM Comp. Surveys, vol. 28, no. 4, Dec. 1996, pp. 626-43.
4. G. Holzmann, "The theory and practice of a formal method: NewCoRe," Proc. IFIP World Comp. Cong., Hamburg, Germany, Aug. 1994, vol. 1, Amsterdam: North Holland, pp. 35-44.
5. L. Jagadeesan, C. Puchol, and J. Olnhausen, "A formal approach to reactive systems software: A telecommunications application in ESTEREL," J. Formal Methods in Sys. Design, 1995.
6. C. Middelburg, "A simple language for expressing properties of telecommunication services and features," Tech. rep. 94 356, PTT Research, Apr. 1994.
7. B. Steffen et al., "A constraint oriented service creation environment," PACT '96, 2nd Int'l. Conf. Practical App. of Constraint Tech., London, U.K., 1996.
8. S. Aujla, T. Bryant, and L. Semmens, "Applying formal methods within structured development," JSAC, vol. 12, no. 2, Feb. 1994, pp. 258-64.
9. P. Bosco et al., "ACE: An environment for specifying, developing and generating TINA services," Proc. 5th Int'l. Symp. Integrated Network Mgmt., San Diego, CA, May 1997.
10. J. M. Jezequel, A. Le Guennec, and F. Pennaneac'h, "Validating distributed software modeled with UML," Proc. UML '98 Int'l. Wksp., San Diego, CA, May 1997.
11. P. A. Etique, J. P. Hubaux, and X. Logean, "Service specification and validation for the intelligent network," Interoperable Commun. Network, Balzer, vol. 1, no. 1, Jan. 1998, pp. 41-69.
12. X. Logean, F. Dietrich, and J. P. Hubaux, "TINA service validation: The ErnesTINA project," Proc. IEEE ICC, Atlanta, GA, June 1998.
13. F. Dietrich, X. Logean, and J. P. Hubaux, "Testing temporal logic properties in distributed systems," Proc. IFIP Int'l. Wksp. Testing of Commun. Sys., Tomsk, Russia, Aug. 1998.
14. L.J. Jagadeesan, A Porter, C Puchol, J.C. Ramming, and L.G. Votta, "Specification based testing of reactive software: Tools and experiments," Proc. 19th Int'l. Conf. Sofware Eng., May 1997.
15. Alcatel/Thomson Common Labs, "The Perco platform," Proc. ISORC '99, St. Malo, France, May 1999.