计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 234-241.doi: 10.11896/j.issn.1002-137X.2016.11.046
谢仲文,明利,林英,秦江龙,莫启,李彤
XIE Zhong-wen, MING Li, LIN Ying, QIN Jiang-long, MO Qi and LI Tong
摘要： 在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象；其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法；再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致；最后,通过案例研究对所提方法的可行性进行验证。
| [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! |
|
||
首页