%T Components with Symbolic Transition Systems: a Java Implementation of Rendezvous
%A  Fabricio Fernandes,  Robin Passama,  Jean\-Claude Royer
%E  Alistair A. McEwan,  Steve Schneider,  Wilson Ifill, Peter H. Welch
%B Communicating Process Architectures 2007
%X Component\-based software engineering is becoming an
   important approach
for system development. A crucial issue
   is to fill the gap between high\-level models,
needed for
   design and verification, and implementation. This paper
   introduces first
a component model with explicit protocols
   based on symbolic transition systems. It
then presents a
   Java implementation for it that relies on a rendezvous
   mechanism to
synchronize events between component
   protocols. This paper shows how to get a
   correct
implementation of a complex rendezvous in presence
   of full data types, guarded
transitions and, possibly,
   guarded receipts.