计算机科学 ›› 2017, Vol. 44 ›› Issue (11): 104-108.doi: 10.11896/j.issn.1002-137X.2017.11.016
赵娜,王剑,李彤,郁涌,李鹏,谢仲文
ZHAO Na, WANG Jian, LI Tong, YU Yong, LI Peng and XIE Zhong-wen
摘要： 以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而 对构建的基于构件的可信软件模型中的可执行的构件集进行描述。 在描述的可信构件网模型框架中,将讨论两个构件基于连接件的并行组装、选择组装、顺序组装、循环组装。通过连接件的连接作用,根据一定的组织关系协调构件之间的关系,最终将组合的构件形成一个有机的整体。
| [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! |
|
||
首页