Paper Details

Communicating Process Architectures (CPA)
 Title: Components with Symbolic Transition Systems: a Java Implementation of Rendezvous
 Conference: Communicating Process Architectures 2007
 Authors: Fabricio Rernandes, Robin Passama, Jean-Claude Royer
OBASCO Group, Ecole des Mines de Nantes INRIA
 Abstract: 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. 
Files:


BibTeX Entry