多数据源集成系统中数据查询过程的π-演算模型 |
| |
引用本文: | 王永滨,孟庆龙,刘静.多数据源集成系统中数据查询过程的π-演算模型[J].计算机集成制造系统,2003,9(1):42-46. |
| |
作者姓名: | 王永滨 孟庆龙 刘静 |
| |
作者单位: | 1. 北京广播学院信息工程学院,北京,100024;河北工业大学电器技术研究所,天津,300130 2. 河北工业大学电器技术研究所,天津,300130 3. 北京广播学院信息工程学院,北京,100024 |
| |
基金项目: | 河北省自然科学基金资助项目(699066),广电总局高校科技资助项目(BG0110)。~~ |
| |
摘 要: | 企业动态联盟对信息系统灵活性提出了更高的要求。我们开发的异构数据源集成系统,具有系统配置灵活和数据源的“即插即用”特点,。并给出了其简化的数据查询过程的π-演算模型,利用该模型研究了系统动态行为,表现其多层结构中多代理,多对象之间的互操作性,该模型显示了HDSI的并发性,分布性及适于动态联盟组织结构和软硬件平台多变性的灵活性,该形式化模型有利于系统的改进,维护和验证。
|
关 键 词: | 多数据源集成系统 数据查询 π-演算模型 数据库 |
文章编号: | 1006-5911(2003)01-0042-05 |
修稿时间: | 2002年4月23日 |
π-Calculus Model of Query Process in Multi-Data-Source Integration System |
| |
Abstract: | |
| |
Keywords: | heterogeneous data-source integration Pi-Calculus dynamic alliance process algebra agent |
本文献已被 CNKI 维普 万方数据 等数据库收录! |