交易价格: 面议
类型: 非专利
交易方式: 资料待完善
联系人:
所在地:
围绕着新型服务软件开发中的适应性、一致性、可靠性等关键问题,系统地探索了适应性垂直服务组装理论、服务组装中事务集成与管理理论、面向服务软件的新型测试与调试理论,研制了相应的支撑平台,取得了一系列原创性的研究成果。 面向服务的软件开发是近年来兴起的软件开发新范型,围绕着服务软件的适应性、可靠性与一致性等关键科学问题,提出了基于可变性管理的适应性服务组装方法、面向服务组装的增量及声明式事务集成与管理方法、基于方面的服务组装中事务集成与管理方法、面向服务软件的蜕变测试理论、面向服务组装的变异测试方法、模型驱动的服务软件测试与监控方法、基于块的BPEL程序故障定位框架、基于谓词切换与程序切片的BPEL程序故障定位方法等服务软件开发的新理论,研制了相应的支撑平台,并进行了充分的实验评估。上述理论与支撑平台有助于解决服务软件开发在设计、测试与调试阶段面临的关键问题,为服务软件的开发提供重要的理论与工具支持,有助于推动基于垂直服务组装的聚合软件工程学科方向的发展。 近年来,Web 服务技术及其基础设施日益成熟,愈来愈多的组织采用面向服务的架构开发业务系统。我国政府信息系统、电信系统、银行系统、保险业务系统、各种行业供应链系统、航空服务系统以及大量的电子商务系统等,已经接纳了面向服务的架构。当上述服务软件系统在产业界大规模应用时,必须能够应对快速变化的业务需求、动态开放的网络环境、多样化的客户群,因此服务软件应具有足够的适应性;另一方面,上述服务软件是由分布的、独立部署与运行的Web服务按照松散耦合的方式组装而成的,如何保证服务软件的可靠性与一致性尤为关键。本课题提出的服务软件开发的关键理论与支持平台可广泛地应用于这类系统的开发,有助于解决服务软件的适应性、可靠性与一致性等关键问题。本课题的研究成果不但具有重要的理论意义,而且具有广泛的实际应用价值。
Copyright © 2018 宁夏回族自治区生产力促进中心 版权所有 宁ICP备11000235号-3 宁公网安备 64010402000776号