语义网格的过程语义及其验证理论与服务集成技术.pptVIP

语义网格的过程语义及其验证理论与服务集成技术 蒋昌俊 同济大学 提纲 项目进展 创新内容 论文及获奖情况 进一步开展的工作 项目进展 项目进展情况 PN机及其建模、分析理论 面向网格的PN机模型及其调度理论 语义分析及数据挖掘 Web服务及语义Web服务 网格、Internet环境下的电子商务PN机及其验证 交通信息服务中的网络智能 PN机及其建模、分析理论 PN机的递阶建模及其分析理论 针对复杂工作流的建模及其分析，定义了PN机的精炼操作，并讨论了精炼操作的行为表达及其动态性质。 一方面，精炼操作支持工作流的层次化建模，可以自顶向下的，通过逐层的求精和细化，实现复杂工作流的有效建模； 另一方面，精炼操作可以有效降低模型分析的复杂度，对于一个可靠的精炼工作流网而言，其行为与原网和子网行为保持一致，并且满足完整性要求，因而可以通过精炼操作，将复杂工作流网的分析工作转化若干个子网的性质分析。 PN机及其建模、分析理论 PN机结构分析方法 不变量、可重复向量及死锁（siphon）是PN机中重要的结构概念。它们不仅反映了模型的物理特性，而且能够有效刻画和描述系统的动态性质，如可达性、活性、公平性及不变性等。我们建立了三类结构概念间的关系，并给出了相应的求解算法，该方法是基于线性方程组求解的，便于实现计算机的自动求解。 面向网格环境的语义模型及其分析理论 面向网格环境，我们构建了网格体系架构的高级PN机（逻辑PN机）模型，利用该模型，可以清晰地反映系统的静态和动态特性，并描述了系统事件件的时序关系，并提供了逻辑演绎的分析手段，能够有效分析和验证网格架构的正确性和完备性，为网格应用提供保障。 我们提出了网格资源管理和调度的三层体系，并应用时间Petri网等建立了各层相应的资源调度模型，这些高级网模型能够很好的反映各层的行为特性，包括异构和自治等性质。同时，通过可达性分析方法，可以对调度模型进行吞吐率、负载率及调度长度等性质的分析 相关结果发表在《 Information Technology Journal》和《Lecture notes of Computer Science》等。 面向网格环境的语义模型及其分析理论 为了满足网格环境无缝连接的要求，需要研究和评估无线网络的性能和效用，为此我们提出了一种基于随机Petri网的性能分析方法。该方法针对无线Ad Hoc网中的对称性，构建了单个网络节点活动的语义PN机模型，并计算相应的网络性能。实验结果表明该方法在重网络负载的情况下仍然能够得到较为精确的计算结果。 相关结果将在“WCNM05”上发表 语义分析及数据挖掘 概念实例提取是面向语义Web的实例标注中的关键问题，尤其是如何有效识别Web页面中的表结构并从中提取实例受到人们广泛关注。实际上，这也是一个困难问题。现有大多数的方法需要有一些包含类似表结构的Web页面作为训练样本，并要提供相应的页面模板，用以定位表结构。但是，在一些应用中，这样的页面模板未必存在，此外，这些方法为了提取表结构中的实例要求用户定义的分割很难具有通用性。对此，我们提出了一种从表结构中抽取概念实例的方法，包括两个步骤：表发现(Table Detection)和表的语义分析(Semantic Analysis)。表发现步骤负责识别页面中是否包含待分析的表结构并获取出表的内容，而表的语义分析步骤将挖掘隐含在表中的语义信息进而找到其中概念实例对应的本体概念。 该结果被“International Journal of Tools with Artificial Intelligence”录用. 语义分析及数据挖掘 研究了约束条件下的序列模式挖掘高效方法，给出了能够处理多种约束类型的序列模式挖掘一般模型。我们的工作更具有一般性，对约束处理的策略具有较高的通用性，同时也保持了较好的灵活性，即可灵活地在通用策略基础上,扩展针对具体约束类型的单项剪枝强化策略。 提出了一种新的基于多目标演化算法的动态聚类算法。和传统的静态聚类算法不同，这种算法不需要预先指定类的个数，而是采用变长染色体的编码方式，使得算法在搜索空间内同时搜索最优的类的个数和类的中心的位置。最后，我们从UCI机器学习数据仓库中选取了几个数据集来验证算法的有效性，得到了很好的结果。 此结果发表在《Lecture Notes》上 Web服务及语义Web服务 工业界提出了针对企业应用高效整合的面向服务体系结构（SOA）和Web Service技术，学术界提出了针对异构资源整合的网格技术。我们在吸收上述思想和技术优点基础上，提出了面向信息服务应用的SOA概念模型及其体系架构，并研究了其中的核心应用技术及上层服务模式。该思想已被应用于交通信息服务网格，取得了良好的效果。 该结果已发表于2005 IEEE Int