A Compositional Semantics for Stochastic Reo Connectors

Details A Compositional Semantics for Stochastic Reo Connectors A Compositional Semantics for Stochastic Reo Connectors

2010-07-29

arxiv.org/abs/1007.5094v1

EPTCS 30, 2010, pp. 93-107

Computer Science

Software Engineering

In Proceedings FOCLASA 2010, arXiv:1007.4993

Scientific paper

10.4204/EPTCS.30.7

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.

Affiliated with

Also associated with

No associations

Rating

A Compositional Semantics for Stochastic Reo Connectors does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Compositional Semantics for Stochastic Reo Connectors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Compositional Semantics for Stochastic Reo Connectors will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-450539