Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle

Résumé : De par la séquentialité qu'elles induisent, les sémantiques opérationnelles structurelles ne sont pas parfaitement adaptées pour décrire les langages répartis modernes comme Orc, un langage d'orchestration des sites web devenu un véritable modèle de programmation concurrente. Nous proposons deux nouvelles sémantiques pour le langage Orc, un instrumentation légère de la sémantique originale capturant la concurrence au sein d'une exécution et une sémantique concurrente complète décrivant toutes les exécutions possibles pour une expression.
Type de document :
Document associé à des manifestations scientifiques
MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00876651
Contributeur : Hervé Marchand <>
Soumis le : vendredi 25 octobre 2013 - 11:30:23
Dernière modification le : mercredi 24 juin 2015 - 10:56:23
Document(s) archivé(s) le : lundi 27 janvier 2014 - 12:56:05

Fichiers

Identifiants

  • HAL Id : hal-00876651, version 1

Collections

Citation

Matthieu Perrin, Claude Jard, Achour Mostefaoui. Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. 〈hal-00876651〉

Partager

Métriques

Consultations de
la notice

732

Téléchargements du document

66