1 A model-based validation framework for web services V. Pretre, F. Bouquet, C. Lang Laboratoire dinformatique de luniversité de Franche-Comté Besançon,
