Computer Science ›› 2017, Vol. 44 ›› Issue (11): 104-108.doi: 10.11896/j.issn.1002-137X.2017.11.016

Previous Articles     Next Articles

Study of Component Assembling Technologies under Object-oriented Trusted Component Model

ZHAO Na, WANG Jian, LI Tong, YU Yong, LI Peng and XIE Zhong-wen   

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

Abstract: The component-based trusted software construction and its key theories and technologies are some of the research focuses in the domain of the trusted software.Our previous work proposed a trusted component net model based on extended object-oriented Petri net so as to provide a set of description tools for component evolution.This paper studied the component assembling techniques under our trusted component net model.Components are assembled together in a meaningful and organic way by means of connectors.The definitions of four types of connector-based components assembling approaches,named parallel assembling,selective assembling,sequential assembling,repetitive assembling,were given,and subsequently their properties and proofs were detailed.

Key words: Trusted component,Component net,Petri net,Component assembly

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!