Computer Science ›› 2017, Vol. 44 ›› Issue (7): 141-146.doi: 10.11896/j.issn.1002-137X.2017.07.026
Previous Articles Next Articles
LIN Lei-lei, ZHOU Hua, DAI Fei, HE Zhen-li, SHEN Yong and KANG Hong-wei
[1] WANG X G,FENG Y G,MEI H.ABC/ADL:An XML-Based Software Architecture Description Language[J].Journal of Computer Research and Development,2004,1(9):1521-1531.(in Chinese) 王晓光,冯耀东,梅宏.ABC/ADL:一种基于XML的软件体系结构描述语言[J].计算机研究与发展,2004,1(9):1521-1531. [2] ZHU X Y,TANG Z S.A temporal logic-based software architecture description language XYZ/ADL[J].Journal of Software,2003,4(4):713-712.(in Chinese) 朱雪阳,唐稚松.基于时序逻辑的软件体系结构描述语言XYZ/ADL[J].软件学报,2003,4(4):713-720. [3] ALLEN R,GARLAN D.A Formal Basis for Architectural Connection[J].Acm Transactions on Software Engineering & Methodology,1997,7(2):66-90. [4] LUCKHAM D C,VERA J.An Event-Based Architecture Definition Language[J].IEEE Transactions on Software Enginee-ring,1995,21(9):717-734. [5] RONG M,ZHANG G Q.Software Architecture Description Approach Integrating Formal Methods and Visual Methods[J].Computer Science,2005,2(4):205-208.(in Chinese) 戎玫,张广泉.形式化与可视化相结合的软件体系结构描述方法研究[J].计算机科学,2005,2(4):205-208. [6] GARLAN D.Style-Based Refinement for Software Architecture[C]∥Proceedings of the Second International Software Architecture Workshop(ISAW-2).1998:72-75. [7] WANG J L,SHEN L M,NIU J C.Context sensitive-based refinement of components[J].Journal of Computer Applications,2008,8(4):1058-1060.(in Chinese) 王建龙,申利民,牛景春.基于上下文有关的构件求精方法[J].计算机应用,2008,8(4):1058-1060. [8] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006. [9] BERGSTRA J A,KLOP J W.Process algebra for aynchronous communication[J].Information and Control,1984,0(1/3):109-137. [10] DAI F,LI T,XIE Z W,et al.Towards an Algebraic Semantics of Software Evolution Process Models[J].Journal of Software,2012,3(4):846-863.(in Chinese) 代飞,李彤,谢仲文,等.一种软件演化过程模型的代数语义[J].软件学报,2012,3(4):846-863. [11] XIA C L.The Analysis and Application of a PP Type Petri Net’sSubnet Refinement[J].Computer Science,2006,3(9):241-244.(in Chinese) 夏传良.Petri网的TT型子网精细化操作性质分析及其应用[J].计算机科学,2006,3(9):241-244. [12] LIN L L,DAI F,LI T,et al.Research on State ConsistencyBased on Hierarchical Petri Nets[J].Journal of Chinese Computer Systems,2015,6(7):1481-1486.(in Chinese) 林雷蕾,代飞,李彤,等.Petri网层次结构中的状态一致性研究[J].小型微型计算机系统,2015,6(7):1481-1486. [13] DINGLE N J,KNOTTENBELT W J,SUTO T.PIPE2:a toolfor the performance evaluation of generalised stochastic Petri Nets[J].Acm Sigmetrics Performance Evaluation Review,2009,36(4):34-39. [14] LUO A M.Research on Information System Architecture De-scription Method based on Multi-view[J].Computer Science,2010,7(8):294-297.(in Chinese) 罗爱民.基于可执行模型的体系结构验证评估方法[J].计算机科学,2010,7(8):294-297. [15] YANG H B,QIAO Y M.Component assembly model based on Petri net[J].Journal of Jiangsu University(Natural Science Edition),2010,1(4):452-457.(in Chinese) 杨鹤标,乔亦民.基于Petri网的构件组装模型[J].江苏大学学报(自然科学版),2010,1(4):452-457. [16] ZHAO H,SUN W M,TANG S F.Research on Software Component Refinement[J].Journal of Chinese Computer Systems,2010,1(3):418-422.(in Chinese) 赵恒,孙为民,唐素芬.软件构件求精方法研究[J].小型微型计算机系统,2010,1(3):418-422. |
No related articles found! |
|