Modeling of Web services flow
Modeling of Web services flow
复制标题
DOI：
10.1109/coec.2003.1210275
复制
发表时间：
2003-06
期刊：
影响因子：
--
通讯作者：
Johnson P. Thomas;Mathews Thomas;G. Ghinea
中科院分区：
文献类型：
--
作者：
Johnson P. Thomas;Mathews Thomas;G. Ghinea
利用Web服务技术可以在Internet上提供自动采购、自动更新价格、获取最新信息等服务。客户可以使用Internet访问这些服务。Web服务基础设施包括简单对象访问协议（SOAP）、Web服务描述语言（WSDL）和通用描述、发现和集成（UDDI）等标准。在本文中，我们表示分布式Web服务建模的消息流和方法在Web服务事务。这样的模型有助于Web服务设计者确保Web流在死锁方面的正确性和Web服务事务的正确终止。WSDL和方法使用Petri网建模。实现了一个软件工具，用于从Web服务流的WSDL描述中提取模型。
Services such as automatic purchasing, automatic updating of prices, or getting latest information etc, can be provided on the Internet using Web services technology. A client can access these services using the Internet. Web services infrastructure includes some standards, such as simple object access protocol (SOAP), Web services description language (WSDL) and universal description, discovery and integration (UDDI). In this paper we represent distributed Web services by modeling the flow of messages and methods in a Web service transaction. Such a model assists the Web services designer to ensure the correctness of Web flows in terms of deadlock and correct termination of the Web services transaction. WSDL and methods are modeled using Petri Nets. A software tool is implemented for extracting the model from the WSDL description of the Web services flow.