论文部分内容阅读
随着网络、终端、计算机应用等技术的飞速发展,为用户提供多样化、个性化的融合业务是大势所趋。用户需求的多样化、个性化以及融合业务提供环境的动态性,要求融合业务具有良好的可变性。如何对融合业务进行统一管理,在业务开发阶段对融合业务的可变性提供有效的支持,实现融合业务的快速开发,是融合业务提供技术中必须解决的重要问题。目前,面向服务的架构能够很好的支持基于Web服务的融合业务开发,但以Web服务为基础,开发具有可变性的融合业务仍存在诸多挑战,例如,如何对用户的共性和可变性需求进行有效管理,如何根据用户需求快速得到业务流程以及如何提供具有适变能力的融合业务等。这些挑战吸引了来自学术界和工业界的较大关注。因此,本文以构建具有可变性的融合业务为总体目标,以共性和可变性分析为指导,针对融合业务的可变性支持问题中的一系列关键技术问题进行深入研究,取得了如下成果:1.针对融合业务的可变性,结合软件产品线的思想,提出了基于产品线的融合业务开发框架(the framework of Converged Service Development based on Product Line, CSDPL),从需求分析,设计和实现配置三个阶段全方位的支持融合业务的可变性。建立需求特征模型,业务流程模型以及Web服务集合之间的桥梁,明确基于产品线的融合业务开发的主要过程及相关概念,并阐述了本文将要研究的融合业务可变性关键技术与CSDPL的关系,为后续研究奠定基础。2.针对具有时间约束的一类融合业务,提出了带有时间约束的融合业务建模和模型检测方法。首先通过对时间自动机进行扩展,提出了特征时间自动机,对融合业务的可变业务流程进行统一建模,并建立特征与业务流程之间的映射关系,将可变性需求直接反映到业务流程中。然后,提出了产品时间计算树逻辑,对所有产品的流程属性进行统一描述。最后采用模型检测方法对具有可变性的融合业务流程进行统一分析和验证,从而提高融合业务开发和检测的效率。3.融合业务在特殊环境(如战场,山区等)中执行时,网络环境的不可靠产生了业务的适变需求,为保证适变后业务的正确性与合理性,提出了一种基于马尔科夫决策过程的适变业务流程建模和分析方法。该方法首先定义业务流程的相似性及数据类型的相容性,为适变业务提供候选业务集合,使业务流程能够动态的进行变化;然后,采用概率模型检测技术对模型的合理性进行验证。最后,结合具体业务实例,采用本文提出的方法进行建模和分析验证,说明该方法的有效性。4.针对业务特征数量众多的大规模融合业务配置过程中,需要根据多利益相关者的质量需求提供快速有效的业务配置问题,提出了一种基于模糊偏好度量的融合业务配置方法。首先,采用模糊综合评判方法对多利益相关者的质量需求进行综合评判,得到模糊偏好权重,作为融合业务配置的目标。然后,提出一种改进的二进制粒子群优化算法,对满足配置目标和资源约束的融合业务进行配置。在配置过程中,为了提高算法求解精度,引入惯性调整机制;为了保证解的正确性,引入特征修正函数。通过实验表明,本文提出的方法能够较好的根据利益相关者的质量需求对大规模的具有可变性的融合业务进行快速有效的配置。