Rule-Based Form for Stream Constraints - Coordination Models and Languages (COORDINATION 2018) Access content directly
Conference Papers Year : 2018

Rule-Based Form for Stream Constraints

Kasper Dokter
  • Function : Author
  • PersonId : 1030366


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
Origin : Files produced by the author(s)

Dates and versions

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





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 View
15 Download



Gmail Facebook X LinkedIn More