C. Vaz, and C. Ferreira. (2011)cite arxiv:1111.2824Comment: Proceedings of the IADIS International Conference on WWW/Internet 2007.
Abstract
This paper proposes the use of model-checking software technology for the
verification of workflows and business processes behaviour based on web
services, namely the use of the SPIN model checker. Since the specification of
a business process behaviour based on web services can be decomposed into
patterns, it is proposed a translation of a well known collection of workflow
patterns into PROMELA, the input specification language of SPIN. The use of
this translation is illustrated with one business process example, which
demonstrates how its translation to a PROMELA model can be useful in the web
service specification and verification.
%0 Generic
%1 Vaz2011
%A Vaz, C.
%A Ferreira, C.
%D 2011
%K automation webdevelopment webservice
%T Towards Automated Verification of Web Services
%U http://arxiv.org/ftp/arxiv/papers/1111/1111.2824.pdf
%X This paper proposes the use of model-checking software technology for the
verification of workflows and business processes behaviour based on web
services, namely the use of the SPIN model checker. Since the specification of
a business process behaviour based on web services can be decomposed into
patterns, it is proposed a translation of a well known collection of workflow
patterns into PROMELA, the input specification language of SPIN. The use of
this translation is illustrated with one business process example, which
demonstrates how its translation to a PROMELA model can be useful in the web
service specification and verification.
@misc{Vaz2011,
abstract = { This paper proposes the use of model-checking software technology for the
verification of workflows and business processes behaviour based on web
services, namely the use of the SPIN model checker. Since the specification of
a business process behaviour based on web services can be decomposed into
patterns, it is proposed a translation of a well known collection of workflow
patterns into PROMELA, the input specification language of SPIN. The use of
this translation is illustrated with one business process example, which
demonstrates how its translation to a PROMELA model can be useful in the web
service specification and verification.
},
added-at = {2011-11-14T10:59:03.000+0100},
author = {Vaz, C. and Ferreira, C.},
biburl = {https://www.bibsonomy.org/bibtex/2636781ca76af2780373eb3ab5e6a2cd8/maxirichter},
description = {Towards Automated Verification of Web Services},
interhash = {0a3e7ed78cd7c4658d44508df8933861},
intrahash = {636781ca76af2780373eb3ab5e6a2cd8},
keywords = {automation webdevelopment webservice},
note = {cite arxiv:1111.2824Comment: Proceedings of the IADIS International Conference on WWW/Internet 2007},
timestamp = {2012-01-16T12:28:06.000+0100},
title = {Towards Automated Verification of Web Services},
url = {http://arxiv.org/ftp/arxiv/papers/1111/1111.2824.pdf},
year = 2011
}