Computer Science ›› 2016, Vol. 43 ›› Issue (11): 234-241.doi: 10.11896/j.issn.1002-137X.2016.11.046

Previous Articles     Next Articles

Consistency Analysis of Software Dynamic Evolution Based on Petri Net

XIE Zhong-wen, MING Li, LIN Ying, QIN Jiang-long, MO Qi and LI Tong   

  • Online:2018-12-01 Published:2018-12-01

Abstract: On the basis of the challenges about analyzing software dynamic evolution,taking extended Petri nets as the main formalism,in the view of dynamic-evolution-oriented software architecture meta-model DEAM,the problem to be analyzed is how to ensure the consistency during dynamic evolution.Firstly,the main strategies of consistency analysis was discussed,and the components were selected as the basic analysis objects of dynamic evolution.Secondly,from the perspective of component structure evolution,the sub-net types of the components were analyzed and the methods were presented to assure the structure consistency.Thirdly,in the view of component behavior evolution,via setting up simulative relation,it was analyzed whether the component behavior consistency is preserved or not after evolution.Finally,a case study verifies the feasibility of the proposed method.

Key words: Software dynamic evolution,Software architecture,Behavior simulation,Consistency preservation

[1] Yang Fu-qing.Thinking on the Development of Software Engi-neering Technology[J].Journal of Software,2005,6(1):1-7(in Chinese) 杨芙清.软件工程技术发展思索[J].软件学报,2005,6(1):1-7
[2] Li Tong.An Approach to Modelling Software Evolution Processes[M].Springer-Verlag,Berlin,2008
[3] Lehman M M.Laws of software evolution revisited[C]∥Proceeding of the European Workshop on Software Process Technology.Namcy,1996:108-124
[4] Li Chang-yun.Research on Architecture-Based Software Dyna-mic Evolution[D].Hangzhou:Zhejiang University,2005(in Chinese) 李长云.基于体系结构的软件动态演化研究[D].杭州:浙江大学,2005
[5] Xu Hong-zhen,Zeng Guo-sun,Chen Bo.Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures[J].Journal of Software,2011,2(6):1210-1223(in Chinese) 徐洪珍,曾国荪,陈波.软件体系结构动态演化的条件超图文法及分析[J].软件学报,2011,22(6):1210-1223
[6] Mens T,Buckley J,Zenger M,et al.Towards a Taxonomy of Software Evolution[C]∥Proceeding of International Workshop on Unanticipated Software Evolution.Warsaw,Poland,2003:1-18
[7] Moazami-Goudarzi K.Consistency preserving dynamic reconfi-guration of distributed systems[D].London:Imperial College,1999
[8] Dou Lei.Research on Dynamic Reconfiguration Technology in Component-Oriented Complex Software System [D].National University of Defense Technology.Changsha,2005(in Chinese) 窦蕾.面向构件的复杂软件系统中动态配置技术的研究[D].长沙:国防科学技术大学,2005
[9] Mei Hong,Shen Jun-rong.Progress of Research on SoftwareArchitecture[J].Journal of Software,2006,17(6):1257-1275(in Chinese) 梅宏,申峻嵘.软件体系结构研究进展[J].软件学报,2006,17(6):1257-1275
[10] Xie Zhong-wen,Li Tong,Dai Fei,et al.An Approach to Mode-ling and Normalizing Dynamic-evolution-oriented Software Requirements[J].Journal of Frontiers of Computer Science and Technology,2012,6(6):557-576(in Chinese) 谢仲文,李彤,代飞,等.面向软件动态演化的需求建模及其模型规范化[J].计算机科学与探索,2012,6(6):557-576
[11] Milner R.Communicating and Mobile Systems:the pi-calculus[M].Cambridge University Press,1999
[12] IEEE.IEEE recommended practice for architectural description of software-intensive systems[J].IEEE,IEEE Std1471-2000,2000
[13] Qin Zheng,Xing Jian-kuan,Dong Jin-chun,et al.Software Ar-chitecture(Second Edition)[M].Beijing:Tsinghua University Press.2008(in Chinese) 覃征,刑剑宽,董金春,等.软件体系结构(第2版)[M].北京:清华大学出版社,2008
[14] Girault C,Valk R.Petri Nets for Systems Engineering:A Guide to Modeling,Verification,and Applications[M].Berlin:Springer-Verlag.2003
[15] Fokkink W.Introduction to Process Algebra[M].NewYork,Springer-Verlag,2007
[16] Xie Zhong-wen.Model and Methodology of Requirements-Dri-ven and SA-Based Software Dynamic Evolution[D].Kunming:Yunnan University,2012(in Chinese) 谢仲文.一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法[D].昆明:云南大学,2012
[17] Miladi M N,Jmaiel M,Kacem M H.A UML profile and a FUJABA plugin for modelling dynamic software architectures[C]∥Proc.of the Workshop on Model-Driven Software Evolution.Washington:IEEE Press,2007:20-26
[18] Kacem M H,Kacem A H,Jmaiel M,et al.Describing dynamic software architectures using an extended UML model[C]∥Proc.of the Symp.on Applied Computing.New York:ACM Press,2006:1245-1249
[19] Bruni R,Bucchiarone A,Gnesi S,et al.Modelling dynamic software architectures using typed graph grammars[J].Electronic Notes in Theoretical Computer Science,2008,3(1):39-53
[20] Abi-Antoun M,Aldrich J,Garlan D,et al.Modeling and implementing software architecture with acme and archJava[C]∥Proc.of the 27th Int’l Conf.on Software Engineering.New York:ACM Press,2005:676-677
[21] Mei H,Chen F,Wang Q X,et al.ABC/ADL:An ADL suppor-ting component composition[C]∥ICFEM 2002.Shanghai,2002:38-47
[22] Ding Bo,Wang Huai-min,Shi Dian-xi,et al.Component Model Supporting Trustworthiness-Oriented Software Evolution[J].Journal of Software,2011,22(1):17-27(in Chinese) 丁博,王怀民,史殿习,等.一种支持软件可信演化的构件模型[J].软件学报,2011,22(1):17-27
[23] Zhao Hui-qun,Sun Jing.An Algebraic Model of Service Oriented Trustworthy Software Architecture[J].Chinese Journal of Computer,2010,33(5):890-899(in Chinese) 赵会群,孙晶.面向服务的可信软件体系结构代数模型[J].计算机学报,2010,33(5):890-899
[24] Wang Ying-hui,Liu Yu,Wang Li-fu.SA Dynamic EvolutionModel Based on Static-Point Transition[J].Chinese Journal of Computer,2004,27(11):1451-1456(in Chinese) 王映辉,刘瑜,王立福.基于不动点转移的SA动态演化模型[J].计算机学报,2004,27(11):1451-1456
[25] OSGi Service platform .http://core.ac.uk/display/38522655
[26] Huang G,Mei H,Yang F Q.Runtime software architecturebased on reflective middleware[J].Science in China(Series E),2004,4(2):121-138(in Chinese) 黄罡,梅宏,杨芙清.基于反射式软件中间件的运行时软件体系结构[J].中国科学(E 辑),2004,4(2):121-138
[27] Ma X X,Cao C,Yu P,et al.A supporting environment based on graph grammar for dynamic software architectures[J].Journal of Software,2008,9(8):1881-1892(in Chinese) 马晓星,曹春,余萍,等.基于图文法的动态软件体系结构支撑环境[J].软件学报,2008,9(8):1881-1892
[28] Xie Zhong-wen,Li Tong,Dai Fei,et al.Modelling Dynamic Evolution-oriented Software Architecture Based on P etri Net[J].Computer Applications and Software,2012,29(10):36-39,7(in Chinese) 谢仲文,李彤,代飞,等.基于Petri网的面向动态演化的软件体系结构建模[J].计算机应用与软件,2012,9(10):36-39,7

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!