语义Web服务组合的形式化描述与验证研究 被引量：3

1

作者 程永上 王志坚 《计算机科学》 CSCD 北大核心 2008年第4期40-43,共4页

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务... Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务。然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法。最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模。 展开更多

关键词 WEB服务 WEB服务组合 PETRI网 建模 验证

下载PDF 职称材料

一种面向Web服务的企业应用集成研究 被引量：1

2

作者 程永上 贾长云 《淮海工学院学报（自然科学版）》 CAS 2006年第4期23-26,共4页

Web服务是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet环境下的应用,是一个应用集成理想方案。基于Web服务的EAI结构不同于传统的EAI结构,实现了应用之间的松耦合、平台无关、语言无关和互操作性。首先探讨了3种... Web服务是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet环境下的应用,是一个应用集成理想方案。基于Web服务的EAI结构不同于传统的EAI结构,实现了应用之间的松耦合、平台无关、语言无关和互操作性。首先探讨了3种传统的EAI结构的优缺点,然后介绍了Web服务模型、主要技术和协议栈,最后提出一种基于Web服务的企业应用集成体系结构。 展开更多

关键词 企业应用集成EAI WEB服务 UDDI SOAP XML

下载PDF 职称材料

Web服务组合语义一致性验证研究 被引量：3

3

作者 王志坚 程永上 徐经纬 《计算机集成制造系统》 EI CSCD 北大核心 2009年第1期202-208,共7页

通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。... 通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。 展开更多

关键词 WEB服务组合 语义 PETRI网 一致性 服务质量

下载PDF 职称材料

HTML表格向XML的智能转换 被引量：3

4

作者 贾长云 程永上 《计算机工程》 CAS CSCD 北大核心 2009年第14期32-34,共3页

XML已经成为处理与管理信息的标准格式,而HTML表格被广泛应用于Web。为了充分利用与管理HTML表格信息,需要将HTML表格转换成XML。提出一种有效的处理方法,该方法包含2个部分,即表格识别与结构转换。表格识别通过检查格式、语法及语义的... XML已经成为处理与管理信息的标准格式,而HTML表格被广泛应用于Web。为了充分利用与管理HTML表格信息,需要将HTML表格转换成XML。提出一种有效的处理方法,该方法包含2个部分,即表格识别与结构转换。表格识别通过检查格式、语法及语义的特征将表格提取出来并分割成值域与属性域,使用预设的表格模板分析属性域与值域间的层次结构并将其转换成XML格式。通过300多个表格的实验表明,所提出的方法要优于传统方法,结果的准确率达86.7%。 展开更多

关键词 HTML表格 结构分析 规范化 信息提取 可扩展标记语言

下载PDF 职称材料

Web服务组合在水利领域中的应用 被引量：1

5

作者 程永上 王志坚 《计算机工程与应用》 CSCD 北大核心 2008年第7期209-212,共4页

随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的Web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立Web服务组合的模式,以及组... 随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的Web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立Web服务组合的模式,以及组合模型正确性验证的方法,并提出了将Petri网模型影射到可执行的BPEL4WS的方法。通过一个实例,说明了基于MDA的Web服务组合技术在水利领域应用集成中的作用。最后进行了总结,指出了下一步工作。 展开更多

关键词 MDA WEB服务 WEB服务组合 水利

下载PDF 职称材料

基于频次有效长度的加权关联规则挖掘算法研究 被引量：1

6

作者 张勇 李树青 程永上 《数据分析与知识发现》 CSSCI CSCD 北大核心 2019年第7期85-93,共9页

【目的】通过对数据库中项在重要程度上存在的差异性进行分析,解决传统关联规则挖掘算法挖掘大量冗余无价值规则的问题。【方法】在具有时态约束的序列上,结合频次有效长度方法挖掘非加权关联规则,引入加权方法,利用滑动窗口技术在时序... 【目的】通过对数据库中项在重要程度上存在的差异性进行分析,解决传统关联规则挖掘算法挖掘大量冗余无价值规则的问题。【方法】在具有时态约束的序列上,结合频次有效长度方法挖掘非加权关联规则,引入加权方法,利用滑动窗口技术在时序序列上挖掘稀有加权关联规则。【结果】根据频次有效长度的加权关联规则挖掘算法所挖掘出的加权时序关联规则能够较为准确地进行推荐,推荐预测的准确度由62%提升至69%。【局限】由于滑动窗口每次滑动一个单位长度,加之窗口中生成的规则数量较多,导致挖掘算法在进行规则挖掘时执行时间较长。【结论】本文方法所挖掘出的加权时序关联规则能使推荐精度得到提升,并为关联规则挖掘方法提供新的研究思路。 展开更多

关键词 数据挖掘 关联规则 频次长度 滑动窗口

原文传递

构件的服务模式规约 被引量：1

7

作者 唐龙业 王志坚 程永上 《计算机应用研究》 CSCD 北大核心 2008年第4期1073-1074,1078,共3页

