Web services: a process algebra approach
Web services: a process algebra approach
复制标题
DOI：
10.1145/1035167.1035202
复制
发表时间：
2004-06
期刊：
影响因子：
--
通讯作者：
Andrea Ferrara
中科院分区：
文献类型：
--
作者：
Andrea Ferrara
形式化方法对于解决Web服务领域中的许多问题都有很大的帮助。在本文中，我们提出了一个框架的设计和验证的WS使用进程代数及其工具。我们定义了使用这些演算编写的抽象规范和使用BPEL 4 WS编写的可执行Web服务之间的双向映射;转换还包括补偿、事件和故障处理程序。有以下选择：使用流程代数工具在BPEL 4 WS中进行设计和验证，或者在流程代数中进行设计和验证并自动获取相应的BPEL 4 WS代码。这些方法可以结合起来。进程代数不仅是有用的时序逻辑验证：我们注意到使用模拟/互模拟验证，分层细化设计方法，在一个社区的服务冗余分析，并更换一个服务与另一个组成。
It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and the verification of WSs using process algebras and their tools. We define a two-way mapping between abstract specifications written using these calculi and executable Web services written in BPEL4WS; the translation includes also compensation, event, and fault handlers. The following choices are available: design and verification in BPEL4WS, using process algebra tools, or design and verification in process algebra and automatically obtaining the corresponding BPEL4WS code. The approaches can be combined. Process algebras are not useful only for temporal logic verification: we remark the use of simulation/bisimulation for verification, for the hierarchical refinement design method, for the service redundancy analysis in a community, and for replacing a service with another one in a composition.