Formalizing Web service choreography interface | |
Huang, Yu ; Xu, Chunxiang ; Wang, Hanpin ; Xia, Yunni ; Zhu, Jiaqi ; Zhu, Cheng | |
2007 | |
关键词 | Web service composition WSCI Petri nets |
英文摘要 | All existing Web service composition standards remain at the descriptive level, without providing any formal semantics and method for verifying some important properties. Web Service Choreography Interface (WSCI) describes the flow of messages exchanged by a Web service which participates in choreographed interactions with other services. This paper presents an extended Petri net to formalize WSCI, and proposes several nets to represent the activity, process and interface respectively. Our formal model remarkably focuses on the message exchange and the context of WSCI. Furthermore, we give the formal semantics for the context in a subtle manner, i.e., subprocess and exception handling. According to the characteristic of WSCI, this paper proposes some properties just like well-founded, and introduces technique for checking these properties to ensure the correct implementation and deployment of WSCI.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000247030100092&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Artificial Intelligence; Computer Science, Information Systems; Computer Science, Theory & Methods; Telecommunications; CPCI-S(ISTP); 0 |
语种 | 英语 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/406440] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Huang, Yu,Xu, Chunxiang,Wang, Hanpin,et al. Formalizing Web service choreography interface. 2007-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论