Towards Automated Verification of Web Services

Details Towards Automated Verification of Web Services Towards Automated Verification of Web Services

2011-11-11

arxiv.org/abs/1111.2824v1

Computer Science

Logic in Computer Science

Proceedings of the IADIS International Conference on WWW/Internet 2007

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Towards Automated Verification of Web Services does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Towards Automated Verification of Web Services, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards Automated Verification of Web Services will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-140215