232 search results - page 4 / 47 » A Model Checking Approach to Verify BPEL4WS Workflows |
FASE
2008
Springer
13 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
KDD
2010
ACM
13 years 5 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
AAMAS
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...