Loading...

Modeling real-time coordination systems using timed Bchi automata

Ahmadi Danesh, Z ; Sharif University of Technology | 2011

545 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/CSICSSE.2011.5963996
  3. Publisher: 2011
  4. Abstract:
  5. Reo is an exogenous coordination language for synthesizing components participating in a component-based system. The notion of Bchi automaton over streams of records (BAR for short) is a proposed operational semantics for Reo that covers several aspects of coordination strategies such as synchronization, context dependencies and fairness constraints. In this paper and for the purpose of modeling real-time coordination systems specified by Reo, we present a timed version of BARs as the acceptors of timed streams of records. We show that timed BAR and its streams of records based semantics are more standard and also more expressive than timed constraint automaton which is the first proposed operational model of timed Reo connectors
  6. Keywords:
  7. Component based systems ; Context dependency ; Coordination language ; Coordination strategy ; Coordination systems ; Fairness constraints ; Operational model ; Operational semantics ; Timed constraint automaton ; Automata theory ; Computer programming languages ; Semantics ; Software engineering ; Real time systems
  8. Source: 2011 CSI International Symposium on Computer Science and Software Engineering, CSSE 2011, 15 June 2011 through 16 June 2011 ; June , 2011 , Pages 17-24 ; 9781612842073 (ISBN)
  9. URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963996