面向服务的可信软件体系结构代数模型

针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件运算实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.     

基于SOA的供应链智能协同服务技术研究与实践

结合供应链的协同需求,采用SOA体系结构建立供应链的动态服务系统原型并实现,支持供应链分布式应用从信息共享向智能协作转变,并在企业业务流程中成功应用验证。     

一种SOA软件系统可信性评价方法研究

结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.     

基于区块链的可信SOA架构

在传统服务架构(Service-Oriented Architecture, SOA)中，Web Service提供者将其服务描述注册在注册中心，供服务消费者进行服务发现和服务调用。尽管该架构可以提供松散的服务调用，但是缺乏争议解决机制，使得互不信任的服务消费者和提供者之间的服务可信调用得不到保证。区块链技术在去中心化和抗篡改等方面具有显著的优势，可被合理地应用在传统SOA中，以解决服务可信问题。结合传统SOA架构和区块链技术，提出了一种基于区块链的可信SOA架构，实现可信的服务调用。在一次服务可信调用过程中，服务消费者进行参数加密并将其发送给目标服务提供者；服务提供者接收加密参数并对其完成解密；服务提供者完成服务执行并对输出结果完成加密；最后服务提供者在将加密结果发送给服务消费者的同时完成可信凭证的构造与上链。在上述基础上，当发生服务纠纷时，将触发裁决智能合约，正确处理服务纠纷。实验结果表明，与传统的调用相比，所提方法能够在保证大部分服务可信调用时间增长率不大于30%的前提下，正确处理服务提供者和请求者之间的服务纠纷。     

基于SOA的交通信息整合系统研究

SOA是一种面向服务的体系架构,可有效地支撑交通信息服务的开发与应用。本文首先阐述了SOA的内涵、模型结构和主要特征;然后分析了基于SOA的交通信息服务的系统架构和流程;最后通过对新疆交通信息整合服务平台建设的实例研究,可以看到采用基于SOA的Web服务技术来整合异构的交通信息数据的方法取得了很好的效果。     

基于CIM/SOA的校园信息系统智能集成研究

针对学校信息系统发展过程中普遍存在的信息孤岛问题,提出了基于公共信息模型(CIM)/面向服务架构(SOA)的智能集成方案,并阐述了具体的设计思路和步骤。该方法以CIM/SOA模型为基础,以Web Services和J2EE架构为实施平台,在系统使用过程中可通过自动学习等智能功能使集成系统不断自动完善。     

SOA在模型管理系统中的应用研究

SOA在模型管理中应用旨在解决模型管理系统中数据集成和服务重用问题.训练模拟器开发是一个复杂系统工程,在开发过程中要产生大量的产品数据,包括结构化的和非结构化的.对这些异构的数据进行有效管理,能够为模型开发提供支持,特提出模型管理系统.为了解决开发过程中大量的异构数据的集成问题,提出基于SOA体系结构的模型管理系统.其方法是,利用SOA是一种基于Web服务的松散耦合的体系结构,为模型管理系统提供分阶段实施的策略,降低系统设计的风险,此外,采用SOA的系统结构提高数据和服务接口的可重用性.文章最后给出了基于SOA的系统实现体系结构,解决了模型管理数据集成问题.     

主动信息服务系统的设计与实现

针对旅游业的现状，开发了主动信息服务系统，给出了智能信息推拉技术的特点和种类，建立了推送模型和拉模型．提出了基于智能信息推拉技术的主动信息服务系统的设计方案，给出了系统开发的流程图．采用用户兴趣模型和可信度模型相结合的分析方法采集网络信息数据，利用C#．net编程语言和Ajax技术开发了主动信息服务系统．该系统达到了平衡用户需求和信息可信的目的，具有一定的实用价值．     

基于Web Services的智能社区信息系统软件集成框架

当前智能社区建设成了一种趋势,智能社区信息系统软件集成有着广泛的需求。Web服务作为一种新的分布式计算系统具有许多优异的特性,如松散耦合性、集成的灵活性等。结合智能社区信息系统软件集成的需求和Web服务的特点,设计了一种智能社区信息系统软件集成框架,并且通过实例讨论了一些具有共性的问题。     

一种基于OSGi的服务动态化模型应用

针对SOA应用系统构建过程中对服务动态部署、服务查找、需求变更的适应性以及系统可扩展性方面的要求,主要介绍了面向服务体系结构的特点和不足,阐述了OSGi的相关理论及应用优势,通过SOA与OSGi相结合,提出了一种支持服务动态化部署和应用的OSGi模型。并且结合具体案例详细描述了运用这种动态化模型的过程和策略,解决了应用系统业务集成中服务的动态化要求等方面的问题。     

