172 search results - page 4 / 35 » Specification and Verification of Web Applications in Rewrit... |
190
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
123
click to vote
CSAC
2006
14 years 10 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
ENTCS
2010
14 years 6 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...