Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC

Matthieu Perrin 1, 2 Claude Jard 1 Achour Mostefaoui 2
1 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
Résumé : Cet article montre comment la sémantique opérationnelle d'un langage comme Orc peut être instrumentée pour que l'exécution d'un programme produise les informations sur les dépendances causales entre les événements. La sémantique concurrente que l'on obtient est basée sur des structures asymétriques d'événements étiquetés. Cette approche est illustrée sur un exemple d'orchestration de services Web et la détection de situations de compétition.
Type de document :
Communication dans un congrès
NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco. 2015, Proceedings of the third international conference on network systems
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01152761
Contributeur : Matthieu Perrin <>
Soumis le : vendredi 22 mai 2015 - 18:49:21
Dernière modification le : mercredi 15 novembre 2017 - 01:03:08
Document(s) archivé(s) le : jeudi 20 avril 2017 - 01:39:01

Fichiers

netys_51.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01152761, version 1
  • ARXIV : 1505.06299

Collections

Citation

Matthieu Perrin, Claude Jard, Achour Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco. 2015, Proceedings of the third international conference on network systems. 〈hal-01152761〉

Partager

Métriques

Consultations de la notice

605

Téléchargements de fichiers

109