Modeling and model checking web services
From MaRDI portal
Recommendations
Cited in
(26)- Executability of scenarios in Petri nets
- Requirements-driven verification of web services
- Formal specification of a web services protocol
- Model-checking web services orchestrations using BP-calculus
- A formal model for BPEL4WS description of Web service composition
- scientific article; zbMATH DE number 5292334 (Why is no real title available?)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
- Compositional Service Trees
- On the verification of security-aware E-services
- scientific article; zbMATH DE number 1956557 (Why is no real title available?)
- scientific article; zbMATH DE number 1980999 (Why is no real title available?)
- scientific article; zbMATH DE number 1798186 (Why is no real title available?)
- Monitoring and recovery for web service applications
- A design methodology for verified web-service mediators
- Using linear logic to verify requirement scenarios in composite web service
- Computer Aided Verification
- Fundamental Approaches to Software Engineering
- A WSDL-based type system for asynchronous WS-BPEL processes
- Automated Technology for Verification and Analysis
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Service net algebra based on logic Petri nets
- Towards verification of computation orchestration
- Formal specification of a web services protocol
This page was built for publication: Modeling and model checking web services
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848067)
