FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102206593> ?p ?o ?g. }

• W2102206593 abstract "We address the problem of synthesizing specifications for composite Web services, starting from those of their component services. Unlike related work in programming languages, we assume the definition of the component services (i.e. their code) to be unavailable --- at best, they are known by a specification which (safely) approximates their functional behavior. Within this scenario, we deduce general formula schemes to derive specifications for basic constructs such as sequential, parallel compositions and conditionals and provide details on how to handle the special cases of loops and asynchronous execution. The resulting specifications facilitate service verification and service evolution as well as auditing processes, promoting trust between the involved partners." @default.
• W2102206593 created "2016-06-24" @default.
• W2102206593 creator A5004081767 @default.
• W2102206593 creator A5030575094 @default.
• W2102206593 creator A5047192882 @default.
• W2102206593 date "2012-07-01" @default.
• W2102206593 modified "2023-09-30" @default.
• W2102206593 title "Deriving Specifications for Composite Web Services" @default.
• W2102206593 cites W1497001898 @default.
• W2102206593 cites W1559870885 @default.
• W2102206593 cites W1580312341 @default.
• W2102206593 cites W1788659055 @default.
• W2102206593 cites W1970495662 @default.
• W2102206593 cites W1988225961 @default.
• W2102206593 cites W2066210260 @default.
• W2102206593 cites W2142973056 @default.
• W2102206593 cites W2147543351 @default.
• W2102206593 cites W2157474964 @default.
• W2102206593 cites W3146075203 @default.
• W2102206593 cites W2048904015 @default.
• W2102206593 doi "https://doi.org/10.1109/compsac.2012.64" @default.
• W2102206593 hasPublicationYear "2012" @default.
• W2102206593 type Work @default.
• W2102206593 sameAs 2102206593 @default.
• W2102206593 citedByCount "3" @default.
• W2102206593 countsByYear W21022065932013 @default.
• W2102206593 countsByYear W21022065932014 @default.
• W2102206593 countsByYear W21022065932021 @default.
• W2102206593 crossrefType "proceedings-article" @default.
• W2102206593 hasAuthorship W2102206593A5004081767 @default.
• W2102206593 hasAuthorship W2102206593A5030575094 @default.
• W2102206593 hasAuthorship W2102206593A5047192882 @default.
• W2102206593 hasBestOaLocation W21022065932 @default.
• W2102206593 hasConcept C115903868 @default.
• W2102206593 hasConcept C116253237 @default.
• W2102206593 hasConcept C120314980 @default.
• W2102206593 hasConcept C121332964 @default.
• W2102206593 hasConcept C136264566 @default.
• W2102206593 hasConcept C151319957 @default.
• W2102206593 hasConcept C162324750 @default.
• W2102206593 hasConcept C168167062 @default.
• W2102206593 hasConcept C187736073 @default.
• W2102206593 hasConcept C199360897 @default.
• W2102206593 hasConcept C199521495 @default.
• W2102206593 hasConcept C2777904410 @default.
• W2102206593 hasConcept C2780378061 @default.
• W2102206593 hasConcept C31258907 @default.
• W2102206593 hasConcept C35578498 @default.
• W2102206593 hasConcept C41008148 @default.
• W2102206593 hasConcept C57041688 @default.
• W2102206593 hasConcept C76214141 @default.
• W2102206593 hasConcept C77088390 @default.
• W2102206593 hasConcept C80444323 @default.
• W2102206593 hasConcept C97355855 @default.
• W2102206593 hasConceptScore W2102206593C115903868 @default.
• W2102206593 hasConceptScore W2102206593C116253237 @default.
• W2102206593 hasConceptScore W2102206593C120314980 @default.
• W2102206593 hasConceptScore W2102206593C121332964 @default.
• W2102206593 hasConceptScore W2102206593C136264566 @default.
• W2102206593 hasConceptScore W2102206593C151319957 @default.
• W2102206593 hasConceptScore W2102206593C162324750 @default.
• W2102206593 hasConceptScore W2102206593C168167062 @default.
• W2102206593 hasConceptScore W2102206593C187736073 @default.
• W2102206593 hasConceptScore W2102206593C199360897 @default.
• W2102206593 hasConceptScore W2102206593C199521495 @default.
• W2102206593 hasConceptScore W2102206593C2777904410 @default.
• W2102206593 hasConceptScore W2102206593C2780378061 @default.
• W2102206593 hasConceptScore W2102206593C31258907 @default.
• W2102206593 hasConceptScore W2102206593C35578498 @default.
• W2102206593 hasConceptScore W2102206593C41008148 @default.
• W2102206593 hasConceptScore W2102206593C57041688 @default.
• W2102206593 hasConceptScore W2102206593C76214141 @default.
• W2102206593 hasConceptScore W2102206593C77088390 @default.
• W2102206593 hasConceptScore W2102206593C80444323 @default.
• W2102206593 hasConceptScore W2102206593C97355855 @default.
• W2102206593 hasLocation W21022065931 @default.
• W2102206593 hasLocation W21022065932 @default.
• W2102206593 hasOpenAccess W2102206593 @default.
• W2102206593 hasPrimaryLocation W21022065931 @default.
• W2102206593 hasRelatedWork W1557758604 @default.
• W2102206593 hasRelatedWork W1592887751 @default.
• W2102206593 hasRelatedWork W1926102264 @default.
• W2102206593 hasRelatedWork W1993069658 @default.
• W2102206593 hasRelatedWork W2003914879 @default.
• W2102206593 hasRelatedWork W2007239035 @default.
• W2102206593 hasRelatedWork W2017031335 @default.
• W2102206593 hasRelatedWork W2018648477 @default.
• W2102206593 hasRelatedWork W2033382181 @default.
• W2102206593 hasRelatedWork W2042639602 @default.
• W2102206593 hasRelatedWork W2068341135 @default.
• W2102206593 hasRelatedWork W2096803479 @default.
• W2102206593 hasRelatedWork W2109420119 @default.
• W2102206593 hasRelatedWork W2123986639 @default.
• W2102206593 hasRelatedWork W2168108355 @default.
• W2102206593 hasRelatedWork W2252712587 @default.
• W2102206593 hasRelatedWork W2280145101 @default.
• W2102206593 hasRelatedWork W2544881903 @default.
• W2102206593 hasRelatedWork W2899225779 @default.
• W2102206593 hasRelatedWork W61859302 @default.
• W2102206593 isParatext "false" @default.

• next