I denna artikel presenterar vi en kompositionssemantik för det kanalbaserade samordningsspråket Reo som möjliggör analys av tjänsternas kvalitet (QoS) egenskaper hos servicekompositioner. För detta ändamål annoterar vi Reo-kanaler med stokastiska fördröjningshastigheter och modellerar explicit data-arrivalhastigheter vid gränsen för en kontakt, för att fånga dess interaktion med de tjänster som utgör dess miljö. Vi föreslår Stochastic Reo Automata som en förlängning av Reo automata, för att kompositionellt härleda en QoS-medveten semantik för Reo. Vi presenterar vidare en översättning av Stochastic Reo Automata till Continuous-Time Markov Chains (CTMCs). Denna översättning gör det möjligt för oss att använda tredjeparts CTMC-verifieringsverktyg för att göra en end-to-end prestandaanalys av tjänstesammansättningar. Som en fallstudie av industriell styrka betraktar vi ASK-systemet. Framför allt presenterar vi en analys av CTMC som härrör från Stochastic Reo-modellen av ASK-systemet. Dessutom diskuterar vi i vilken utsträckning Interactive Markov Chains (IMC) kan fungera som en alternativ semantisk modell för Stochastic Reo. Vi visar att sammansättningen av IMCs inte kan specificera beteendet hos Stochastic Reo.
En kompositions-QoS-modell för kanalbaserad samordning av tjänster presenteras i REF.
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}