Analyzing Behavioral Compatibility for Web Service Choreography Using Colored Petri Nets and ASK-CTL

Maya Benabdelhafid Béatrice Bérard 1 Mahmoud Boufaïda
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Type de document :
Communication dans un congrès
6th International Conference on Advanced Service Computing, May 2014, Venice, Italy. Xpert Publishing Services, pp.32-39
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01215705
Contributeur : Lip6 Publications <>
Soumis le : mercredi 14 octobre 2015 - 17:14:30
Dernière modification le : jeudi 22 novembre 2018 - 15:04:59

Identifiants

  • HAL Id : hal-01215705, version 1

Collections

Citation

Maya Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda. Analyzing Behavioral Compatibility for Web Service Choreography Using Colored Petri Nets and ASK-CTL. 6th International Conference on Advanced Service Computing, May 2014, Venice, Italy. Xpert Publishing Services, pp.32-39. 〈hal-01215705〉

Partager

Métriques

Consultations de la notice

128