Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) (2004)

by Farhad Arbab , Christel Baier , Jan Rutten , Marjan Sirjani
Citations:58 - 26 self

Documents Related by Co-Citation

145 A Channel-Based Coordination Model for Component Composition – F. Arbab, Farhad Arbab - 2002
58 A Coinductive Calculus of Component Connectors – F. Arbab, J. J. M. M. Rutten - 2002
81 Abstract behavior types: A foundation model for components and their composition – Farhad Arbab - 2003
13 Models and Temporal Logics for Timed Component Connectors – Farhad Arbab, Christel Baier, Frank De Boer, Jan Rutten - 2004
12 Composing architectural styles from architectural primitives – Nikunj R. Mehta - 2003
140 Towards a taxonomy of software connectors – N Mehta, N Medvidovic, S Phadke - 2000
8 Construction of negotiation protocols for e-commerce applications – Z Zlatev, N Diakov, S Pokraev
32 A Compositional Approach for Constructing Connectors – Bridget Spitznagel - 2001
653 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
631 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
7 Data-aware design and verification of service composition with Reo and mCRL2 – N Kokash, C Koehler, E P de Vink - 2010
105 The IWIM Model for Coordination of Concurrent Activities – Farhad Arbab - 1996
7 MoCha: A Middleware Based on Mobile Channels – F Arbab, F S de Boer, M M Bonsangue, J V Guillen-Scholten - 2002
6 Component connectors with QoS guarantees – F Arbab, T Chothia, S Meng, Y-J Moon - 2007
5 From coordination to stochastic models of QoS – F Arbab, T Chothia, R Mei, S Meng, Y Moon, C Verhoef - 2009
1975 A theory of timed automata – Rajeev Alur - 1999
3 Complete Axioms for Stateless Connectors – Roberto Bruni Ivan Lanese - 2005
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996