232 search results - page 1 / 47 » A Model Checking Approach to Verify BPEL4WS Workflows |
SOCA
2007
IEEE
15 years 4 months ago
2007
IEEE
CONCURRENCY
2006
14 years 10 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
97
Voted
WIAS
2008
14 years 10 months ago
2008
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
DASFAA
2007
IEEE
15 years 4 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
84
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...