Verification of Vortex Workflows
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal Verification of e-Services and Workflows
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Validation and verification of knowledge-based systems: report on EUROVAV99
The Knowledge Engineering Review
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
A method for validating the compliance of business processes to business rules
Proceedings of the 2010 ACM Symposium on Applied Computing
Um método de validação da conformidade entre processos e regras de negócio através da animação
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Web process dynamic stepped extension: Pi-calculus-based model and inference experiments
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
| Hi-index | 0.01 |