摘要

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.从马尔可夫随机过程特性出发,提出随机变量与消息相结合的三段式概率消息概念,p LSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了p LSC语言的图形表示方法,并展示了p LSCEditor编辑工具用于图形化编辑随机场景.