Complexity of synthesis of composite service with correctness guarantee
DOI10.1007/S11432-011-4460-ZzbMATH Open1245.68025OpenAlexW1979890789MaRDI QIDQ439758FDOQ439758
Authors: Ting Deng, Tianyu Wo, Jin-Peng Huai 
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-4460-z
Recommendations
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
- Reliability-aware automatic composition approach for web services
- Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
- A controller synthesis framework for automated service composition
- Synthesis of relational web services
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic in computer science (03B70) Internet topics (68M11) Network protocols (68M12)
Cites Work
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- The Complexity of Tree Automata and Logics of Programs
- Using branching time temporal logic to synthesize synchronization skeletons
- An automata-theoretic approach to branching-time model checking
- Title not available (Why is that?)
- Automata-theoretic techniques for modal logics of programs
- Synthesis from Component Libraries
- Deciding full branching time logic
- A Deductive Approach to Program Synthesis
- Buy one, get one free!!!
- Automated Technology for Verification and Analysis
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
Cited In (4)
Uses Software
This page was built for publication: Complexity of synthesis of composite service with correctness guarantee
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q439758)
