Loading...

Failure-based equivalence of constraint automata

Izadi, M ; Sharif University of Technology | 2010

570 Viewed
  1. Type of Document: Article
  2. DOI: 10.1080/00207160902915886
  3. Publisher: 2010
  4. Abstract:
  5. Constraint automata are the first-proposed operational semantics of Reo coordination language. They can be composed not only by all well-defined composition operators of labeled transition systems but also by two new operators. The new operators are joining of constraint automata with respect to their common port names and hiding a port name in all transition labels. The operations of these two extra operators depend on the internal structures of the transition labels, while in the others each transition label is considered as a simple entity. An equivalence relation between transition systems is a congruence relation if the replacement of the components of a model by the equivalent ones always yields a model that is equivalent with the original one. Obviously, this definition of the congruency depends on the operators which are used to compose the components of models. This paper introduces four congruency results: we prove that failure-based equivalence relation CFFD (chaos-free failures divergences relation) is a congruence relation with respect to joining of constraint automata and also with respect to hiding port names in a constraint automaton. We also show that these are cases for equivalence relation NDFD (non-divergent failures divergences)
  6. Keywords:
  7. Composition operators ; Compositional semantics ; Constraint automata ; coordination ; Coordination language ; Failure-based equivalences ; Labeled transition systems ; Operational semantics ; Joining ; Semantics ; Set theory ; Automata theory
  8. Source: International Journal of Computer Mathematics ; Volume 87, Issue 11 , 2010 , Pages 2426-2443 ; 00207160 (ISSN)
  9. URL: http://www.tandfonline.com/doi/abs/10.1080/00207160902915886