Computer Science ›› 2017, Vol. 44 ›› Issue (11): 104-108.doi: 10.11896/j.issn.1002-137X.2017.11.016
Previous Articles Next Articles
ZHAO Na, WANG Jian, LI Tong, YU Yong, LI Peng and XIE Zhong-wen
[1] YUSOF Y,OMER F R.Combining structure and function-based deseriptors for component retrieval in software digital libraries[J].Integrated Computer-Aided Engineering,2008,15(4):279-296. [2] LIU H,MA Z Y,SHAO W Z.Progress of Research on Metamodeling[J].Journal of Software,2008,9(6):1317-1327.(in Chinese) 刘辉,麻志毅,邵维忠.元建模技术研究进展.软件学报,2008,19(6):1317-1327. [3] ABRIAL J R.The B-Book:AssingingProgarms to Meanings[M].Cambridge University Presss,1996. [4] LUMPE M,ACHERMANN F,NIERSTRASZ O.A formal language of composition.Foundations of Component-based Systems[M].Cambridge Univesrity Press,2000:69-90. [5] MAGEE J,DULAY N,EISENBAEH S,et al.Specifying distri-buted software architectures[C]∥Fifth European Software Engineering Conferenee.September 1995:137-153. [6] MAGEE J,KRAMER J.Dynamics structure in software architectures[C]∥Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering.San Francisco,CA,1996:3-14. [7] LUCKHAM D C,AUGUSTIN L M, KENNEY JAMES VERA J J,et al.Specification and analysis of system architecture using RaPide[J].IEEE Transactions on Software Engineering,1995,21(4):336-355. [8] ALLEN R.A formal approach to software architecture [D].Camegie Mellon University,1997. [9] ALLEN R,GARLAN D.A formal approach to software architectures[C]∥Proceedings of IFIP’92.Elsevier Science Publi-shers B.V.,1992:134-141. [10] 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. [11] YANG X,MA J,HOU J K.Formal description for architecture model based on feature and category theory[J].Computer Integrated Manufacturing Systems,2009,15(7):1317-1322.(in Chinese) 杨潇,马军,侯金奎.基于特征和范畴理论的体系结构模型形式化描述[J].计算机集成制造系统,2009,15(7):1317-1322. [12] CHANG Z M,MAO X J,QI Z C.Component Model and Its Implementation of Internetware Based on Agent[J].Journal of Software,2008,19(5):1113-1124.(in Chinese) 常志明,毛新军,齐治昌.基于Agent的网构软件构件模型及其实现[J].软件学报,2008,19(5):1113-1124. [13] ZHANG J J,DONG W.Component Composition Operations and Properties Based on Petri Net[J].Microelectronics &Computer,2006,23(Supp):95-99.(in Chinese) 张继军,董卫.基于Petri网的构件组装运算及其性质[J].微电子学与计算机,2006,23(增刊):95-99. [14] ZHU Q,WANG X P,XUE X P,et al.Dynamic Evolution of Internetware System Based on Component[J].Computer Engineering,2010,36(1):55-60.(in Chinese) 朱庆,王小平,薛小平,等.基于构件的网构软件系统动态演化[J].计算机工程,2010,36(1):55-60. [15] ZHAO N.The Description and Evolution of Components on the Basis of EOOPN[D].Kunming:Yunnan University,2011.(in Chinese) 赵娜.基于EOOPN的构件描述及演化研究[D].昆明:云南大学,2011. |
No related articles found! |
|