A design methodology for verified web-service mediators

DOI10.1007/S00607-012-0237-5zbMATH Open1314.68036OpenAlexW2091147466MaRDI QIDQ488326FDOQ488326

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

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.

Mathematics Subject Classification ID

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

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)