Operational Semantics of the Model of Concurrency and Communication Language

Julien Deantoni 1, 2 Diallo Papa Issa 3 Joël Champeau 4 Benoit Combemale 5 Ciprian Teodorov 3
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
3 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
4 Lab-STICC_ENSTAB_CACS_MOCS;IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
5 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Rapport
[Research Report] RR-8584, 2014, pp.23
Liste complète des métadonnées

https://hal.inria.fr/hal-01060601
Contributeur : Team Aoste <>
Soumis le : jeudi 4 septembre 2014 - 10:13:59
Dernière modification le : jeudi 12 octobre 2017 - 11:58:06
Document(s) archivé(s) le : vendredi 5 décembre 2014 - 10:17:07

Fichier

RR-8584.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01060601, version 1

Citation

Julien Deantoni, Diallo Papa Issa, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language. [Research Report] RR-8584, 2014, pp.23. 〈hal-01060601v1〉

Partager

Métriques

Consultations de
la notice

87

Téléchargements du document

79