2015
BIP toolset
http://www-verimag.imag.fr/BIP-Tools,93.html
2015
Reo toolset
http://reo.project.cwi.nl/reo/wiki/Tools
Farhad Arbab
2004
Reo: a channel-based coordination model for component composition
Math. Structures Comput. Sci.
14
3
329–366
10.1017/S0960129504004153
Farhad Arbab
2011
Puff, The Magic Protocol
Talcott Festschrift
Lecture Notes in Comput. Sci.
7000
Springer
169–206
10.1007/978-3-642-24933-4_9
Farhad Arbab
Roberto Bruni
Dave Clarke
Ivan Lanese
Ugo Montanari
2009
Tiles for Reo
Proc. of WADT
Lecture Notes in Comput. Sci.
5486
Springer Berlin Heidelberg
37–55
10.1007/978-3-642-03429-9_4
Paul Attie
Eduard Baranov
Simon Bliudze
Mohamad Jaber
Joseph Sifakis
2014
A General Framework for Architecture Composability
8702
128–143
10.1007/978-3-319-10431-7_10
Christel Baier
Joachim Klein
Sascha Klüppelholz
2014
Synthesis of Reo Connectors for Strategies and Controllers
Fundam. Inform.
130
1
1–20
10.3233/FI-2014-980
Christel Baier
Marjan Sirjani
Farhad Arbab
Jan Rutten
2006
Modeling component connectors in Reo by constraint automata
Sci. Comput. Programming
61
2
75–113
10.1016/j.scico.2005.10.008
Ananda Basu
Marius Bozga
Joseph Sifakis
2006
Modeling Heterogeneous Real-time Components in BIP
Proc. of SEFM
ACM
3–12
10.1109/SEFM.2006.27
Simon Bliudze
Joseph Sifakis
2007
The algebra of connectors: structuring interaction in BIP
Proc. of EMSOFT
ACM SigBED
ACM
Salzburg, Austria
11–20
10.1145/1289927.1289935
Simon Bliudze
Joseph Sifakis
Marius Bozga
Mohamad Jaber
2014
Architecture Internalisation in BIP
Proc. of CBSE
ACM
169–178
10.1145/2602458.2602477
Roberto Bruni
Hernán Melgratti
Ugo Montanari
2011
Connector Algebras, Petri Nets, and BIP
Proc. of PSI
LNCS
7162
Springer
19–38
10.1007/978-3-642-29709-0_2
M. Y. Chkouri
A. Robert
M. Bozga
J. Sifakis
2009
Translating AADL into BIP - Application to the Verification of Real-Time Systems
Proc. of MODELS
LNCS
5421
Springer
5–19
10.1007/978-3-642-01648-6_2
K. Dokter
S.-S. T.Q. Jongmans
F. Arbab
S. Bliudze
2015
Relating BIP and Reo
Technical Report
FM-1505
CWI
http://persistent-identifier.org/?identifier=urn:nbn:nl:ui:18-23505
David Garlan
2014
Software Architecture: A Travelogue
Proc. of FOSE
ACM
29–39
10.1145/2593882.2593886
Sung-Shik T. Q. Jongmans
Farhad Arbab
2012
Overview of Thirty Semantic Formalisms for Reo
Sci. Ann. Comp. Sci.
22
1
201–251
10.7561/SACS.2012.1.201
C. Koehler
D. Clarke
2009
Decomposing port automata
Proc. of SAC
ACM
1369–1373
10.1145/1529282.1529587
C. Krause
2009
Integrated Structure and Semantics for Reo Connectors and Petri Nets
Proc. of ICE
57–69
10.4204/EPTCS.12.4
R. Milner
1989
Communication and Concurrency
Prentice-Hall, Inc.
G. A. Papadopoulos
F. Arbab
2001
Configuration And Dynamic Reconfiguration Of Components Using The Coordination Paradigm
Future Generation Computer Systems
17
8
1023 – 1038
10.1016/S0167-739X(01)00043-7
José Proença
Dave Clarke
2008
Coordination Models Orc and Reo Compared
Electron. Notes Theor. Comput. Sci.
194
4
57–76
10.1016/j.entcs.2008.03.099
Carolyn Talcott
Marjan Sirjani
Shangping Ren
2011
Comparing three coordination models: Reo, ARC, and PBRD
Sci. Comput. Programming
76
1
3–22
10.1016/j.scico.2009.11.006