Specifications using XQuery expressions on traces

MaRDI QIDQ2847801zbMATH OpenFDO

Authors Marcus Venzke

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610405162X

Mathematics Subject Classification ID

Internet topics (68M11) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1952099
• Formal specification of a web services protocol
• Formal specification of a web services protocol
• Graph Transformations
• Formalizing web service choreographies

This page was built for publication: Specifications using XQuery expressions on traces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847801)