![](https://img-blog.csdnimg.cn/20201014180756918.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
BPEL
文章平均质量分 79
baoliangaccount
这个作者很懒,什么都没留下…
展开
-
BPEL流程的状态与形式化定义---第二部分:partnerLink与partnerLinkType
partnerLinkType通过定义在会话中每一个服务的角色、说明每一个服务在会话的上下文中为接受数据而提供的端口类型,来刻画两个服务之间的关系。每一个role说明了唯一一个WSDL的端口类型。一个partnerLinkType说明了会话中的两个服务的抽象信息(即portType。角色信息也可以只有一个,因为有的服务能够连接任意形式的服务,对会话中的另一个服务不作要求)。partnerLin原创 2008-01-27 08:13:00 · 1226 阅读 · 0 评论 -
BPEL流程的状态与形式化定义---第一部分:属性与相关集
07年底将一篇关于BPEL的文章投到ICSE上,结果是被无情的拒绝了<v:shapetype id="_x0000_t75"coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe"filled="f" stroked="f">原创 2008-01-15 19:18:00 · 1065 阅读 · 1 评论