摘要
企业动态联盟对信息系统灵活性提出了更高的要求。我们开发的异构数据源集成系统,具有系统配置灵活和数据源的"即插即用"特点,并给出了其简化的数据查询过程的π-演算模型。利用该模型研究了系统动态行为,表现其多层结构中多代理、多对象之间的互操作性。该模型显示了HDSI的并发性、分布性及适于动态联盟组织结构和软硬件平台多变性的灵活性。该形式化模型有利于系统的改进、维护及验证。
Higher flexibility of information system is demanded by the enterprise dynamic alliance. A heterogeneous data-source integration (HDSI) system with flexible configuration and convenient 'Plug-Play' of data-sources, is developed. And then, the Pi-Calculus model, which can simplify the data query process, is put forward. By using the model, the dynamic behaviors of HDSI are researched. The interoperation between multiple agents in multi-tier architecture of HDSI is demonstrated. The distribution feature, concurrence feature and flexibility feature for changeability of the organization structure and software-hardware platforms in the enterprise dynamic alliance, are reflected by this model.
基金
河北省自然科学基金资助项目(699066)
广电总局高校科技资助项目(BG0110)。~~
关键词
多数据源集成系统
数据查询
π-演算模型
数据库
heterogeneous data-source
integration
Pi-Calculus
dynamic alliance
process algebra
agent
