Rule-Based Form for Stream Constraints - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Rule-Based Form for Stream Constraints

Kasper Dokter
  • Fonction : Auteur
  • PersonId : 1030366

Résumé

Constraint automata specify protocols as labeled transition systems that preserve synchronization under composition. They have been used as a basis for tools, such as compilers and model checkers. Unfortunately, composition of transition systems suffers from state space and transition space explosions, which limits scalability of the tools based on constraint automata. In this work, we propose stream constraints as an alternative to constraint automata that avoids state space explosions. We introduce a rule-based form for stream constraints that can avoid transition space explosions. We provide sufficient conditions under which our approach avoids transition space explosions.
Fichier principal
Vignette du fichier
468924_1_En_6_Chapter.pdf (470.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01821489 , version 1 (22-06-2018)

Licence

Paternité

Identifiants

Citer

Kasper Dokter, Farhad Arbab. Rule-Based Form for Stream Constraints. 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.142-161, ⟨10.1007/978-3-319-92408-3_6⟩. ⟨hal-01821489⟩
242 Consultations
15 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More