65 search results - page 7 / 13 » Pattern Based Property Specification and Verification for Se... |
SIGSOFT
2007
ACM
14 years 8 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...
PASTE
2004
ACM
14 years 28 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
ESWS
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
ICWE
2010
Springer
13 years 5 months ago
2010
Springer
When composing mashups, the selection of suitable services is mainly based on functional requirements and does not consider the quality of the single services. In this paper, we sh...
PODS
2003
ACM
14 years 7 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...