【摘 要】
：
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic pro
【机 构】
：
南京航空航天大学信息科学与技术学院,南京工程学院计算机工程学院
论文部分内容阅读
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.
其他文献
本文在KAP模型的扩展模型知情意行理论模型的基础上构建了零售百货消费者认知对其惠顾与口碑传播意愿影响机理的理论模型,明确了消费者百货店认知的概念,并在消费者百货认知
随着人们生活水平的提高,人们对美好生活的需求也日益升高,但就我国社会的发展水平来看,受不同地域的、不同环境的影响,人们对幸福生活的需求存在巨大的差异,并且这种差异还
现今各领域都在飞速发展,我们已进入汽车时代,尾气、噪音、交通堵塞等问题让人们越来越重视我们的生存环境、呼吁低碳环保、绿色出行。公交车作为城市百姓出行的主要工具,仍
结合过去3年中设计、开发和部署BNeck系统的经验,分析了13个可用带宽度量系统的工作原理及软件实现,并在此基础上总结了可用带宽度量系统中存在的若干基本问题.对这些问题的
本文主要论述香港、新加坡和马来西亚华人的语言特征 ,以及由此引起的语码转换现象。
有效的校本教研能提高学校教学质量,促进教师专业化发展,如何提高我区化学校本教研的有效性,笔者采用"主题课例式研训结合"教研模式,通过网络直播方式,使全区化学教师全程学
随着信息技术及网络的发展与应用,高校为促进实验室和实验教学的信息化管理,引入RFID技术来管理实验室设备,以提高实验室管理效率和服务质量。本文分析了高校实验室信息化管
目前双进双出球磨机直吹式制粉系统在国内燃煤电厂中的使用越来越广泛。直吹式制粉系统在运行中需要满足包括煤粉细度、温度等许多制粉要求,其中一个重要的要求是在任意时刻
目的探讨广东省5 564名高校学生献血反应及相关影响因素。方法本文采用回顾分析的方式,选取广东省高校5 564名在校献血者为研究对象,记录每个调查对象性别、献血量、献血次数
在当今,我国的森林保险还没有针对其的规章制度,缺乏对其的法律法规,对森林保险的性质也没有做出明确的规定,森林保险总是被当作是商业性保险,因此森林保险的经营管理方法、