ACG

Reo: Semantics and Tools for Design and Analysis. State-of-the-Art and Future Work

Reo is a channel-based exogenous coordination model wherein complex coordinators are compositionally built out of basic channel types (like synchronous or FIFO channels) and connectors. In this talk, first we will briefly explain the semantics of Reo based on languages of Timed Data Streams and an operational semantics based on so called Constraint Automata. Then, we continue with different issues in modeling Reo circuits by constraint automata and discuss some examples. We finally report on the-state-of-the-art and future work for developing an integrated tool for visualizing, simulating and model checking Reo circuits and constraint automata.

Other presentations

Modelling component connectors in Reo by constraint automata

Published: di 27 mei 2003
By Christel Baier (University of Bonn) Jan Rutten (CWI & VU) Farhad Arbab (CWI & LIACS) Marjan Sirjani (Tehran University)

In presentations.

In an earlier report:

F. Arbab, J.J.M.M. Rutten A coinductive calculus of component connectors Technical Report SEN-R0216, CWI, Amsterdam, 2002, pp. 1--17. To appear in the proceedings of WADT 2002. (Available at http://www.cwi.nl/~janr)

a coinductive model for the component connector calculus Reo was …
read more
Branching Time Relations for Markov Chains

Published: do 27 maart 2003
By Christel Baier (University of Bonn)

In presentations.

Markov Chains are an important class of stochastic processes that are widely used in practice to determine system performance and dependability characteristics. This talk will consider discrete-time and continuous-time Markov chains and explain notions of strong and weak simulation and bisimulation relations for them. Moreover, the talk will discuss the …
read more

Page 1 / 1

Other presentations

hosted by

social