On the aggregation problem for synthesized web services

DOI10.1016/J.JCSS.2013.01.007MaRDI QIDQ389232zbMATH OpenOpenAlexWikidataFDO

Authors Ting Deng, Wenfei Fan, Yinghui Wu, Leonid Libkin

Publication date 20 January 2014

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2013.01.007

zbMATH Keywords

static analysistransducersweb servicesartifactssynthesis problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Internet topics (68M11)

Recommendations

• Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
• Synthesis of relational web services
• Web services composition: complexity and models
• Reliability-aware automatic composition approach for web services
• On the computational complexity of behavioral description-based web service composition

Cites work

• scientific article; zbMATH DE number 3586989 (Why is no real title available?)
• scientific article; zbMATH DE number 1330033 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• A Lower Bound on Web Services Composition
• A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• On the aggregation problem for synthesized web services
• Relational transducers for electronic commerce
• Specification and verification of data-driven Web applications
• Synthesis from Component Libraries
• Undecidable diophantine equations
• Verification of relational transducers for electronic commerce

Cited in

(2)

• On the aggregation problem for synthesized web services
• A design methodology for verified web-service mediators

Describes a project that uses

Uses Software

• WSAT

This page was built for publication: On the aggregation problem for synthesized web services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q389232)