Matches in SemOpenAlex for { <https://semopenalex.org/work/W2522989697> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2522989697 abstract "Automatic synthesis of web services business protocols (BPs) aims at solving algorithmically the problem of deriving a mediator that realizes a BP of a target service using a set of specifications of available services. This problem, and its variants, gave rise to a large number of fundamental research work over the last decade. However, existing works considered this problem under the restriction that the number of instances of an available service that can be involved in a composition is bounded by a constant [Formula: see text] which is fixed a priori. This paper investigates the unbounded variant of this problem using a formal framework in which web service BPs are described by means of finite state machines (FSM). We show that in this context, the protocol synthesis problem can be reduced to that of testing simulation preorder between an FSM and an (infinitely) iterated product of FSMs. Existing results regarding close decision problems in the context of the so-called shuffle languages are rather negative and cannot be directly exploited in our context. In this paper, we develop a novel technique to prove the decidability of testing simulation in our case of interest. We provide complexity bounds for the general protocol synthesis problem and identify two cases of particular interest, namely loop-free target services and hybrid states-free component services, for which protocol synthesis is shown to be respectively NP-COMPETE and EXPTIME-COMPLETE." @default.
- W2522989697 created "2016-09-30" @default.
- W2522989697 creator A5002141395 @default.
- W2522989697 creator A5018122972 @default.
- W2522989697 creator A5051532575 @default.
- W2522989697 date "2016-09-01" @default.
- W2522989697 modified "2023-09-23" @default.
- W2522989697 title "Decidability and Complexity of Web Service Business Protocol Synthesis" @default.
- W2522989697 cites W1511543899 @default.
- W2522989697 cites W1791618115 @default.
- W2522989697 cites W1965060352 @default.
- W2522989697 cites W1975455609 @default.
- W2522989697 cites W1991807341 @default.
- W2522989697 cites W1992904693 @default.
- W2522989697 cites W2005312844 @default.
- W2522989697 cites W2005830997 @default.
- W2522989697 cites W2008829494 @default.
- W2522989697 cites W2012024302 @default.
- W2522989697 cites W2026088163 @default.
- W2522989697 cites W2028980140 @default.
- W2522989697 cites W2036157680 @default.
- W2522989697 cites W2037064850 @default.
- W2522989697 cites W2071104838 @default.
- W2522989697 cites W2076972393 @default.
- W2522989697 cites W2098817244 @default.
- W2522989697 cites W2127414233 @default.
- W2522989697 cites W2132185527 @default.
- W2522989697 cites W2139444219 @default.
- W2522989697 cites W2316437449 @default.
- W2522989697 cites W2633545396 @default.
- W2522989697 doi "https://doi.org/10.1142/s0218843016500088" @default.
- W2522989697 hasPublicationYear "2016" @default.
- W2522989697 type Work @default.
- W2522989697 sameAs 2522989697 @default.
- W2522989697 citedByCount "0" @default.
- W2522989697 crossrefType "journal-article" @default.
- W2522989697 hasAuthorship W2522989697A5002141395 @default.
- W2522989697 hasAuthorship W2522989697A5018122972 @default.
- W2522989697 hasAuthorship W2522989697A5051532575 @default.
- W2522989697 hasConcept C110251889 @default.
- W2522989697 hasConcept C11413529 @default.
- W2522989697 hasConcept C118615104 @default.
- W2522989697 hasConcept C120314980 @default.
- W2522989697 hasConcept C134306372 @default.
- W2522989697 hasConcept C142724271 @default.
- W2522989697 hasConcept C151730666 @default.
- W2522989697 hasConcept C153269930 @default.
- W2522989697 hasConcept C199360897 @default.
- W2522989697 hasConcept C204787440 @default.
- W2522989697 hasConcept C2333172 @default.
- W2522989697 hasConcept C2779343474 @default.
- W2522989697 hasConcept C2780385302 @default.
- W2522989697 hasConcept C33923547 @default.
- W2522989697 hasConcept C34388435 @default.
- W2522989697 hasConcept C35578498 @default.
- W2522989697 hasConcept C41008148 @default.
- W2522989697 hasConcept C71924100 @default.
- W2522989697 hasConcept C80444323 @default.
- W2522989697 hasConcept C86803240 @default.
- W2522989697 hasConceptScore W2522989697C110251889 @default.
- W2522989697 hasConceptScore W2522989697C11413529 @default.
- W2522989697 hasConceptScore W2522989697C118615104 @default.
- W2522989697 hasConceptScore W2522989697C120314980 @default.
- W2522989697 hasConceptScore W2522989697C134306372 @default.
- W2522989697 hasConceptScore W2522989697C142724271 @default.
- W2522989697 hasConceptScore W2522989697C151730666 @default.
- W2522989697 hasConceptScore W2522989697C153269930 @default.
- W2522989697 hasConceptScore W2522989697C199360897 @default.
- W2522989697 hasConceptScore W2522989697C204787440 @default.
- W2522989697 hasConceptScore W2522989697C2333172 @default.
- W2522989697 hasConceptScore W2522989697C2779343474 @default.
- W2522989697 hasConceptScore W2522989697C2780385302 @default.
- W2522989697 hasConceptScore W2522989697C33923547 @default.
- W2522989697 hasConceptScore W2522989697C34388435 @default.
- W2522989697 hasConceptScore W2522989697C35578498 @default.
- W2522989697 hasConceptScore W2522989697C41008148 @default.
- W2522989697 hasConceptScore W2522989697C71924100 @default.
- W2522989697 hasConceptScore W2522989697C80444323 @default.
- W2522989697 hasConceptScore W2522989697C86803240 @default.
- W2522989697 hasLocation W25229896971 @default.
- W2522989697 hasLocation W25229896972 @default.
- W2522989697 hasLocation W25229896973 @default.
- W2522989697 hasOpenAccess W2522989697 @default.
- W2522989697 hasPrimaryLocation W25229896971 @default.
- W2522989697 hasRelatedWork W1584462731 @default.
- W2522989697 hasRelatedWork W1972843406 @default.
- W2522989697 hasRelatedWork W2038320736 @default.
- W2522989697 hasRelatedWork W2110992886 @default.
- W2522989697 hasRelatedWork W2188390093 @default.
- W2522989697 hasRelatedWork W3003923933 @default.
- W2522989697 hasRelatedWork W3177160037 @default.
- W2522989697 hasRelatedWork W4288026462 @default.
- W2522989697 hasRelatedWork W4295885746 @default.
- W2522989697 hasRelatedWork W2518497916 @default.
- W2522989697 isParatext "false" @default.
- W2522989697 isRetracted "false" @default.
- W2522989697 magId "2522989697" @default.
- W2522989697 workType "article" @default.