Operational Semantics of the Model of Concurrency and Communication Language

Julien Deantoni 1, 2 Papa Issa Diallo 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
Résumé : 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.
Type de document :
Rapport
[Research Report] RR-8584, INRIA. 2014, pp.23
Liste complète des métadonnées


https://hal.inria.fr/hal-01060601
Contributeur : Team Aoste <>
Soumis le : jeudi 18 septembre 2014 - 11:34:33
Dernière modification le : mercredi 12 juillet 2017 - 01:17:15
Document(s) archivé(s) le : vendredi 19 décembre 2014 - 12:36:17

Fichier

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

Identifiants

  • HAL Id : hal-01060601, version 2

Citation

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>

Partager

Métriques

Consultations de
la notice

937

Téléchargements du document

309