网构软件实体的功能描述及其发现  

作　　者：王璞巍[1] 金芝[2,3] 刘红岩[4] 

机构地区：[1]中国人民大学数据工程与知识工程教育部重点实验室,北京100872 [2]北京大学高可信软件技术教育部重点实验室,北京100871 [3]中国科学院数学与系统科学研究院,北京100190 [4]清华大学管理科学与工程系,北京100084

出　　处：《中国科学（F辑:信息科学）》2009年第12期1271-1287,共17页

基　　金：国家自然科学基金杰出青年基金(批准号:60625204);国家重点基础研究发展计划(批准号:2009CB320701);国家自然科学基金(批准号:90818026;60736015);中国人民大学科学研究基金(批准号:22382075)资助项目

摘　　要：网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关的环境实体以及这些环境实体需要的来自软件实体的交互,环境实体的生命周期用树结构层次状态机来刻画.网构软件实体的功能则表现为它能够与那些环境实体发生的交互,以及这些环境实体在它的作用下所发生的变化.文中构型了网构软件实体功能描述之间的匹配过程,以支持网构软件实体的发现.选择在线教学领域中的具体案例展示了所提出方法的有效性.

关 键 词：网构软件 功能描述 领域软件环境本体 树结构层次状态机 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]