B. K. Aichernig, F. Arbab, L. Astefanoaei, F. S. de Boer, M. Sun & J. Rutten (2009):
Fault-Based Test Case Generation for Component Connectors.
In: Proc. TASE 2009,
pp. 147–154,
doi:10.1109/TASE.2009.14.
J.F. Groote et al. (2007):
The Formal Specification Language mCRL2.
In: E. Brinksma et al.: Methods for Modelling Software Systems.
IBFI, Schloss Dagstuhl,
pp. 1–34.
F. Arbab (2004):
Reo: A Channel-based Coordination Model for Component Composition.
Mathematical Structures in Computer Science 14,
pp. 329–366,
doi:10.1017/S0960129504004153.
F. Arbab, C. Baier, F. de Boer & J. Rutten (2007):
Models and Temporal Logical Specifications for Timed Component Connectors.
Software and Systems Modeling 6,
pp. 59–82,
doi:10.1007/s10270-006-0009-9.
F. Arbab, C. Koehler, Z. Maraikar, Y.J. Moon & J. Proenca (2008):
Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools.
Tool demo session at FACS 2008.
F. Arbab, N. Kokash & M. Sun (2008):
Towards Using Reo for Compliance-aware Business Process Modelling.
In: T. Margaria & B. Steffen: Proc. ISoLA 2008,
LNCS 17.
Springer,
pp. 108–123,
doi:10.1007/978-3-540-88479-8_9.
C. Baier (2005):
Probabilistic Models for Reo Connector Circuits.
Journal of Universal Computer Science 11(10),
pp. 1718–1748,
doi:10.3217/jucs-011-10-1718.
C. Baier, T. Blechmann, J. Klein & S. Klüppelholz (2009):
A Uniform Framework for Modeling and Verifying Components and Connectors.
In: J. Field & V.T. Vasconcelos: Proc. COORDINATION 2009,
LNCS 5521.
Springer,
pp. 268–287,
doi:10.1007/978-3-642-02053-7_13.
C. Baier, M. Sirjani, F. Arbab & J. Rutten (2006):
Modeling Component Connectors in Reo by Constraint Automata.
Science of Computer Programming 61,
pp. 75–113,
doi:10.1016/j.scico.2005.10.008.
M. Bonsangue, D. Clarke & A. Silva (2009):
Automata for Context-dependent Connectors.
In: J. Field & V.T. Vasconcelos: Proc. COORDINATION 2009,
LNCS 5521.
Springer,
pp. 184–203,
doi:10.1007/978-3-642-02053-7_10.
M. Bonsangue & M. Izadi (2010):
Automata Based Model Checking for Reo Connectors.
In: Proc. FSEN 2009,
LNCS 5961.
Springer,
pp. 260–275,
doi:10.1007/978-3-642-11623-0_15.
L. du Bousquet & N. Zuanon (1999):
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software.
In: Proc. ASE'99.
IEEE Computer Society,
pp. 208––215,
doi:10.1109/ASE.1999.802255.
L. Brandan Briones & E. Brinksma (2005):
A Test Generation Framework for Quiescent Real-Time Systems.
In: J. Grabowski & B. Nielsen: Proc. FATES 2004,
LNCS 3395.
Springer,
pp. 64––78,
doi:10.1007/b106767.
D. Clarke, D. Costa & F. Arbab (2007):
Connector Coloring I: Synchronization and Context Dependency.
Science of Computer Programming 66,
pp. 205–225,
doi:10.1016/j.scico.2007.01.009.
D. Clarke, J. Proenca, A. Lazovik & F. Arbab (2011):
Channel-based Coordination via Constraint Satisfaction.
Science of Computer Programming 76(8),
pp. 681–710,
doi:10.1016/j.scico.2010.05.004.
D. Costa (2010):
Formal Models for Context Dependent Connectors for Distributed Software Components and Services.
PhD thesis.
Vrije Universiteit Amsterdam.
A. Faivre, C. Gaston & P. Le Gall (2007):
Symbolic Model based Testing for Component-oriented Systems.
In: A. Petrenko et al.: Proc. TestCom/FATES 2007,
LNCS 4581.
Springer,
pp. 90–106,
doi:10.1007/978-3-540-73066-8_7.
L. Frantzen, J. Tretmans & T.A.C. Willemse (2005):
Test Generation Based on Symbolic Specifications.
In: J. Grabowski & B. Nielsen: Proc. FATES 2004,
LNCS 3395.
Springer,
pp. 1–15,
doi:10.1007/978-3-540-31848-4_1.
H. Garavel, R. Mateescu, F. Lang & W. Serwe (2007):
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.
In: W. Damm & H. Hermanns: Proc. CAV 2007,
LNCS 4590.
Springer,
pp. 158–163,
doi:10.1007/978-3-540-73368-3_18.
S. Kemper (2011):
SAT-based Verification for Timed Component Connectors.
Science of Computer Programming,
doi:10.1016/j.scico.2011.02.003.
R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi & H. Iravanchi (2008):
Modeling and Analysis of Reo Connectors Using Alloy.
In: D. Lea & G. Zavattaro: Proc. COORDINATION 2008.
LNCS 5052,
pp. 169–183,
doi:10.1007/978-3-540-68265-3_11.
N. Kokash, B. Changizi & F. Arbab (2010):
A Semantic Model for Service Composition with Coordination Time Delays.
In: Jin Song Dong & Huibiao Zhu: Proc. ICFEM 2010,
LNCS 6447,
pp. 106–121,
doi:10.1007/978-3-642-16901-4_9.
N. Kokash, C. Krause & E.P. de Vink (2010):
Verification of Context-Dependent Channel-Based Service Models.
In: F. de Boer et al.: Proc. FMCO 2009.
LNCS 6286,
pp. 21–40,
doi:10.1007/978-3-642-17071-3_2.
N. Kokash, C. Krause & E.P. de Vink (2011):
Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions.
Formal Aspects of Computing,
doi:10.1007/s00165-011-0191-6.
N. Lohmann, E. Verbeek & R. Dijkman (2009):
Petri Net Transformations for Business Processes - A Survey.
In: K. Jensen & W. van der Aalst: Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II,
LNCS 5460.
Springer,
pp. 46––63,
doi:10.1007/978-3-642-00899-3_3.
S. Morimoto (2008):
A Survey of Formal Verification for Business Process Modeling.
In: M. Bubak et al.: Proc. ICCS 2008,
LNCS 5102.
Springer,
pp. 514––522,
doi:10.1007/978-3-540-69387-1_58.
A. Petrenko (2000):
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.
In: F. Cassez et al.: Modeling and Verification of Parallel Processes,
LNCS 2067.
Springer,
pp. 196––205,
doi:10.1007/3-540-45510-8_10.
D. Schumm, O. Turetken, F. Leymann N. Kokash, A. Elgammal & W.-J. Heuvel (2010):
Business Process Compliance through Reusable Units of Compliant Processes.
In: Current Trends in Web Engineering,
LNCS 6385.
Springer,
pp. 325–337,
doi:10.1007/978-3-642-16985-4_29.
S. Tasharofi, M. Vakilian, R. Z. Moghaddam & M. Sirjani (2008):
Modeling Web Service Interactions Using the Coordination Language Reo.
In: Proc. WS-FM 2008,
LNCS 4937.
Springer,
pp. 108–123,
doi:10.1007/978-3-540-79230-7_8.
J. Tretmans (2008):
Model Based Testing with Labelled Transition Systems.
In: Formal Methods and Testing,
LNCS 4949.
Springer,
pp. 1–38,
doi:10.1007/978-3-540-78917-8_1.