Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596680954> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1596680954 endingPage "409" @default.
- W1596680954 startingPage "395" @default.
- W1596680954 abstract "Synthesis is the automated construction of a system from its specification. In the classical temporal synthesis algorithms, it is always assumed the system is “constructed from scratch” rather than “composed” from reusable components. This, of course, rarely happens in real life. In real life, almost every non-trivial commercial system, either in hardware or in software system, relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. In this work we define and study the problem of LTL synthesis from libraries of reusable components. We define two notions of composition: data-flow composition, for which we prove the problem is undecidable, and control-flow composition, for which we prove the problem is 2EXPTIME-complete. As a side benefit we derive an explicit characterization of the information needed by the synthesizer on the underlying components. This characterization can be used as a specification formalism between component providers and integrators." @default.
- W1596680954 created "2016-06-24" @default.
- W1596680954 creator A5000059818 @default.
- W1596680954 creator A5058107640 @default.
- W1596680954 date "2009-01-01" @default.
- W1596680954 modified "2023-09-26" @default.
- W1596680954 title "Synthesis from Component Libraries" @default.
- W1596680954 cites W1595139336 @default.
- W1596680954 cites W1783469492 @default.
- W1596680954 cites W1871610027 @default.
- W1596680954 cites W1990609140 @default.
- W1596680954 cites W2007981995 @default.
- W1596680954 cites W2016206563 @default.
- W1596680954 cites W2054618740 @default.
- W1596680954 cites W2075807120 @default.
- W1596680954 cites W2147269402 @default.
- W1596680954 cites W2150447589 @default.
- W1596680954 cites W4212901716 @default.
- W1596680954 doi "https://doi.org/10.1007/978-3-642-00596-1_28" @default.
- W1596680954 hasPublicationYear "2009" @default.
- W1596680954 type Work @default.
- W1596680954 sameAs 1596680954 @default.
- W1596680954 citedByCount "60" @default.
- W1596680954 countsByYear W15966809542012 @default.
- W1596680954 countsByYear W15966809542013 @default.
- W1596680954 countsByYear W15966809542014 @default.
- W1596680954 countsByYear W15966809542015 @default.
- W1596680954 countsByYear W15966809542016 @default.
- W1596680954 countsByYear W15966809542017 @default.
- W1596680954 countsByYear W15966809542018 @default.
- W1596680954 countsByYear W15966809542019 @default.
- W1596680954 countsByYear W15966809542021 @default.
- W1596680954 countsByYear W15966809542022 @default.
- W1596680954 crossrefType "book-chapter" @default.
- W1596680954 hasAuthorship W1596680954A5000059818 @default.
- W1596680954 hasAuthorship W1596680954A5058107640 @default.
- W1596680954 hasBestOaLocation W15966809541 @default.
- W1596680954 hasConcept C115903868 @default.
- W1596680954 hasConcept C120314980 @default.
- W1596680954 hasConcept C121332964 @default.
- W1596680954 hasConcept C142362112 @default.
- W1596680954 hasConcept C149091818 @default.
- W1596680954 hasConcept C153269930 @default.
- W1596680954 hasConcept C153349607 @default.
- W1596680954 hasConcept C168167062 @default.
- W1596680954 hasConcept C174683762 @default.
- W1596680954 hasConcept C192034797 @default.
- W1596680954 hasConcept C199360897 @default.
- W1596680954 hasConcept C2777904410 @default.
- W1596680954 hasConcept C41008148 @default.
- W1596680954 hasConcept C558565934 @default.
- W1596680954 hasConcept C73301696 @default.
- W1596680954 hasConcept C80444323 @default.
- W1596680954 hasConcept C97355855 @default.
- W1596680954 hasConceptScore W1596680954C115903868 @default.
- W1596680954 hasConceptScore W1596680954C120314980 @default.
- W1596680954 hasConceptScore W1596680954C121332964 @default.
- W1596680954 hasConceptScore W1596680954C142362112 @default.
- W1596680954 hasConceptScore W1596680954C149091818 @default.
- W1596680954 hasConceptScore W1596680954C153269930 @default.
- W1596680954 hasConceptScore W1596680954C153349607 @default.
- W1596680954 hasConceptScore W1596680954C168167062 @default.
- W1596680954 hasConceptScore W1596680954C174683762 @default.
- W1596680954 hasConceptScore W1596680954C192034797 @default.
- W1596680954 hasConceptScore W1596680954C199360897 @default.
- W1596680954 hasConceptScore W1596680954C2777904410 @default.
- W1596680954 hasConceptScore W1596680954C41008148 @default.
- W1596680954 hasConceptScore W1596680954C558565934 @default.
- W1596680954 hasConceptScore W1596680954C73301696 @default.
- W1596680954 hasConceptScore W1596680954C80444323 @default.
- W1596680954 hasConceptScore W1596680954C97355855 @default.
- W1596680954 hasLocation W15966809541 @default.
- W1596680954 hasLocation W15966809542 @default.
- W1596680954 hasOpenAccess W1596680954 @default.
- W1596680954 hasPrimaryLocation W15966809541 @default.
- W1596680954 hasRelatedWork W1851153456 @default.
- W1596680954 hasRelatedWork W2103761859 @default.
- W1596680954 hasRelatedWork W2117156760 @default.
- W1596680954 hasRelatedWork W22745392 @default.
- W1596680954 hasRelatedWork W2282576365 @default.
- W1596680954 hasRelatedWork W2399028252 @default.
- W1596680954 hasRelatedWork W2496307681 @default.
- W1596680954 hasRelatedWork W2616106208 @default.
- W1596680954 hasRelatedWork W2953869997 @default.
- W1596680954 hasRelatedWork W2963857035 @default.
- W1596680954 isParatext "false" @default.
- W1596680954 isRetracted "false" @default.
- W1596680954 magId "1596680954" @default.
- W1596680954 workType "book-chapter" @default.