Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle - Archive ouverte HAL Access content directly
Documents Associated With Scientific Events Year :

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

(1) , (1) , (1)
1
Matthieu Perrin
Claude Jard
Achour Mostefaoui

Abstract

Because they are intrinsically sequential, structural operational semantics are not completely suitable to describe modern distributed languages such as Orc, a language for web site orchestration that became a true model for concurrent programming. We propose two new semantics for the Orc language, a lightweight instrumentation of the original semantics capturing concurrency in one execution and a whole concurrent semantics able to describe all the possible executions for an expression.
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.
Fichier principal
Vignette du fichier
Perrin.pdf (43.21 Ko) Télécharger le fichier
Vignette du fichier
hal-00876651.pdf (3.39 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Other

Dates and versions

hal-00876651 , version 1 (25-10-2013)

Identifiers

  • HAL Id : hal-00876651 , version 1

Cite

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⟩
130 View
73 Download

Share

Gmail Facebook Twitter LinkedIn More