Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle
Résumé
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.
Domaines
Génie logiciel [cs.SE]
Fichier principal
Perrin.pdf (43.21 Ko)
Télécharger le fichier
hal-00876651.pdf (3.39 Mo)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre