您的位置： 专家智库 > >

苏焕程

作品数：3 被引量：5H指数：1
供职机构：南京航空航天大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

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

主题

  • 3篇BPEL4W...
  • 2篇执行语言
  • 2篇自动机
  • 2篇接口
  • 2篇接口自动机
  • 2篇基于接口
  • 2篇WEB服务组...
  • 2篇WEB服务
  • 1篇业务过程执行...
  • 1篇业务流
  • 1篇业务流程执行...
  • 1篇一致性
  • 1篇时态逻辑
  • 1篇顺序图
  • 1篇线性时态逻辑
  • 1篇PROMEL...
  • 1篇SPIN
  • 1篇UML顺序图
  • 1篇WEB服务组...

机构

  • 3篇南京航空航天...

作者

  • 3篇苏焕程
  • 2篇黄志球
  • 2篇刘林源

传媒

  • 1篇计算机应用研...

年份

  • 2篇2009
  • 1篇2008
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种基于接口自动机的BPEL4WS行为一致性的验证及适配方法
随着Web服务的出现和推广，Web服务组合技术已经成为近年来的研究热点。Web服务的业务流程执行语言(BPEL4WS)作为一种基于业务流程的服务组合方法，建模理论基础比较薄弱，组合的正确性难以保证。因此业务流程的正确性、...
苏焕程
关键词：WEB服务组合技术业务流程执行语言UML顺序图接口自动机
文献传递
基于接口自动机的BPEL4WS Web服务组合形式化模型被引量：5
2009年
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。
苏焕程黄志球刘林源
关键词：接口自动机WEB服务WEB服务组合
基于SPIN的BPEL4WS一致性验证
随着业务过程的结构及交互过程越来越复杂,设计出的系统需要数次的模型转换——由较抽象的纯业务过程模型转换为较低层次的可执行的应用型模型,如BPEL4WS。但在这些模型的转换结束之后。一些关键的特性必须能被维持。为了确保这些...
苏焕程黄志球刘林源
关键词：业务过程执行语言PROMELA线性时态逻辑SPIN一致性
文献传递
全选 清除 导出
共1页<1>
聚类工具0