Operational Semantics of the Model of Concurrency and Communication Language - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2014

Operational Semantics of the Model of Concurrency and Communication Language

Résumé

In the GEMOC project, MoCCML is dedicated to define the MoC associated with the DSMLs. The purpose of this document is to define the operational semantics of the MoCCML language and also to define the first steps of an approach to provide an exhaustive exploration of the MoCCML models. This document presents the operational semantics of the MoCCML language. The chapter is divided in several sections that present the grammar rules of the language and the operational rules mainly defined using mathematical grounds and Plotkin structural operation semantics rules. The document presents the elements that are relevant to describe the evolution of a MoCCML model as well as a draft of how exhaustive exploration is to be realized in a context using MoCCML models.
Ce document définit la sémantique opérationnelle du langage MoCCML, un meta langage dédié à la spécification de la concurrence au sein de la définition d'un langage specifique au domaine. Il définit aussi quelques éléments permettant d'aller vers l'exploration exhaustive des modèles MoCCML.
Fichier principal
Vignette du fichier
RR-8584.pdf (1001.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01060601 , version 1 (04-09-2014)
hal-01060601 , version 2 (18-09-2014)

Identifiants

  • HAL Id : hal-01060601 , version 2

Citer

Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language. [Research Report] RR-8584, INRIA. 2014, pp.23. ⟨hal-01060601v2⟩
1175 Consultations
543 Téléchargements

Partager

Gmail Facebook X LinkedIn More