Reliability-aware automatic composition approach for web services

DOI10.1007/S11432-011-4545-8zbMath1245.68030OpenAlexW1977741013MaRDI QIDQ439793

J. Herrera, H. S. Yoon

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

zbMATH Keywords

reliabilityheuristic algorithmsynthesis problemweb servicessynthesis model

Mathematics Subject Classification ID

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

• WSAT
• AutoSyn

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