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

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01215705
Contributor : Lip6 Publications <>
Submitted on : Wednesday, October 14, 2015 - 5:14:30 PM
Last modification on : Thursday, March 21, 2019 - 12:59:05 PM

Identifiers

  • HAL Id : hal-01215705, version 1

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. pp.32-39. ⟨hal-01215705⟩

Share

Metrics

Record views

132