可重写Petri网理论及在大规模动态分布式系统中的应用

项目名称： 可重写Petri网理论及在大规模动态分布式系统中的应用

项目编号： No.61272093

项目类型： 面上项目

立项/批准年度： 2013

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

项目作者： 庞善臣

作者单位： 山东科技大学

项目金额： 82万元

中文摘要： 随着云等新型计算的不断发展，以服务和云计算为应用的大规模动态分布式系统的形式化验证理论研究成为当前研究热点和难点问题。本项目面向大规模动态分布式系统，以解决柔性建模的形式化验证和自组装的动态优化两个关键科学问题为主要目标；以基于位置、变迁和动态编程三种可重写Petri网重写理论为基础，开展柔性建模和动态重写的形式化理论及方法研究，建立三种可重写Petri网的性质保持及继承性检测与分析算法；以服务和云系统为应用背景，利用三种可重写Petri网刻画系统的虚拟化、动态自适应、松耦合、可复用、高度可集成等系统特性，分析其模型机理和形式化语义，提供基于可重写Petri网的形式化语义的大规模动态分布式系统构造和验证方法；在此基础上，研究云服务系统自组装演化的动态评价及优化方法，并开展基于云环境下，基于服务架构的大宗商品交易系统等电子商务系统动态服务模型分析验证研究。

中文关键词： 可重写Petri网；模型验证；动态分布式系统；云计算；服务组合

英文摘要： With the rapid development of new-type computing technologies such as cloud computing, theoretical study of formal verification of large-scale dynamic distributed system being applied to sevice and cloud computing has been currently becoming a difficult and hot research topic. Taking the large-scale dynamic distributed system as the research object, this project focuses on two key problems of formal verification of flexible modeling and dynamic optimization of self-assembly. Particularly. Our research includes the following three aspects. Firstly, on the basis of rewriting theory of three rewritable Petri nets based on the position, transition and dynamic programming , we will research on the formal theory and method of flexible modeling and dynamic rewriting, and propose the properties preservation and inheritability detection algorihtms of the rewritable Petri nets. Secondly, with the application background of cloud computing system and sevices, we will analyse the modeling mechanisms and formal semantics of large-scale dynamic distributed system, and set up the methods of describing the system charactristics of virtualization, dynamic adaptivity, loose coupling, reusable and high integration baed on rewritable Petri nets, and propose large-scale dynamic distributed system construction and verification methods

英文关键词： Rewritable Petri nets；Model Validation；Dynamic Distributed System；Cloud Computing；Service Composition