您的位置： 专家智库 > >

国防科学技术预先研究基金(513060601)

作品数：11 被引量：21H指数：3
相关作者：陈平鲍亮宋胜利胡圣明王玉英更多>>
相关机构：西安电子科技大学西安建筑科技大学西安科技大学更多>>
发文基金：国防科技技术预先研究基金陕西省自然科学基金陕西省教育厅规划基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 11篇自动化与计算...

主题

  • 5篇BPEL
  • 2篇业务流
  • 2篇业务流程执行...
  • 2篇有色PETR...
  • 2篇执行语言
  • 2篇文本分类
  • 2篇WEB服务
  • 1篇代理
  • 1篇动态代理
  • 1篇用户
  • 1篇用户界面
  • 1篇支持向量
  • 1篇支持向量机
  • 1篇上下文
  • 1篇上下文无关文...
  • 1篇数据格式
  • 1篇数据格式转换
  • 1篇数据竞争
  • 1篇统计分词
  • 1篇歧义

机构

  • 10篇西安电子科技...
  • 3篇西安建筑科技...
  • 1篇西安科技大学

作者

  • 10篇陈平
  • 4篇鲍亮
  • 4篇宋胜利
  • 3篇胡圣明
  • 3篇王玉英
  • 2篇冯佳
  • 2篇王荔
  • 1篇杨光超
  • 1篇陈胜
  • 1篇张建华
  • 1篇康春农
  • 1篇周如民
  • 1篇张搏
  • 1篇崔伟勇

传媒

  • 2篇系统工程与电...
  • 2篇微电子学与计...
  • 2篇计算机应用
  • 2篇计算机应用研...
  • 1篇西北大学学报...
  • 1篇计算机科学
  • 1篇西安科技大学...

年份

  • 1篇2013
  • 1篇2011
  • 3篇2010
  • 5篇2009
  • 1篇2008
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
BPEL静态流程切片技术研究被引量：3
2009年
提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。
鲍亮宋胜利陈胜陈平胡圣明崔伟勇
关键词：BPEL
基于面向服务构架的用户界面集成方法被引量：1
2009年
在面向服务计算中,往往需要调用外部接口来集成第三方工具。为了集成那些未提供接口和源代码的工具,提出了一种基于脚本语言的黑盒方法,将外部工具的用户界面集成到分布式环境中,并且允许用户以服务的形式执行一系列预先制定的界面操作,从而实现相关的功能。设计并实现了基于面向服务架构的从服务包装到服务调用的各个环节。
张搏陈平胡圣明
关键词：面向服务架构
一种BPEL流程数据竞争检测方法被引量：1
2008年
对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法。实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性。
杨光超陈平鲍亮
关键词：业务流程执行语言数据竞争
基于有色Petri网的BPEL中flow活动建模被引量：4
2011年
面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。
王玉英陈平
关键词：BPELCPN
一种新的SVM多层增量学习方法HISVML被引量：1
2009年
为了有效的解决支持向量机(SVM)在文本分类中的增量学习问题,文中提出了一种基于树结构的在线学习方法-HISVML.该方法通过将增量学习任务限制在分类子树中来达到减少工作量的目的.实验证明,HISVML比普通的单层增量学习器训练时间短、准确率高.
冯佳宋胜利王荔陈平
关键词：支持向量机文本分类
DFTL:一种用于数据格式转换的描述语言被引量：3
2010年
针对异构数据格式转换问题,提出一种基于上下文无关文法(Context-Free LanguageCFG)的数据格式转换描述语言(Data Format Transformation Language DFTL)。DFTL采用XMLSchema描述数据的逻辑结构,定义扩展标记描述数据解析和模型映射规则。实验研究证明,基于DFTL可实现不同类型的数据格式到XML格式的转换,为异构数据访问提供统一的XML视图。
张建华
关键词：数据格式转换上下文无关文法描述语言
基于动态代理的BPEL恢复机制被引量：4
2009年
提出了一种基于动态代理的方法来提高流程的可靠性。该方法使用面向方面技术扩展BPEL引擎来拦截调用伙伴服务,并由动态代理与伙伴服务交互。如果伙伴服务失败,则动态代理动态地发现并调用等价服务。动态等价服务发现结合了传统的基于关键字的服务发现和基于本体的服务发现两种技术。采用消息转换机制来解决失败服务与替换服务之间接口不匹配的问题。此外,还提供了基于浏览器的管理界面来帮助设计人员管理替换服务和消息转换规则。最后,通过实验分析表明该方法是一种可行的方案。
周如民陈平鲍亮胡圣明康春农
关键词：WEB服务业务流程执行语言动态代理面向方面编程
Web服务组合的层次化建模
2013年
目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。
王玉英陈平
关键词：WEB服务组合BPEL
基于赋时有色Petri网的Web组合服务建模被引量：2
2010年
面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程到有色赋时Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如时间、环境属性等,给出了更为精确的模型,为更好地使用工具和现有方法验证和测试Web组合服务奠定了基础。并给出了这种转换方法的应用实例。
王玉英陈平
关键词：BPEL
一种全切分与统计结合的分词系统被引量：1
2009年
歧义消解是中文分词的主要问题之一.提出了一种全切分与统计结合的分词算法,构造出基于统计词典的有向无环词图,利用动态规划算法得出最佳的分词路径.实验证明,系统有效地提高了歧义切分的准确性及分词速度.
王荔宋胜利冯佳陈平
关键词：中文分词全切分统计分词歧义消解
全选 清除 导出
共2页<12>
聚类工具0