面向概率服务组合系统的需求描述  

Requirements Description for Probabilistic Service Compositions Systems

作　　者：开金宇[1,2] 缪淮扣[1,2] 高洪皓[3] 

机构地区：[1]上海大学计算机工程与科学学院,上海200444 [2]上海市计算机软件评测重点实验室,上海201114 [3]上海大学计算中心,上海200444

出　　处：《小型微型计算机系统》2015年第11期2504-2509,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60970007;61170044;61572306;61502294)资助;上海市自然科学基金项目(15ZR1415200)资助;上海高校青年教师培训计划项目(ZZSD13008)资助

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

关 键 词：随机场景 三段式概率消息 随机状态对象化 pLSC需求描述语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]