作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2012, Vol. 38 ›› Issue (16): 61-64. doi: 10.3969/j.issn.1000-3428.2012.16.015

• 软件技术与数据库 • 上一篇    下一篇

基于HCPN的面向方面NVP建模与分析

孙晓星 1,虞慧群 1,2   

  1. (1. 华东理工大学计算机科学与工程系,上海 200237;2. 上海市计算机软件评测重点实验室,上海 201112)
  • 收稿日期:2011-10-21 修回日期:2011-12-02 出版日期:2012-08-20 发布日期:2012-08-17
  • 作者简介:孙晓星(1981-),女,博士研究生,主研方向:形式化方法,软件工程;虞慧群,教授、博士生导师
  • 基金资助:
    国家自然科学基金资助项目(60773094, 61173048)

Modeling and Analysis of Aspect-oriented NVP Based on HCPN

SUN Xiao-xing 1, YU Hui-qun 1,2   

  1. (1. Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China; 2. Shanghai Key Laboratory of Computer Software Evaluating &Testing, Shanghai 201112, China)
  • Received:2011-10-21 Revised:2011-12-02 Online:2012-08-20 Published:2012-08-17

摘要: 为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。

关键词: N版本编程, 容错, 面向方面的编程, 层次着色Petri网, 建模

Abstract: Aiming at detecting the design faults at early development stage and reducing the overhead that N-version Programming(NVP) fault tolerance strategy may bring into a system, this paper proposes an aspect-oriented modeling method based on Hierarchical Colored Petri Net(HCPN). NVP is modularized into an aspect sub-module and woven into a final executable HCPN. An aspect-oriented NVP model is built through a case study of searching system using this method. Analysis result verifies the correctness and effectiveness of this NVP model.

Key words: N-version Programming(NVP), fault tolerance, Aspect-oriented Programming(AOP), Hierarchical Colored Petri Net(HCPN), modeling

中图分类号: