Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005472620> ?p ?o ?g. }
- W2005472620 endingPage "107" @default.
- W2005472620 startingPage "93" @default.
- W2005472620 abstract "In this paper we present a compositional semantics for the channel-based coordination language Reo which enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its environment. We propose Stochastic Reo automata as an extension of Reo automata, in order to compositionally derive a QoS-aware semantics for Reo. We further present a translation of Stochastic Reo automata to Continuous-Time Markov Chains (CTMCs). This translation enables us to use third-party CTMC verification tools to do an end-to-end performance analysis of service compositions." @default.
- W2005472620 created "2016-06-24" @default.
- W2005472620 creator A5021366734 @default.
- W2005472620 creator A5029314584 @default.
- W2005472620 creator A5050712336 @default.
- W2005472620 creator A5082262382 @default.
- W2005472620 date "2010-07-28" @default.
- W2005472620 modified "2023-10-16" @default.
- W2005472620 title "A Compositional Semantics for Stochastic Reo Connectors" @default.
- W2005472620 cites W1531089277 @default.
- W2005472620 cites W1597655219 @default.
- W2005472620 cites W1969620704 @default.
- W2005472620 cites W1988680012 @default.
- W2005472620 cites W1997606563 @default.
- W2005472620 cites W2021089599 @default.
- W2005472620 cites W2026701266 @default.
- W2005472620 cites W2070215238 @default.
- W2005472620 cites W2098116976 @default.
- W2005472620 cites W2104383147 @default.
- W2005472620 cites W2105908849 @default.
- W2005472620 cites W2109142454 @default.
- W2005472620 cites W2139842876 @default.
- W2005472620 cites W2171923584 @default.
- W2005472620 cites W2576017016 @default.
- W2005472620 cites W39325421 @default.
- W2005472620 cites W40569148 @default.
- W2005472620 doi "https://doi.org/10.4204/eptcs.30.7" @default.
- W2005472620 hasPublicationYear "2010" @default.
- W2005472620 type Work @default.
- W2005472620 sameAs 2005472620 @default.
- W2005472620 citedByCount "10" @default.
- W2005472620 countsByYear W20054726202012 @default.
- W2005472620 countsByYear W20054726202013 @default.
- W2005472620 countsByYear W20054726202014 @default.
- W2005472620 countsByYear W20054726202015 @default.
- W2005472620 countsByYear W20054726202019 @default.
- W2005472620 crossrefType "journal-article" @default.
- W2005472620 hasAuthorship W2005472620A5021366734 @default.
- W2005472620 hasAuthorship W2005472620A5029314584 @default.
- W2005472620 hasAuthorship W2005472620A5050712336 @default.
- W2005472620 hasAuthorship W2005472620A5082262382 @default.
- W2005472620 hasBestOaLocation W20054726201 @default.
- W2005472620 hasConcept C104317684 @default.
- W2005472620 hasConcept C105580179 @default.
- W2005472620 hasConcept C112505250 @default.
- W2005472620 hasConcept C119857082 @default.
- W2005472620 hasConcept C120314980 @default.
- W2005472620 hasConcept C136264566 @default.
- W2005472620 hasConcept C149364088 @default.
- W2005472620 hasConcept C162324750 @default.
- W2005472620 hasConcept C184337299 @default.
- W2005472620 hasConcept C185592680 @default.
- W2005472620 hasConcept C199360897 @default.
- W2005472620 hasConcept C2778029271 @default.
- W2005472620 hasConcept C2780378061 @default.
- W2005472620 hasConcept C31258907 @default.
- W2005472620 hasConcept C41008148 @default.
- W2005472620 hasConcept C5119721 @default.
- W2005472620 hasConcept C55493867 @default.
- W2005472620 hasConcept C80444323 @default.
- W2005472620 hasConcept C98763669 @default.
- W2005472620 hasConceptScore W2005472620C104317684 @default.
- W2005472620 hasConceptScore W2005472620C105580179 @default.
- W2005472620 hasConceptScore W2005472620C112505250 @default.
- W2005472620 hasConceptScore W2005472620C119857082 @default.
- W2005472620 hasConceptScore W2005472620C120314980 @default.
- W2005472620 hasConceptScore W2005472620C136264566 @default.
- W2005472620 hasConceptScore W2005472620C149364088 @default.
- W2005472620 hasConceptScore W2005472620C162324750 @default.
- W2005472620 hasConceptScore W2005472620C184337299 @default.
- W2005472620 hasConceptScore W2005472620C185592680 @default.
- W2005472620 hasConceptScore W2005472620C199360897 @default.
- W2005472620 hasConceptScore W2005472620C2778029271 @default.
- W2005472620 hasConceptScore W2005472620C2780378061 @default.
- W2005472620 hasConceptScore W2005472620C31258907 @default.
- W2005472620 hasConceptScore W2005472620C41008148 @default.
- W2005472620 hasConceptScore W2005472620C5119721 @default.
- W2005472620 hasConceptScore W2005472620C55493867 @default.
- W2005472620 hasConceptScore W2005472620C80444323 @default.
- W2005472620 hasConceptScore W2005472620C98763669 @default.
- W2005472620 hasLocation W20054726201 @default.
- W2005472620 hasLocation W20054726202 @default.
- W2005472620 hasOpenAccess W2005472620 @default.
- W2005472620 hasPrimaryLocation W20054726201 @default.
- W2005472620 hasRelatedWork W1506098152 @default.
- W2005472620 hasRelatedWork W1513077802 @default.
- W2005472620 hasRelatedWork W1587224678 @default.
- W2005472620 hasRelatedWork W2093234790 @default.
- W2005472620 hasRelatedWork W2123384876 @default.
- W2005472620 hasRelatedWork W2151277984 @default.
- W2005472620 hasRelatedWork W2196692106 @default.
- W2005472620 hasRelatedWork W2244075056 @default.
- W2005472620 hasRelatedWork W2991618286 @default.
- W2005472620 hasRelatedWork W3098874733 @default.
- W2005472620 hasVolume "30" @default.
- W2005472620 isParatext "false" @default.
- W2005472620 isRetracted "false" @default.
- W2005472620 magId "2005472620" @default.