Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2013

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

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
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⟩
174 View
94 Download

Share

Gmail Facebook X LinkedIn More