Computer Science ›› 2017, Vol. 44 ›› Issue (3): 202-208.doi: 10.11896/j.issn.1002-137X.2017.03.043

Previous Articles     Next Articles

Research on Component Evolving Behavior Based on High-order π Calculus

HE Hai-yang, LI Qiang, YU Xiang and HAN Xiang-yu   

  • Online:2018-11-13 Published:2018-11-13

Abstract: Using formal method to analyze the behaviors of component in the software evolution has become a research hotspot now.According to the requirement of the formal method supporting the component evolving behavior,a formal method for component evolving behavior,which is based on High-order π calculus,was proposed.It will classify the component evolving behaviors and transform the sequence diagram described evolution requirements into High-order π expressions.Based on the rule and equivalence of High-order π calculus,the evolving behaviors are computed and the evolving conflicts are detected.At last,this paper used an example to prove the feasibility and availability of this method.

Key words: Component evolution,Evolving behavior,High-order π calculus

[1] RAJLICH V.Software Evolution and Maintenance[C]∥on Future of Software Engineering:ACM,2014:133-144.
[2] ZHANG H,ZHANG L,XU Q,et al.A formalized architecture-centric evolution process for component-based software system[C]∥IEEE Intelligent Control and Automation.2014:3461-3466.
[3] XU J,XIAO G,ZHANG Y M,et al.Research on Component Be- havior Fragment Extraction and Composition Based on Logical Reasoning[J].Computer Science,2012,39(5):120-123.(in Chinese) 徐俊,肖刚,张元鸣,等.基于逻辑推理的构件行为片段提取与重组研究[J].计算机科学,2012,39(5):120-123.
[4] SHEN L M,YANG H F,MA C,et al.Software Behavior Detection Method Based on Hierarchical Relation Analysis[J].Journal of Chinese Computer Systems,2014,35(9):1945-1955.(in Chinese) 申利民,杨慧锋,马川,等.基于层次关系分析的一种软件行为检测方法[J].小型微型计算机系统,2014,35(9):1949-1955.
[5] PIERARD A,SUMII E.A higher-order distributed calculuswith name creation[C]∥IEEE Symposium on Logic in Compu-ter Science.2012:531-540.
[6] JEFFREY A,RATHKE J.Contextuale quivalence for higher-order picalculus revisited[J].LMCS,2005,1:1-4.
[7] WANG D,CHANG J S,ZHAO W B.Verification Model for Trust- worthiness of Interaction between Software Components with Picaculus[J].Journal of Frontiers of Computer Science and Technology,2012,6(5):419-429.(in Chinese) 王丹,常建生,赵文兵.使用Pi演算的构件交互可信性验证模型[J].计算机科学与探索,2012,6(5):419-429.
[8] CHEN Z,ZHANG J,MIAO H,et al.A Formal Modeling For Component Behaviors Based on Event Track[Z].2010,3-116.
[9] WEI W,TONG L.Component Behavior Modeling and Relativity Analysis[C]∥International Conference on Intelligent Computing and Cognitive Informatics.2010:218-222.
[10] ZHENG F,HU H,JIAN L.Applying a Component BehaviorModel to MVC Pattern[C]∥International Conference for Young Computer Scientists,ICYCS 2008.Hunan,China, 2008:1106-1111.
[11] HUACHENG Q I,RONG M,ZHANG G.A Behavior-DrivenModel of Component Interaction Adaptation[J].Computer Engineering & Applications,2009,5(21):156-159.
[12] MA L,WU H G,WU G Q.Visualization of software behavior-oriented requirements model[J].Application Research of Computers,2015,32(8):2406-2409.(in Chinese) 马丽,吴怀广,毋国庆.面向软件行为的需求模型可视化研究[J].计算机应用研究,2015,32(8):2406-2409.
[13] MA L,WU G Q,HUANG B,et al.Visualization Method of BDL Model to UML State Diagram[J].Computer Science,2015,42(7):38-43.(in Chinese) 马丽,毋国庆,黄勃,等.BDL模型到UML状态图的可视化方法研究[J].计算机科学,2015,42(7):38-43.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!