- 博客(2)
- 收藏
- 关注
原创 BPEL流程的状态与形式化定义---第二部分:partnerLink与partnerLinkType
partnerLinkType通过定义在会话中每一个服务的角色、说明每一个服务在会话的上下文中为接受数据而提供的端口类型,来刻画两个服务之间的关系。每一个role说明了唯一一个WSDL的端口类型。一个partnerLinkType说明了会话中的两个服务的抽象信息(即portType。角色信息也可以只有一个,因为有的服务能够连接任意形式的服务,对会话中的另一个服务不作要求)。partnerLin
2008-01-27 08:13:00
1295
原创 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
1111
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
RSS订阅