A design methodology for verified web-service mediators

DOI10.1007/S00607-012-0237-5MaRDI QIDQ488326zbMATH OpenOpenAlexFDO

Authors Jing Cao, Albert Nymeyer

Publication date 26 January 2015

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00607-012-0237-5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)

Recommendations

• Requirements-driven verification of web services
• Modeling and model checking web services
• On the aggregation problem for synthesized web services
• Computer Aided Verification
• Analysis and simulation of Web services.

Cites work

• Interactive Markov chains. And the quest for quantified quality

This page was built for publication: A design methodology for verified web-service mediators

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