位置:成果数据库 > 期刊 > 期刊详情页
ESpin:基于SPIN的Eclipse模型检测环境
  • ISSN号:1002-8331
  • 期刊名称:计算机工程与应用
  • 时间:2013
  • 页码:45-51
  • 分类:TP391[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]南京航空航天大学计算机科学与技术学院,南京210016
  • 相关基金:国家自然科学基金资助项目(61100034,61170043);南京航空航天大学软件质量保障与测试技术研究生主题创新实验室支持
  • 相关项目:基于控制机制的软件可靠性新技术及其理论研究
中文摘要:

针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其次基于上述元模型,为网上购物系统实例建立相应的网上购物的领域特征模型,根据需求裁剪出产品特征模型;然后在Eclipse集成开发环境下,通过Jena推理机加载规则和产品特征模型进行一致性验证,当检测到冲突时,采用演化策略来消除冲突;最后通过实例研究说明了该方法的有效性。

英文摘要:

To detect conflict of feature model resulted from evolution of feature model,this paper proposed a method of ontology-based evolving feature model consistency verification.At first,it analyzed evolving feature model and built ontology-based feature model meta-model by adopting ontology.Secondly,according to the feature meta-model,it built domain model for domain of online shopping and it cut into a product feature model with specific application needs.Thirdly,it verified the consistency of the product feature model with Jena inference engine loading the rules and the product feature model.Detecting conflicts,it used evolution strategy to eliminate the conflicts.At last,the result of a case in the paper illustrates the effectiveness of the proposed method.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊(2014版)
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编:怀进鹏
  • 地址:北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编:100083
  • 邮箱:ceaj@vip.163.com
  • 电话:
  • 国际标准刊号:ISSN:1002-8331
  • 国内统一刊号:ISSN:11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:97887