Loading...

Modeling component connectors in reo by constraint automata: (Extended abstract)

Arbab, F ; Sharif University of Technology | 2004

149 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/j.entcs.2004.04.028
  3. Publisher: 2004
  4. Abstract:
  5. Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce constraint automata and propose them as a semantic model for Reo. © 2004 Elsevier B.V. All rights reserved
  6. Keywords:
  7. Coalgebraic semantics ; Components ; Composition ; Constraint Automata ; Coordination ; Reo ; Streams
  8. Source: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, 2 September 2003 through 2 September 2003 ; Volume 97 , 2004 , Pages 25-46 ; 15710661 (ISSN)
  9. URL: https://www.sciencedirect.com/science/article/pii/S157106610405039X