非确定型Web服务流程重组的可靠性验证技术

项目名称： 非确定型Web服务流程重组的可靠性验证技术

项目编号： No.61502294

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

立项/批准年度： 2016

项目学科： 自动化技术、计算机技术

项目作者： 高洪皓

作者单位： 上海大学

项目金额： 20万元

中文摘要： 在云计算和大数据环境下，由于可变粒度、数据密集型、不确定性和时效性等新特征，非确定型Web服务成员众多，成员及成员间关系多变，使得服务流程可能随时发生变化，如何对重组后的服务流程进行可靠性验证是保障核心业务逻辑可信的关键问题。本课题拟采用概率模型检验技术研究非确定型Web服务流程重组的建模与定量验证，重点研究支持描述非确定型服务特征的服务模型，研究支持非确定型服务的服务流程重组方法，研究支持非确定型服务流程重组的定量验证与优化方法，研制支持非确定型服务可靠性的建模与定量验证的原型工具平台。本课题从服务流程重组角度对功能性和非功能性进行形式化验证，能确保非确定型服务流程重组是可靠的。因此，该项研究将丰富定量的模型检验技术在服务计算、服务网络等领域的应用和探索，有助于提高网络软件的可信性，对促进现代服务业发展具有重要的理论指导意义。

中文关键词： 非确定型Web服务；服务流程重组；服务流程可靠性；概率模型检验；定量和定性验证

英文摘要： In cloud computing and big data environment, due to natures of variable granularity, data intensive, uncertainty and timeliness, the Non-Deterministic Web service consists of kinds of component services, among which they have numerous and complex relationships. It makes the change probably happened in their service processes. Thus, how to verify the reengineered service process is a key problem to guarantee the trustworthy of core logic business. In this project, the probabilistic model checking will be employed to study the service process modeling and quantitative verification of Non-Deterministic Web service-based process reengineering. The research contents include four parts: 1) the service model for describing new natures of Non-Deterministic Web service will be studied. 2) The service process reengineering method will be discussed. 3) The quantitative verification and optimization techniques for reengineered service process of Non-Deterministic Web service will be explored. 4) The prototype tool platform supporting Non-Deterministic Web service modeling and verification will be designed and developed. From the perspective of functional and non-functional formal verification of service process reengineering, this project aims to make sure that reengineered service process is reliable. The study will enrich the quantitative model checking technology to service computing and service network areas, which will help to improve the credibility of Web-based software in Internet. Therefore, it plays important theory guidance meanings in promoting the prosperity of modern service industry.

英文关键词： Non-Deterministic Web Service;Service Process Reengineering;Reliability of Service Process;Probabilistic Model Checking;Quantitative and Qualitative Verification