Modeling and Model Checking Web Services
Modeling and Model Checking Web Services
复制标题
DOI：
10.1016/j.entcs.2004.11.011
复制
发表时间：
2005-03
期刊：
影响因子：
--
通讯作者：
H. Schlingloff;Axel Martens;K. Wolf
中科院分区：
文献类型：
--
作者：
H. Schlingloff;Axel Martens;K. Wolf
我们对Web服务和Web服务技术栈进行了概述。然后，我们将展示如何建立Petri网模型的Web服务制定的规范语言BPEL4WS。我们为这些模型定义了一个抽象的正确性准则，并根据这个准则研究了自动验证。最后，我们将Web服务模型的正确性与交替时态逻辑的模型检测问题联系起来。
We give an overview on web services and the web service technology stack. We then show how to build Petri net models of web services formulated in the specification language BPEL4WS. We define an abstract correctness criterion for these models and study the automated verification according to this criterion. Finally, we relate correctness of web service models to the model checking problem for alternating temporal logics.