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

• 作者: 刘静 孟庆龙 王永滨
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: 异构数据源 集成 π-演算 动态联盟 进程代数 代理
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 论文
• 页码范围: 42-46
• 页数: 5页
• 分类号: TH166|TP391
• 字数: 5263字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-5911.2003.01.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟庆龙	河北工业大学电器技术研究所	27	91	6.0	8.0
2	王永滨	北京广播学院信息工程学院	10	64	5.0	7.0
6	刘静	北京广播学院信息工程学院	2	9	2.0	2.0