Requirements-driven verification of web services

MaRDI QIDQ2847799zbMATH OpenFDO

Authors Marco Pistore, Marco Roveri, Paolo Busetta

Publication date 11 September 2013

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

Mathematics Subject Classification ID

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

Recommendations

• Modeling and model checking web services
• Using linear logic to verify requirement scenarios in composite web service
• Model-checking web services orchestrations using BP-calculus
• Automated Technology for Verification and Analysis
• On the verification of security-aware E-services

Cited in

(13)

• Web services as a new approach to distributing and coordinating semantics-based verification toolkits
• WAVer: a model checking-based tool to verify web application design
• Mashup model and verification using mashup processing network
• A formal dynamic verification of choreographed web services conversations
• Research of process model supporting for software requirements verification
• On the verification of security-aware E-services
• scientific article; zbMATH DE number 1980999 (Why is no real title available?)
• A design methodology for verified web-service mediators
• Using linear logic to verify requirement scenarios in composite web service
• Computer Aided Verification
• Automated Technology for Verification and Analysis
• An accessible verification environment for UML models of services
• Specification and verification of data-driven Web applications

This page was built for publication: Requirements-driven verification of web services

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