多数据源集成系统中数据查询过程的π-演算模型

摘要：

企业动态联盟对信息系统灵活性提出了更高的要求.我们开发的异构数据源集成系统,具有系统配置灵活和数据源的"即插即用"特点,并给出了其简化的数据查询过程的π-演算模型.利用该模型研究了系统动态行为,表现其多层结构中多代理、多对象之间的互操作性.该模型显示了HDSI的并发性、分布性及适于动态联盟组织结构和软硬件平台多变性的灵活性.该形式化模型有利于系统的改进、维护及验证.

关键词：异构数据源、集成、π-演算、动态联盟、进程代数、代理

所属期刊栏目：9

分类号：TH166;TP391

资助基金：河北省自然科学基金699066;广电总局高校科技基金BG0110

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：42-46