服务构件安全协同建模与验证方法研究

项目名称： 服务构件安全协同建模与验证方法研究

项目编号： No.60903021

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 杜德慧

作者单位： 华东师范大学

项目金额： 17万元

中文摘要： 网络环境中，以组装服务构件的方式生成面向服务的软件系统是目前主流的软件开发范型。然而，现有的构件组装没有将构件的计算模型和协同模型分开讨论，组装方式是静态的，灵活性不够。服务构件协同建模是实现网络环境中服务构件动态组装所面临的主要问题之一，本课题旨在建模、规约和验证服务构件之间的协同行为，实现服务构件安全、灵活的组装，为提高软件系统的质量提供一种新的研究思路。研究基于Linda元组空间的服务构件安全协同模型，在元组总线上设置安全访问控制层，实现元组空间上安全、可靠的访问。研究基于该模型的服务构件协同规约语言，根据系统的安全需求，定义支持安全访问、动态组合的操作原语；研究协同规约语言的操作语义和指称语义模型，并基于程序统一理论（UTP）讨论语义模型之间的等价性。研究基于安全属性的组合验证算法，提高验证服务构件协同行为正确性的效率，并实现相应的原型系统。

中文关键词： 服务构件；协同；模型检测；MARTE；可信软件

英文摘要：

英文关键词： service component；coordination；model checking；MARTE；trustworthy software