Specification and verification of data-driven Web applications

DOI10.1016/j.jcss.2006.10.006zbMath1111.68488OpenAlexW2028980140MaRDI QIDQ878758

Liying Sui, Alin Deutsch, Victor Vianu

Publication date: 26 April 2007

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2006.10.006

zbMATH Keywords

infinite-state systemsautomatic verificationrelational transducersdata-driven Web services and applications

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Deciding confluence for a simple class of relational transducer networks, Process-centric views of data-driven business artifacts, On the aggregation problem for synthesized web services, Reliability-aware automatic composition approach for web services

Uses Software

• SPIN

Cites Work

• The complementation problem for Büchi automata with applications to temporal logic
• An overview of transaction logic
• Verification of relational transducers for electronic commerce
• Relational transducers for electronic commerce
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• An automata-theoretic approach to branching-time model checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item