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

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

作　　者：赵娜[1,2] 王剑 李彤[1,2] 郁涌[1,2] 李鹏 谢仲文[1,2] 

机构地区：[1]云南大学软件学院,昆明650500 [2]云南省软件工程重点实验室,昆明650500 [3]昆明理工大学信息工程与自动化学院,昆明650500 [4]云南大学,昆明650500

出　　处：《计算机科学》2017年第11期104-108,共5页Computer Science

基　　金：国家自然科学基金(61662085;61379032;61364024;61462091;61462095;61462092);云南省软件工程重点实验室&交通大数据中心应用基础研究专项(2016SE202);云南省软件工程重点实验室开放基金资助项目(2017SE205);云南大学中青年骨干教师培养计划资助

摘　　要：以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对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.

关 键 词：可信构件 构件网 PETRI网 构件组装 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]