面向对象的可信构件网的组装研究

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

以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而对构建的基于构件的可信软件模型中的可执行的构件集进行描述。在描述的可信构件网模型框架中,将讨论两个构件基于连接件的并行组装、选择组装、顺序组装、循环组装。通过连接件的连接作用,根据一定的组织关系协调构件之间的关系,最终将组合的构件形成一个有机的整体。

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.