58 search results - page 1 / 12 » Static consistency checking of web applications with WebDSL |
69
Voted
JSC
2011
14 years 6 months ago
2011
TOIT
2002
14 years 11 months ago
2002
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...
GI
2009
Springer
14 years 9 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
183
click to vote
CASCON
2010
14 years 8 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...