Modeling and Analysis of Aspect-oriented NVP Based on HCPN

doi:10.3969/j.issn.1000-3428.2012.16.015

Computer Engineering ›› 2012, Vol. 38 ›› Issue (16): 61-64. doi: 10.3969/j.issn.1000-3428.2012.16.015

• Networks and Communications • Previous Articles Next Articles

Modeling and Analysis of Aspect-oriented NVP Based on HCPN

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

(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

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

孙晓星 ¹，虞慧群 ^1,2

(1. 华东理工大学计算机科学与工程系，上海 200237；2. 上海市计算机软件评测重点实验室，上海 201112)

作者简介:孙晓星(1981－)，女，博士研究生，主研方向：形式化方法，软件工程；虞慧群，教授、博士生导师
基金资助:
国家自然科学基金资助项目(60773094, 61173048)

Abstract

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

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

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

CLC Number:

TP311

SUN Xiao-Xing, YU Hui-Qun. Modeling and Analysis of Aspect-oriented NVP Based on HCPN[J]. Computer Engineering, 2012, 38(16): 61-64.

孙晓星, 虞慧群. 基于HCPN的面向方面NVP建模与分析[J]. 计算机工程, 2012, 38(16): 61-64.

/ / Recommend / Download Citations

URL: http://www.ecice06.com/EN/10.3969/j.issn.1000-3428.2012.16.015

http://www.ecice06.com/EN/Y2012/V38/I16/61

[1]	Chundong WANG, Xiangyu WANG. Improved Multi-Storey Practical Byzantine Fault Tolerance Algorithm [J]. Computer Engineering, 2023, 49(8): 29-36.
[2]	CHEN Zhixu, JIN Yanxia, LU Ye, YANG Jing, LIU Yabian, SHI Zhiru. Multi-Precision Clothing Modeling Method Based on Subgraph Convolutional Neural Network [J]. Computer Engineering, 2023, 49(4): 174-181.
[3]	WANG Yubo, CHEN Lifeng, XU Weixia. Anomaly Detection Method Combining with Multi-Decoder and Two-Stage Channel Selection [J]. Computer Engineering, 2023, 49(3): 37-48.
[4]	LIU Zekun, WANG Feng, JIA Hairong. Optimization Scheme of PBFT Algorithm Combining Dynamic Credit Mechanism [J]. Computer Engineering, 2023, 49(2): 191-198.
[5]	ZHANG Liang, LIU Baixiang. Survey on Integrated Technology of Blockchain and Secret Sharing [J]. Computer Engineering, 2022, 48(8): 1-11.
[6]	ZHANG Yexing, CHEN Min, PAN Qiuyu. Object Detection Method Based on Feature Channel Modeling [J]. Computer Engineering, 2022, 48(7): 264-269,299.
[7]	ZHAO Yue, WU Zhihao, ZHAO Yiji. CTR Prediction Method Based on Feature and Domain Perception [J]. Computer Engineering, 2022, 48(3): 60-68.
[8]	LI Tingting, XIE Zhenping. A New Experimental Analysis Method for Exploring the Property of Human Vision on Motion Cognition [J]. Computer Engineering, 2022, 48(11): 266-274,283.
[9]	WANG Shu, XU Chonghuan, TANG Zhongyun. Reputation-Based Two-Stage Traceability Blockchain Consensus Strategy [J]. Computer Engineering, 2021, 47(7): 109-116.
[10]	JIA Xunan, WEI Tingxin, QU Weiguang, GU Yanhui, ZHOU Junsheng. Study on Complex Sentence Identification and Its Relation Recognition Based on Neural Network [J]. Computer Engineering, 2021, 47(11): 54-61.
[11]	XIA Rui, QIAN Zhenjiang, LIU Wei. A Verification Method of Security Communication Protocol Based on Isabelle/HOL [J]. Computer Engineering, 2021, 47(1): 146-153.
[12]	ZHAO Danfeng, LIU Xinyang, DAI Shuyuan, HUANG Dongmei, MEI Haibin. Research on Collaborative Integrated Process Management System for Ocean Computing Model [J]. Computer Engineering, 2020, 46(6): 230-240.
[13]	ZHANG Mohua, PENG Jianhua. Extensible Gaussian Mixture Model for Image Prior Modeling [J]. Computer Engineering, 2020, 46(4): 220-227.
[14]	TAN Minsheng, YANG Jie, DING Lin, LI Xingjian, XIA Shiying. Review of Consensus Mechanism of Blockchain [J]. Computer Engineering, 2020, 46(12): 1-11.
[15]	ZHOU Weixiang, ZHANG Wen, YANG Bo, LIU Yi, ZHANG Lin, ZHANG Yangsen. Research on Personalized Recommendation Algorithm for Microblog Users [J]. Computer Engineering, 2020, 46(10): 60-66,73.

Please choose a citation manager

Content to export

Modeling and Analysis of Aspect-oriented NVP Based on HCPN

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

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments

模态框（Modal）标题

Please choose a citation manager

Content to export

Modeling and Analysis of Aspect-oriented NVP Based on HCPN

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

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments