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

发布时间：2018-01-12 01:16

  本文关键词：面向概率服务组合系统的需求描述　出处：《小型微型计算机系统》2015年11期 　论文类型：期刊论文

  更多相关文章： 随机场景 三段式概率消息 随机状态对象化 pLSC需求描述语言

【摘要】：高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.从马尔可夫随机过程特性出发,提出随机变量与消息相结合的三段式概率消息概念,p LSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了p LSC语言的图形表示方法,并展示了p LSCEditor编辑工具用于图形化编辑随机场景.
[Abstract]:The highly open computing environment makes web services systems face various uncertainties. In order to effectively configure computing resources to maximize the business value of the system. The requirements of uncertain probabilistic service composition systems need to be modeled. On the basis of LSC, a requirement description language p LSC based on three-segment probabilistic message is proposed. It is used to describe the uncertain requirements of stochastic scene description in probabilistic service composition systems. Based on the characteristics of Markov stochastic processes, a three-segment probabilistic message concept combining random variables with messages is proposed. P LSC language is a requirement description language based on three-segment probabilistic message, which objectifies random variables in three-segment probabilistic message. The system requirements of random scene description are intuitively expressed by random variable object message interaction sequence. A graphic representation method of p LSC language is given in this paper. And shows the p LSCEditor editing tool for graphical editing random scenarios.
【作者单位】： 上海大学计算机工程与科学学院;上海市计算机软件评测重点实验室;上海大学计算中心;
【基金】：国家自然科学基金项目(60970007,61170044,61572306,61502294)资助 上海市自然科学基金项目(15ZR1415200)资助 上海高校青年教师培训计划项目(ZZSD13008)资助
【分类号】：TP393.09
【正文快照】： 1引言面向服务的体系架构(SOA,Service-Oriented Architec-ture)提供了一种松散耦合的分布式计算范式,在WSDL、UD-DI、SOAP等技术构成的标准化体系基础上,不同类型和形式的上层业务功能和数据等计算资源都可以以统一地方式被描述、发布和发现和访问,形成了一个基于标准、开放

【参考文献】

相关期刊论文 前3条

1 戴雨婷;缪淮扣;梅佳;高洪皓;;基于LSC模型检验的性质抽取[J];上海大学学报(自然科学版);2012年02期

2 梅佳;缪淮扣;高洪皓;;构件式实时系统建模与验证研究[J];小型微型计算机系统;2012年02期

3 陈曙;毋国庆;叶俊民;陈明楷;;一种面向软件行为和多视点的需求模型验证方法[J];小型微型计算机系统;2013年07期

【共引文献】

相关期刊论文 前10条

1 张鹏程;周宇;李必信;徐宝文;;属性序列图:形式语法和语义[J];计算机研究与发展;2008年02期

2 邱晓康;陈铭松;王林章;李宣东;郑国梁;;UML行为图驱动的Java程序运行时验证工具[J];计算机科学;2007年12期

3 胡军;于笑丰;张岩;王林章;李宣东;郑国梁;;基于场景规约的构件式系统设计分析与验证[J];计算机学报;2006年04期

4 李磊;钱彦岭;杨拥民;杜凯;;基于概率模型检验的复杂武器系统任务可靠性评估方法研究[J];机械工程学报;2011年24期

5 吴宏;齐治昌;;基于LSC的模型检验研究[J];计算机应用与软件;2006年07期

6 张亚红;张琳琳;赵楷;陈佳丽;冯在文;;基于UML2.0序列图的Web服务运行时验证方法[J];计算机科学;2013年07期

7 马丽;吴怀广;毋国庆;;面向软件行为的需求模型可视化研究[J];计算机应用研究;2015年08期

8 卢暾;;基于可生存性规范的软件构件系统恢复的建模与推理[J];软件学报;2007年12期

9 KAZMI Syed Asad Raza;张文辉;;直觉线性μ-演算中的合成推理(英文)[J];软件学报;2009年08期

10 张鹏程;李必信;李雯睿;;时间属性序列图:语法和语义[J];软件学报;2010年11期

相关博士学位论文 前9条

1 张晋津;转换系统行为近似等价性的研究[D];南京航空航天大学;2010年

2 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年

3 杨峰;面向效能评估的平台级体系对抗仿真跨层次建模方法研究[D];国防科学技术大学;2003年

4 王洪媛;UML行为模型之间模型转换的研究[D];吉林大学;2007年

5 胡军;构件化嵌入式软件设计的分析与验证[D];南京大学;2005年

6 李勇华;目标和场景相结合的需求工程[D];武汉大学;2006年

7 陈超;语境驱动的仿真模型可组合性测试方法研究[D];国防科学技术大学;2007年

