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