基于Pi-演算的Web服务可替换性验证

通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.     

基于环境的软件正确性形式化描述

软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。     

支持二分图语义匹配的组合服务选择方法

为了解决从大量具有相同功能属性但非功能属性不同的候选服务中选择合适的服务并进行组合时基本服务间互操作性差和可组合性低的问题,在利用语义描述服务的基础上提出了一种基于扩展二分图的组合服务语义匹配度的计算方法,用于对组合服务的整体进行语义分析及可组合性的度量.通过将组合服务的语义匹配度和组合服务的非功能属性相结合进行服务选择,来确保选取出的基本服务能够无缝连接并进行有效组合,使得到的组合服务在满足用户需求的同时能够正确执行.将组合服务选择问题转化为多约束多目标的优化问题,并引入遗传算法予以实现.实验结果表明,支持语义匹配的组合服务选择方法是可行且有效的.     

ASaaSI：SaaS服务集成架构

随着信息化水平的提高和网络技术的快速发展,SaaS（Softwareasa Service,软件作为服务）已经成为被广泛应用的软件服务提供方式,且对SaaS应用服务的要求也越来越高。本文提出通过SaaS服务集成解决上述问题。我们对文中提出的集成架构和方法进行了实现,并成功应用到国内著名的汽车制造厂,显著的提高了公司的管理效益和经济效益。     

Web服务选择优化算法的设计与实现

为了提供满足客户需求的组合Web服务,将Web服务的属性分为功能属性和非功能属性(即服务质量QoS属性).通过服务类对功能属性进行划分,并按照服务类以QoS属性的组合类型方式进行服务组合.提出了将基于QoS的服务选择转换成有限方案的多目标决策问题,同时给出选择组合服务的最优执行计划的规划算法.实验表明此方法既利用了现有工作流技术的成果,又具有动态绑定和QoS支持.     

基于数学模型的云计算SaaS定价的研究与实现

为合理确定云计算中软件即服务(SaaS)的价格,使云计算公司既能迅速占领云计算市场又能得到丰厚的利润回报,结合静态定价和动态定价,通过盈亏平衡分析、双因素试验和回归方程等数学模型对云计算公司的销售数据进行分析,在此基础上提出合理的定价策略,以供决策者参考.编写了部分代码,实现了数据分析自动化.最后,对合理定价的SaaS发展前景进行了展望.     

可用性语义Web服务的通用发现机制

针对复杂组合Web服务的选择问题,提出了一种基于可用性的语义Web服务发现方法.使用动态自适应模板来寻找可用的组合Web服务,结合语义匹配度量化Web服务的功能、非功能属性,在形式化定义组合Web服务的可用性等规则的情况下,基于可用性的量化值进行排序,从而得到最合适的Web服务.将以建议规则实现的匹配引擎运行于原型系统,结果表明所提方法可以实时选择复杂组合Web服务,适用范围也比较大,并在查全率的基础上能够获得最优解.     

基于PAR方法的管理信息系统需求建模研究

采用PAR方法中严格定义的形式化语言Radl描述MIS(管理信息系统)系统的性质和行为模式,并建立对应的需求数学模型,为构建高质量的软件需求模型进行了有益的探索.     

基于PI演算的软件人通信形式化与建模研究

本文主要通过PI演算对软件人的通信中信息流和控制流进行形式化表述和建立模型,基于该通信模型,实现对软件人之间的协作.自律等行为以及软件人群体结构演化等方面抽象分析的目的.     

基于SaaS服务的中小企业业务协同系统

为了解决网络环境下的中小企业业务协同问题,构建了基于软件服务模式(SaaS)的中小企业业务协同服务支撑平台.从架构层次出发,研究了支持中小企业业务服务构造与交付的基础架构模型,并研究了基于Portal的服务集成方法和基于SaaS服务互操作实现企业协同业务的方法.实际应用中,服务提供商可以将中小企业所需的业务系统构造成S...