Requirements-driven verification of web services

zbMATH Open1271.68095MaRDI QIDQ2847799FDOQ2847799

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

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

Mathematics Subject Classification ID

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

Cited In (13)

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

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)