Reliability-aware automatic composition approach for web services
From MaRDI portal
Publication:439793
DOI10.1007/S11432-011-4545-8zbMath1245.68030OpenAlexW1977741013MaRDI QIDQ439793
Publication date: 17 August 2012
Published in: Science China. Information Sciences (Search for Journal in Brave)
Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4545-8
Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Reliability, testing and fault tolerance of networks and computer systems (68M15) Internet topics (68M11)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
- Specification and verification of data-driven Web applications
- The temporal semantics of concurrent programs
- Verification of relational transducers for electronic commerce
- Relational transducers for electronic commerce
- A lower bound on web services composition
- Synthesis from Component Libraries
- “Sometimes” and “not never” revisited
- Validation of Stochastic Systems
- Solving Sequential Conditions by Finite-State Strategies
This page was built for publication: Reliability-aware automatic composition approach for web services