Requirements Description for Probabilistic Service Compositions Systems
In an open service-oriented computing environment,due to the dynamic changes of the runtime context and the open computing environment,web service systems have to face all kinds of uncertainty. To configure computational resources efficiently so as to realize the maximize system business value,uncertainty system requirements need to be described. Based on LSC,this paper proposes a p LSC language which can describe stochastic scenarios. Starting from the characteristics of the Markovain stochastic process,a concept,three-stage probabilistic message,is introduced,which combines the random variables with a message to describe random scenarios. The p LSC language describes the stochastic scenarios by the objectification random variables symbolic message interactive sequences. In this paper,the graphical presentation of the p LSC is given and a p LSC Editor is developed to help edit the stochastic scenarios.