基于构建主义的多Agent网络教学系统设计

针对传统网络教学系统缺乏交互性、个性化、自适应性及智能化低等弊端,分析了现代网络教学系统的特点,以构建主义学习理论为指导,创造性地引入了Agent技术和面向服务的系统体系架构,提出了一种具有智能化、交互性和自适应能力的网络教学模型,构建了面向服务的系统体系结构,说明了系统设计原则,探讨了Agent和SOA等关键技术。     

面向服务的自动测试体系框架及其实现技术

为解决ATS应用系统之间的数据共享、故障诊断交互和适配器跨平台操作等问题,本文提出并实现了一种面向服务的军用自动测试体系架构。该架构通过提供测试功能服务与信息共享服务来使得ATS完成松耦合、开放的系统转变,使得新的ATS是基于网络和基于信息系统的,更加强调ATS的整体运用,为装备维修保障体系向基于信息系统的联合保障战略转型提供了技术支撑。     

SOA应用于高校党务管理信息系统的研究

SOA为下一代软件系统开发的新方法,本文介绍SOA的概念、体系架构以及SOA分析和设计的方法。基于以上理论基础提出党务管理信息系统中系统体系结构的构建以及如何基于SOA进行服务建模。     

基于SOA的网上音乐销售系统设计策略

面向服务架构(SOA)是软件工程领域的最新发展方向,使用SOA可以方便地整合各种资源,实现最大程度的软件复用.利用SOA架构的这一优势给出了一个网上音乐销售系统设计模型,解决了分布式环境下在线音乐销售的整合问题,并且应用一种新的服务组件模型架构(SCA)及企业服务总线技术实现了该模型.     

基于微重启技术的SOA服务恢复方法

面向服务的体系结构(SOA)将业务逻辑和具体地实现技术分离开来,利于复用和集成.SOA服务化已成为信息系统的主要发展趋势.在SOA服务特点及比较现有服务恢复方法的基础上,结合微重启(Microreboot)技术提出了一种新的基于微重启的SOA服务恢复方法,并结合项目支撑的实验平台进行验证,实验表明了该方法的实用性和高效...     

面向服务架构的ERP软件设计新思路

传统构架下的ERP软件,在实际应用中出现了许多问题.文章介绍了一种新的软件架构方法--面向服务架构(SOA)的理念及其特点,并对面向服务架构的ERP和面向对象架构的ERP分别在体系结构和开发方法上作比较,最后选取SAP公司的NetWeaver和ESA产品设计理念作为案例,进一步阐述了SOA思想在ERP设计中的应用特点和优势.     

基于属性封印的可信传输协议设计

基于非对称密码学的传统信息交换机制中,通过密钥实现信息保密及平台身份认证的方式存在较多安全不足.由此,基于可信计算研究的新PC体系结构提出一种实现传输终端配置安全性认证和保障数据传输及使用安全的信息传输方案,并且基于属性封印的思想,采用Pederson承诺和离散对数不等的零知识证明该方案,设计了具体密码协议以实现该方案.通过随机预言模型证明了该协议的安全性,并将该协议应用于一个真实的移动支付实例,展示了其使用方式.     

基于SOA的网络安全系统应用研究

提出了一种基于面向服务架构SOA的网络安全系统,详细分析了系统的特点,对于基于SOA的网络安全系统与传统的网络安全系统的不同之处进行了比较,给出了一个基于SOA的网络安全扫描系统的实例。研究表明,基于SOA的网络安全系统具有更好的柔性、重用性和可扩展性。     

基于SOA架构的企业应用集成技术研究

本文介绍了面向服务的体系架构SOA、及其结构模型,针对目前企业应用集成面临的问题,提出了一种面向服务的企业信息集成模型,介绍了面向服务架构的基本概念、基本工作原理,以Web Services为主要技术,提出了一种基于SOA的企业应用集成框架,利用SOA架构面向服务的思想和ESB总线技术给出实现企业应用集成的解决方案,并以此提出了一种新的面向服务的企业应用集成模型。该模型对企业应用系统采用封装的方法,保证了应用系统在集成平台中仍保持原先的安全稳定性。     

基于加密SD卡的内网移动终端可信接入方案

为了解决因不可信移动终端非法接入内网导致的信息安全问题,设计了一种基于加密SD卡的内网移动终端可信接入方案。通过可信计算技术,以加密SD卡作为可信硬件设备实现了移动终端设备的可信启动、完整性验证与内网可信接入,并对接入后移动终端与内网的数据交互过程提供了一种加密通信安全存储机制。实验结果表明,该方案在不改变移动终端基本架构的前提下,较为高效地对移动终端进行安全性认证,并在一定程度上保护内网环境的安全。