语义网格过程语义与其验证理论和服务集成技术应用.pdfVIP

提纲

o创新内容

o论文及获奖情况

o进一步开展的工作

项目进展

软件工具语义验证、分析工具语义网格服务集成支撑软件

核心方法示范应用

语义模型语义验证协作规范和方法

PN机模型PN机结构性质

PN机合成与分解

PN机递阶建模理论PN机行为分析基础理论

第一年第二年后三年

项目进展情况

oPN机及其建模、分析理论

o面向网格的PN机模型及其调度理论

o语义分析及数据挖掘

oWeb服务及语义Web服务

o网格、Internet环境下的电子商务PN机及其验证

o交通信息服务中的网络智能

PN机及其建模、分析理论

oPN机的递阶建模及其分析理论

n针对复杂工作流的建模及其分析，定义了PN机的精炼操

作，并讨论了精炼操作的行为表达及其动态性质。

o一方面，精炼操作支持工作流的层次化建模，可以自顶

向下的，通过逐层的求精和细化，实现复杂工作流的有

效建模；

o另一方面，精炼操作可以有效降低模型分析的复杂度，

对于一个可靠的精炼工作流网而言，其行为与原网和子

网行为保持一致，并且满足完整性要求，因而可以通过

精炼操作，将复杂工作流网的分析工作转化若干个子网

的性质分析。

PN机及其建模、分析理论

oPN机结构分析方法

n不变量、可重复向量及死锁（siphon）是PN机中重要的结构概念。

它们不仅反映了模型的物理特性，而且能够有效刻画和描述系统的

态性质，如可达性、活性、公平性及不变性等。我们建立了三类结构

概念间的关系，并给出了相应的求解算法，该方法是基于线性方程组

求解的，便于实现计算机的自动求解。

T-分裂T-加

siphon可重复向量不变量FM算法

活性活性不变性

死锁公平性可达性

面向网格环境的语义模型及其分析理论

o面向网格环境，我们构建了网格体系架构的高级PN机（逻辑

PN机）模型，利用该模型，可以清晰地反映系统的静态和动态

特性，并描述了系统事件件的时序关系，并提供了逻辑演绎的

分析手段，能够有效分析和验证网格架构的正确性和完备性，

为网格应用提供保障。

o我们提出了网格资源管理和调度的三层体系，并应用时间Petri

网等建立了各层相应的资源调度模型，这些高级网模型能够很

好的反映各层的行为特性，包括异构和自治等性质。同时，通

过可达性分析方法，可以对调度模型进行吞吐率、负载率及调

度长度等性质的分析

o相关结果发表在《InformationTechnologyJournal》和《

LecturenotesofComputerScience》等。

面向网格环境的语义模型及其分析理论

o为了满足网格环境无缝连接的要求，需要研

究和评估无线网络的性能和效用，为此我们

提出了一种基于随机Petri网的性能分析方

法。该方法针对无AdHoc网中的对