8 许静;面向模块化产品平台的技术对象有序化及重用技术研究[D];浙江大学;2011年

9 陈艳文;分布式系统的时间化通信行为模型[D];华东师范大学;2014年

相关硕士学位论文 前10条

1 刘志远;基于密钥链的认证邮件协议的扩展及形式化验证[D];山东大学;2011年

2 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年

3 张晓春;基于用户场景的需求引出及其行为建模技术研究[D];浙江师范大学;2007年

4 张晓旭;工兵团装备保障工作流模型建立与验证[D];国防科学技术大学;2009年

5 康维;基于UML模型的类簇级测试用例生成方法研究[D];中南大学;2009年

6 张颖;基于博弈的多参与者合同签署协议的验证[D];山东大学;2010年

7 张纪昌;基于场景的构件组合方式的研究[D];浙江师范大学;2010年

8 徐利伟;基于改进遗传算法的悬架结构优化[D];河北工程大学;2013年

9 辜剑;基于时间属性序列图的运行时验证技术研究[D];华中师范大学;2014年

10 丁哲;迭代闭序列模式挖掘算法及其在软件可信性分析中的应用研究[D];兰州大学;2012年

【二级参考文献】

相关期刊论文 前9条

1 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期

2 吴怀广;毋国庆;陈曙;万黎;;面向软件行为的需求模型及特性检测[J];计算机研究与发展;2011年05期

3 谭亮;曾红卫;;基于接口自动机的Web应用验证[J];计算机工程与应用;2009年03期

4 万黎;毋国庆;吴怀广;;面向行为的需求建模研究及实现[J];计算机科学;2011年04期

5 胡军;于笑丰;张岩;王林章;李宣东;郑国梁;;基于场景规约的构件式系统设计分析与验证[J];计算机学报;2006年04期

6 吴宏;齐治昌;;基于LSC的模型检验研究[J];计算机应用与软件;2006年07期

7 万麟瑞,胡宏,孙红星;面向构件的软件开发方法学研究[J];小型微型计算机系统;2003年03期

8 于东,卢艳军,杨建刚;面向控制器的实时组件技术研究[J];小型微型计算机系统;2004年12期

9 陈曙;毋国庆;陈明楷;;面向软件行为和多视点的需求建模方法[J];小型微型计算机系统;2011年01期

相关博士学位论文 前2条

1 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年

2 曾红卫;Web应用的验证与测试方法研究[D];上海大学;2008年

相关硕士学位论文 前1条

1 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年

【相似文献】

相关期刊论文 前10条

1 秦振;陆昌辉;张维明;;信息需求描述方法综述[J];科学技术与工程;2006年15期

2 王显志;王忠杰;徐晓飞;;面向服务整合的顾客个性化需求分类与描述方法[J];黑龙江大学自然科学学报;2009年05期

3 王利;;软件需求描述方法的比较与分析[J];泸州职业技术学院学报;2009年04期

4 于龙;蹇强;;面向主题的信息抽取需求描述与分析[J];计算机工程;2012年23期

5 雍信阳，蔡希尧，陈平;6种需求描述方法的比较[J];西安电子科技大学学报;1996年02期

6 文必龙;张全;马世滨;;基于资源的需求描述方法[J];计算机工程与科学;2008年10期

7 夏幼明,徐天伟,李刚;智能型交互式用户需求描述的方法设计与知识获取[J];计算机应用与软件;1999年05期

8 姚昱;毋国庆;吴怀广;万黎;;一种软件需求描述语言的设计与实现[J];计算机工程与应用;2009年21期

9 王舜燕;邱昌程;宁海波;张梅芬;;构件搜索中需求描述关键词提取方法[J];计算机与数字工程;2009年11期

10 陆云，，马利民;用户需求描述与软件设计自动化技术[J];微机发展;1996年01期

相关会议论文 前1条

1 朱扬勇;施伯乐;;数据库设计的一个需求描述语言RDL[A];第十一届全国数据库学术会议论文集[C];1993年

相关重要报纸文章 前1条

1 张振坤;为什么要搞信息化[N];中国信息化周报;2014年

相关博士学位论文 前1条

1 邓娜;BPEL流程生命周期中若干关键问题研究[D];北京邮电大学;2011年

相关硕士学位论文 前5条

1 汪云凤;个性化需求描述方法在云服务环境下的应用研究[D];合肥工业大学;2012年

2 黄龙;基于格式化的自然语言需求描述方法研究[D];上海师范大学;2011年

3 郑莉平;基于服务需求的自动测试技术研究[D];重庆大学;2011年

4 聂铁铮;服务网格中资源需求描述方法与服务选择策略的研究[D];东北大学;2005年

5 张文萃;面向智能流程的个性化需求获取方法研究[D];山东大学;2008年

本文编号：1412049