Take Command of Your Constraints! - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Take Command of Your Constraints!

(1) , (1)
Sung-Shik Jongmans
  • Function : Author
  • PersonId : 978920
Farhad Arbab
  • Function : Author
  • PersonId : 978922


Constraint automata (CA) are a coordination model based on finite automata on infinite words. Although originally introduced for compositional modeling of coordinators, an interesting new application of CA is actually implementing coordinators (i.e., compiling CA to executable code). Such an approach guarantees correctness-by-construction and can even yield code that outperforms hand-crafted code. The extent to which these two potential advantages arise depends on the smartness of CA-compilers and the existence of proofs of their correctness.We present and prove the correctness of a critical optimization for CA-compilers: a sound and complete translation from declarative constraints in transition labels to imperative commands in a sequential language. This optimization avoids expensive calls to a constraint solver at run-time, otherwise performed each time a transition fires, and thereby significantly improves the performance of generated coordination code.
Fichier principal
Vignette du fichier
978-3-319-19282-6_8_Chapter.pdf (395.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01774935 , version 1 (24-04-2018)


Attribution - CC BY 4.0



Sung-Shik Jongmans, Farhad Arbab. Take Command of Your Constraints!. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩. ⟨hal-01774935⟩
266 View
91 Download



Gmail Facebook Twitter LinkedIn More