Loading...

Modeling component connectors: synchronisation and context-dependency

Izadi, M ; Sharif University of Technology | 2008

261 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/SEFM.2008.24
  3. Publisher: 2008
  4. Abstract:
  5. Reo is an exogenous coordination language for component connectors extending data flow networks with synchronization and context-dependent behavior. We propose an operational model of Reo based on Büchi automata in which port synchronization is modeled by records labeling the transitions, whereas context dependencies are stored in the states. We provide a composition operator which models the joining of two connectors, and show that it can be obtained by using two standard operators: alphabet extension and automata product. Our semantics has the advantage over previous models in that it is based on standard automata theory, so that existing theories and tools can be easily reused. Moreover, it is the first formal model addressing all of Reo's features: synchronization, mutual exclusion, hiding, and context-dependency. © 2008 IEEE
  6. Keywords:
  7. Automata theory ; Data flow analysis ; Information theory ; Robots ; Software engineering ; Synchronization ; Translation (languages) ; Composition operators ; Coordination languages ; Data flow networks ; Formal models ; Modeling components ; Mutual exclusions ; Operational models ; Synchronisation ; Formal methods
  8. Source: Proceedings - 6th IEEE International ConfProceedings - 6th IEEE International Conerence on Software Engineering and Formal Methods, SEFM 2008, 10 November 2008 through 14 November 2008, Cape Town ; 2008 , Pages 303-312 ; 9780769534374 (ISBN)
  9. URL: https://ieeexplore.ieee.org/document/4685817