基于用户需求和构件服务在匹配情况下的等价性考虑,从方法调用序列角度给出了服务的定义;依据方法之间的关联性分析,给出了服务模式的概念和确定构件服务模式的方法;最后给出了构件的服务模式规约。通过建立服务模式规约,从构件提供者... 基于用户需求和构件服务在匹配情况下的等价性考虑,从方法调用序列角度给出了服务的定义;依据方法之间的关联性分析,给出了服务模式的概念和确定构件服务模式的方法;最后给出了构件的服务模式规约。通过建立服务模式规约,从构件提供者角度提供了一种确定构件匹配有效性的方法。 展开更多

关键词 软件构件 构件服务 服务模式 服务模式规约 匹配有效性

下载PDF 职称材料

一种基于多窗口划分的工程扫描图像去噪算法

8

作者 程永上 《连云港职业技术学院学报》 2005年第2期57-60,共4页

噪声去除是工程扫描图像矢量化预处理的一个重要环节,是保证图像处理后续步骤质量的保证,基于多个窗口划分的去噪算法是在分析比较了以往各种图像去噪算法的基础上提出的,能够在去除噪声的同时保持图像特征的细节。

关键词 工程扫描图像 噪声 窗口

下载PDF 职称材料

基于水利信息网络的对等计算平台

9

作者 王从明 王志坚 +2 位作者 王宇 黄晓萍 程永上 《计算机工程》 CAS CSCD 北大核心 2008年第19期4-5,8,共3页

我国水利行业对计算力需求不断增加,该文利用P2P技术汇聚PC的空闲CPU资源,来提供低成本的高计算力。针对水利信息网络的现状,以XtremWeb计算平台为基础,构造了基于广域网和局域网的两层XtremWeb网络,并采用多服务窗排队理论进行建模和分... 我国水利行业对计算力需求不断增加,该文利用P2P技术汇聚PC的空闲CPU资源,来提供低成本的高计算力。针对水利信息网络的现状,以XtremWeb计算平台为基础,构造了基于广域网和局域网的两层XtremWeb网络,并采用多服务窗排队理论进行建模和分析,得到模型的相关参数。给出洪水淹没范围计算的具体实例,采用XtremWeb网络进行实验。实验结果表明,随着Worker数量的增加,实际计算耗时快速下降,系统吞吐量接近线性增长。 展开更多

关键词 对等计算 XtremWeb网络 多窗口排队 水利信息网络

下载PDF 职称材料

基于内容的多媒体数据递进目标搜索

10

作者 贾长云 程永上 朱敏 《计算机应用》 CSCD 北大核心 2010年第4期1096-1098,1102,共4页

为了有效提高移动终端多媒体信息的能力,讨论了一种新的多媒体信息查询方法——基于内容的递进目标搜索,提出了"查询流"的技术,通过多媒体查询方法(MQF)与XML片断请求单元及片断更新单元的结合,使得用户对多媒体信息的查询逐... 为了有效提高移动终端多媒体信息的能力,讨论了一种新的多媒体信息查询方法——基于内容的递进目标搜索,提出了"查询流"的技术,通过多媒体查询方法(MQF)与XML片断请求单元及片断更新单元的结合,使得用户对多媒体信息的查询逐步进行,先查询相关的元数据描述,然后查询最终结果。这样有效降低了查询的数据通信量,非常适合于配置较低、信道有限的移动终端实现多媒体信息的查询。 展开更多

关键词 多媒体 目标搜索 多媒体内容描述接口 逆波兰表示法

下载PDF 职称材料

XtremWeb:一个轻量级网格系统

11

作者 程永上 《连云港职业技术学院学报》 2006年第3期19-21,共3页

网格计算在计算机领域掀起了很大热潮,而XtremWeb是一个轻量级的P2P网格中间件,为高性能计算提供多参数的分布式计算平台,不同任务的执行由一个中心控制节点管理,提供透明容错和安全机制。文章介绍了包含三种节点的XtremWeb系统体系结... 网格计算在计算机领域掀起了很大热潮,而XtremWeb是一个轻量级的P2P网格中间件,为高性能计算提供多参数的分布式计算平台,不同任务的执行由一个中心控制节点管理,提供透明容错和安全机制。文章介绍了包含三种节点的XtremWeb系统体系结构和运行机制、透明容错功能和安全机制,最后使用该系统来实现一个矩阵分割的并行计算。 展开更多

关键词 网格 XtremWeb COORDINATOR Workers Clients

下载PDF 职称材料

布尔表达式化简的一种算法实现

12

作者 程永上 张家超 《连云港职业大学学报》 1999年第3期35-37,41,共4页

布尔表达式的化简就是通过某种手段（如真值表、卡诺图、公式法等），将一复杂的布尔表达式转换成一个等价的简单的布尔表达式。本文给出了一种计算机自动实现的布尔表达式的化简方法。将常规表达式中的项改造成含有每个输入变量的多维... 布尔表达式的化简就是通过某种手段（如真值表、卡诺图、公式法等），将一复杂的布尔表达式转换成一个等价的简单的布尔表达式。本文给出了一种计算机自动实现的布尔表达式的化简方法。将常规表达式中的项改造成含有每个输入变量的多维体，利用多值映射函数，实现化简，从而降低了多输入变量布尔表达式化简的工作量。本算法经随机测试，证明是一个行之有效的好算法。 展开更多

关键词 布尔表达式 多维体 二进制匹配 逻辑电路 布尔匹配 化简方法 化简算法 多值映射函数

下载PDF 职称材料