位置：立项数据库 > 立项详情页
面向语义约束的协同过程形式化建模与验证的研究
  • 项目名称：面向语义约束的协同过程形式化建模与验证的研究
  • 项目类别：地区科学基金项目
  • 批准号：60863015
  • 申请代码：F020806
  • 项目来源：国家自然科学基金
  • 研究期限：2009-01-01-2011-12-31
  • 项目负责人：周建涛
  • 负责人职称：教授
  • 依托单位：内蒙古大学
  • 批准年度：2008
中文摘要：

本课题研究网格环境下、面向协同应用的、大规模的、基于流程的、可信系统中面向语义约束的过程建模和验证。主要研究内容有（1）扩展基于Petri网的网格工作流过程描述模型，增加控制流上的语义约束和描述分布式协同过程的方法。（2）突破结构验证的局限，研究协同验证的理论，提出协同验证的二维性，一个维度考虑规模，基于语义约束验证子模型的合成；一个维度考虑内容，基于语义约束验证协同目标的实现。（3）针对协同验证的新特性，分布式和动态性，提出有效、合理的在两个维度上交叉进行的验证过程。（4）基于化简技术，给出面向语义约束的完备的化简验证规则。本课题拟建立完善的协同过程建模和验证体系，特别是填补在验证理论和方法研究上的不足。另外，本课题还研究了建模、验证理论在典型的网络软件- - 网络协议中的应用。

中文主题词： 协同；网格工作流；Petri网；语义约束；验证
结论摘要：

英文主题词cooperation;grid workflow;Petri net;sementic constraint;verification

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 15
  • 21
  • 0
  • 0
  • 0
期刊论文
WF-net模型到PNML的转换方法研究与实现
基于UCM的Web应用集成测试方法
主成分分析法的网页篡改检测
UML时序图向PNML转换的研究与实现
一种互操作测试的建模及测试选择方法
移动IPv6协议中移动节点的可执行测试序列生成方法研究
一种轻量级网格工作流引擎的研究与实现
BitTorrent协议的Petri网建模方法研究
BT协议的形式化建模与测试生成
面向资源调度的矩阵规范化方法研究
一致性测试的静态需求测试研究
基于Petri网的构件行为适配模型
DNS服务器解析性能测试方案设计
基于快照轮询和文本检测的批量网页防篡改系统
会议论文
Analyzing Performance for Complex Protocol using Validated CP-nets Models
Test Sequence Generation from Combining Property Modeling and Program Slicing
Study and Design of Graphic Petri Nets analyzer Based on Maria
Creativity Supporting Cooperative Design Based on Cloud Computing Platform
Analyzing and Verifying Petri Net Model of Security Protocol Based on Maria
Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing
QE Modeling and Test Selection Based on PNFSM
Modeling Interactive Property of MIPv6 with Petri Net for Interoperability Testing
基于Petri网的构件行为适配模型
Scalable Process Modeling based on Net Synthesis under Cloud Computing Environment
Scalable CP-nets Modeling for BitTorrent Protocol
SCN: Modeling and Simulation of Resource Constrained Workflow under Cloud Computing Environment
Colored Petri Nets Model based Conformance Test Generation
MRMT: An Algorithm of Matching Resource for Multi-Tasks
Creativity Supporting Workflow in Cloud Platform
TRMA: A Multi-QoS Constrained Task-Resource Matching Algorithm
Security and performance joint analysis method for authentication protocol based on CPN models
Integrating Functional Verification and Performance Analysis for Network Protocols using CP-nets
An Algorithm of Resource Evaluation and Selection Based on Multi-QoS Constraints
An Approach of Creative Application Evolution on Cloud Computing Platform
CP-nets Model Based Formal Verification of HMIPv6 Protocol
相关项目
嵌入式系统编译器与操作系统内核协同的节能方法研究
期刊论文 5 会议论文 24
基于网格工作流的快速扩散制造技术及系统研究
期刊论文 17 会议论文 2 获奖 2
Petri网系统合成与性质保持研究
期刊论文 7 会议论文 2
漆酶电活化及其催化电化学降解水中有机污染物的原理和方法
期刊论文 10 会议论文 3
基于高阶逻辑的分数阶建模与验证理论研究
期刊论文 26 会议论文 4 获奖 6 著作 1
Petri网的活性判定问题
期刊论文 19
并发系统的Petri网结构化分析与综合研究
期刊论文 1 会议论文 2 著作 1
基于PETRI网基本信标的自动制造系统死锁控制研究
期刊论文 34 会议论文 23 著作 1
程序行为控制的语义约束方法研究
期刊论文 18
周建涛的项目
多媒体云计算中基于QoS和可信性的资源协同管理研究
期刊论文 11
数据密集云中资源与任务的协同匹配和动态优化研究
　面向多媒体云计算的资源协同管理关键技术研究
　面向多媒体云计算的资源协同管理关键技术研究
　面向多媒体云计算的资源协同管理关键技术研究