|
Title:
|
TOWARDS AUTOMATED VERIFICATION OF WEB SERVICES |
|
Author(s):
|
Cátia Vaz , Carla Ferreira |
|
ISBN:
|
978-972-8924-44-7 |
|
Editors:
|
Pedro Isaías , Miguel Baptista Nunes and João Barroso (associate editors Luís Rodrigues and Patrícia Barbosa) |
|
Year:
|
2007 |
|
Edition:
|
V I, 2 |
|
Keywords:
|
Web Services, Business Processes, Workflow Patterns, Formal Verification and Validation, SPIN. |
|
Type:
|
Full Paper |
|
First Page:
|
84 |
|
Last Page:
|
92 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper 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
business process behaviour 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. |
|
|
|
|
|
|
