计算机科学与探索 ›› 2012, Vol. 6 ›› Issue (7): 621-630.DOI: 10.3778/j.issn.1673-9418.2012.07.006

• 学术研究 • 上一篇    下一篇

网构软件可信性演化评估分层Petri网模型

司冠南1,2,杨巨峰1,2+,许  静1,2   

  1. 1. 南开大学 信息技术科学学院,天津 300071
    2. 南京大学 计算机软件新技术国家重点实验室,南京 210093
  • 出版日期:2012-07-01 发布日期:2012-07-02

Evolution Evaluating Model for Dependability of Internetware Based on Hierarchical Petri Nets

SI Guannan1,2, YANG Jufeng1,2+, XU Jing1,2   

  1. 1. College of Information Technical Science, Nankai University, Tianjin 300071, China
    2. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
  • Online:2012-07-01 Published:2012-07-02

摘要: 对网构软件系统初始化及系统演化时实体间信任关系的建立、演化和评估问题进行了研究。通过结构分析,建立了网构软件系统结构模型,并给出了基于分层Petri网的评估模型;从系统整体组成结构与各实体内部访问控制策略两方面,对网构软件演化过程中的可信性演化情况进行了评估;解决了原有基于信任度量的模型对系统初始化及新建立实体可信性支持不足的问题,并提供了服务实体对客户实体的反向信任机制。

关键词: 网构软件, 可信性, 演化, 评估, 分层Petri网

Abstract: This paper studies the establishment and evaluation of Internetware system initialization and evolution for trust relationship among entities, establishes an Internetware system structure model by structure analysis, proposes an evolution evaluating model for dependability based on the Internetware system structure model, which uses hierarchical Petri nets. The model evaluates dependability evolution of Internetware from whole system architecture and internal access control policies of entities. The proposal solves the problem that trust measurement and evolution model of Internetware lacks support to the dependability of system initialization and newly created entities. Additionally, the proposal provides mechanism for server entities to establish trust to client entities.

Key words:  Internetware, dependability, evolution, evaluation, hierarchical Petri nets