%0 Journal Article
%T 多数据源集成系统中数据查询过程的π-演算模型
%A 王永滨
%A 孟庆龙
%A 刘静
%J 计算机集成制造系统
%P 0-0
%D 2003
%X 企业动态联盟对信息系统灵活性提出了更高的要求。我们开发的异构数据源集成系统，具有系统配置灵活和数据源的“即插即用”特点，并给出了其简化的数据查询过程的π-演算模型。利用该模型研究了系统动态行为，表现其多层结构中多代理、多对象之间的互操作性。该模型显示了HDSI的并发性、分布性及适于动态联盟组织结构和软硬件平台多变性的灵活性。该形式化模型有利于系统的改进、维护及验证。
%K 异构数据源
%K 集成
%K π-演算
%K 动态联盟
%K 进程代数
%K 代理
%U http://www.cims-journal.cn/CN/abstract/abstract268.shtml