Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early efforts have been devoted to the study of a similar system for communication systems. Even though there has been some research to provide a common language or a virtual machine for building communication systems, there are only few theoretical studies on the complexity of specifying and modeling communication systems. In this paper, we propose an approach to model common communication systems which have no complicated stochastic control logics. Our model contains two parts: (1) a communication logic definition and (2) a set of communication system operations. Our approach has the following benefits: a unified interface between communication roles/systems, a recursive way to model communication systems, and the adoption of a multicastconference model. These benefits enable us to efficiently build scalable communicat...
Yingbo Wang, Peter J. Clarke, Yi Deng