何文民
- 作品数：3 被引量：11H指数：2
- 供职机构：南京航空航天大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于描述逻辑的特征语义建模及验证被引量：8
- 2013年
- 在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用.
- 沈国华张伟黄志球张钰龙金澜涛何文民贾哲赵子玥
- 关键词：软件复用描述逻辑
- 基于本体的特征模型演化的一致性验证被引量：3
- 2013年
- 针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其次基于上述元模型,为网上购物系统实例建立相应的网上购物的领域特征模型,根据需求裁剪出产品特征模型;然后在Eclipse集成开发环境下,通过Jena推理机加载规则和产品特征模型进行一致性验证,当检测到冲突时,采用演化策略来消除冲突;最后通过实例研究说明了该方法的有效性。
- 何文民沈国华黄志球王进范大娟
- 关键词：本体
- 基于本体的特征模型演化一致性验证研究与应用
- 随着领域需求的不断变化，使得领域软件的规模和复杂性不断增加，导致领域需求分析与建模成为领域工程研究中的严峻挑战。鉴于领域工程的相关性与稳定性，通过特征方法对领域需求进行分析，并建立领域特征模型，通过领域特征模型来管理领域...
- 何文民
- 关键词：本体理论
- 文献传递
