分布式构件交互机制研究

构件交互是基于构件的分布式应用系统的核心，目前的中间件平台对构件交互的支持主要是基于传统过程调用的RPC机制和面向对象范型的同步式请求／应答消息机制。而在后一种机制中，构件交互协议的实现嵌入在构件的功能描述代码中。因此，设计出的系统，结构复杂，缺乏灵活性，中提出了一种独立于构件实现的，支持形式化分析与动态测试的构件交互模型，有效地解决了以上问题，设计并实现了一个基于该模型的交互格定义语言DICIDE，详细讨论了端点交互特别是分布式构件绑定的实现问题，通过例子展示该模型和语言的设计思想和特点。

An Implementation-Independent Component Interaction Model for Distributed Applications

Component interaction is the foundation for component based distributed applications. Current middleware systems are implementation dependent and thus make the design and development of component based distributed systems difficult and less efficient. To cope with the problem, we propose an implementation independent component interaction model which is illustrated in Fig.1. On the basis of our model, we design and implement a component interaction specification language, called DICIDE, in which the formal specification method FSP (Finite State Process) is embedded to describe the properties of component interactions. Features of the language are explained through an example as shown in detail in Fig.2. Section 3 discusses the implementation of interactive endpoints, particularly the binding of local components (subsection 3.1) and the binding of distributed components (subsection 3.2). Our implementation independent component interaction model and our DICIDE language support component interaction specification, analysis, and run time verification.