基于XMSF和SOA技术仿真系统的研究及实现

本文介绍了基于XMSF和SOA技术仿真系统的关键技术、功能设计和系统实现。系统采用可扩展建模与仿真框架XMSF技术、面向服务的体系结构SOA技术及分布交互仿真的高层体系结构HLA技术,为新一代仿真技术系统。     

基于Web服务面向服务的动态电子商务应用框架研究

web服务是新一代电子商务和企业应用集成(EAJ)解决方案的核心和关键,而动态电子商务是电子商务发展的目标.Web Services 面向服务为动态电子商务业务流程提供了一致的信息交换与集成框架,从而支持着企业交易伙伴之间更为复杂的 Web 交互与商务协作.讨论了面向服务架构和web服务及相关协议规范,最后提出了基于web Service面向服务的电子商务应用框架.     

面向服务的P2P网络体系结构 层次参考模型研究

提出了一种基于交互、 面向服务的P2P网络体系结构框 架模型ISPNA,同时结合P2P网络 松耦合、自组织、可缩放等特点, 对P2P网络技术中增强其可用性需 要解决的关键问题进行分析。 从P2P网络体系结构的研究角度出发, 将增强P2P网络可用性所需要考虑的 多方面因素放置在P2P网络的不同 层次予以解决,有利于从宏观上 把握需要解决的问题。     

一种面向应用的网络体系结构

网络发展到面向应用的阶段,传统面向系统互连的网络体系结构已经不能满足各种以高性能为评价指标的网络应用需求.在分析了计算机网络体系结构的发展历史及传统网络体系结构不足的基础上,讨论了下一代网络体系结构需要解决的问题,提出了一种面向应用的应用层主动网络(ALAN)体系结构模型,该模型通过增加用户层实现对用户的管理和支持用户的可移动性,通过应用层的主动网络技术,解决目前网络无法提供服务定制的难题.     

程控命令交互异常情况建模及其应用

基于IEC61850控制模型,提出了数字化变电站命令交互过程异常情况的建模方案.讨论了程序化操作命令交互流程等问题.方案引入了错误类型表示出错原因的种类和错误索引对应错误类型的具体出错原因条目的概念.采用MMS读写服务上送命令出错原因,实现了程序化操作异常情况的规范化建模和控制过程出错原因的描述.工程实践证明,命令交互异常情况的建模方案增强了程控自动执行过程的可控性,减轻了操作人员人为分析、处理异常情况的工作量.     

面向服务软件中异常处理的形式化建模方法

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。     

面向SOA架构分布式系统的会话交互建模及其安全验证

研究了SOA架构分布式系统在基于社区的Web服务动态会话交互的安全性,提出了一种基于形式化规格说明的Web服务组合行为建模和验证框架.基于OWL-S描述的若干个Web服务的组合和交互的安全性保障问题,构建了一种基于WS-Trust和WS-Secure Conversation规格的安全会话验证方法.该方法首先将Web服务组合行为建模为带有标签的迁移系统AKTS来描述服务的观察行为;进而将安全会话约束翻译为DPDL公式即将SOA系统的会话安全性验证问题规约为保障安全会话约束的前提下的Web服务组合行为的满足性问题;最后通过经典算法在有效时间内得到该满足性问题的验证.该框架为基于SOA架构的分布式系统的交互安全提供了理论支持和保障,在安全关键的分布式系统设计阶段及早发现安全隐患,节约了开发成本、提高了系统安全性.     

基于本体的多无人机系统语义互操作方法

引入基于领域本体的语义模型形式化建模方法,提出了多无人机交互描述的语义描述模型方法和交互配置的语义增强方法.设计了无人机本体UAV O和服务描述本体UAV OS,在OWL S（Ontology Web Language for Services）基础上扩展服务动态特性等的描述,可以为服务质量、服务状态和服务关系提供语义描述;扩展了对多无人机任务和动态配置、组合所需控制结构等的描述.为了实现多无人机应用配置的自动化和动态性,基于本体的语义增强方法可以用于配置管理,在匹配中引入高层次的语义增强匹配,对多无人机交互配置处理进行语义增强.在无人机综合仿真环境中进行了验证,结果表明,提出的基于本体的语义互操作方法能有效地支持多无人机应用交互和集成.     

树型网格环境TGrid的模型及算法

针对当前网格环境中存在的应用开发困难和管理复杂等问题,提出了一种新的基于树型结构的网格环境TGrid,它支持高性能计算、面向主题的资源共享和新一代需求建模.文中在分析讨论TGrid的特点及实现关键问题的基础上,给出了树的建立、树的动态重构、资源查找等关键算法,重点描述了TGrid实现大规模并行处理的动态负载平衡算法.模拟实验结果表明所提出的算法是有效的.     

基于进程代数WS-CDL交互模式建模研究

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。     

面向服务的C4ISR系统能力需求分析与建模方法

面向服务计算（SOC）提供了一种满足C4ISR系统动态需求的新的集成架构,面向服务集成是未来C4ISR系统综合集成的必然趋势。为了解决C4ISR高层需求描述到系统设计的映射问题,将面向服务思想引入C4ISR系统的能力需求分析,提出了一种面向服务的C4ISR系统能力需求分析建模方法。该方法在3层多本体的基础上,由活动分析驱动服务建模,通过整合服务提供能力需求,为C4ISR系统分析设计和系统集成提供了一种更灵活的解决方案。最后,采用一个案例说明了方法的有效性和可用性。     

基于ROAD-CPN业务架构的可执行建模方法

开放组架构框架（TOGAF）业务架构作为数据架构、应用架构和技术架构的基准，在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性，存在无法对系统业务架构框架动态特征进行分析的问题，故提出一种基于ROAD业务架构的着色petri网（CPN）可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型（RM）、组织模型（OM）、活动模型（AM）和数据模型（DM），建立4类模型不同描述形式与CPN建模语言间的对应关系，进而提出以RM，OM，AM和DM为主体的可执行模型五阶段建模方法。最后，以幼儿园智能晨检机器人系统业务架构为例，验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成，打破了业务架构建模语言和CPN建模语言之间的限制。     

一种新型分布式汽车多检测线系统体系结构

针对汽车检测站中多检测线各自独立控制,且功能主要局限于满足工业测控的问题,在对传统汽车单检测线控制系统结构分析的基础上,采用基于组件的软件工程方法和第四代分布式控制系统技术,设计了一种适用于多检测线的新型体系结构,该系统分为过程控制级、集中监控级、数据服务级、管理决策级和用户服务级。应用结果表明：新型体系结构将多条汽车检测线统一控制管理,比传统的单检测线控制模式更能充分利用资源,大幅提高检测站的检测能力;通过对网络结构、物理结构和逻辑结构的优化,不但能实现传统检测线的测控功能,还可将其扩展为集中控制、分散处理、资源共享、面向服务的集检测、控制、管理与服务于一体的综合信息平台。     

基于网络的案例推理专家系统

基于案例推理与网络的结合是案例推理技术发展的一个重要方向.根据网络的特点,提出采用面向服务的体系结构实现网络上的CBR专家系统,并基于J2EE平台实现了此CBR专家系统,以适应网络环境下知识工程的发展.     

新一代高性能计算机网络

传统的计算机网络体系结构已经越来越不能满足计算机网络应用领域扩展和网络应用技术发展的需求，另外，电信服务的发展也要求电信网能够融合计算机网的服务，这就使得电信界提出下一代网络的设想，下一代网络是电信网与因特网的融合和发展，在因特网技术领域，与下一代网络发展相适配的是高性能计算机网络的发展。根据计算机网络应用的发展需求，未来计算机网络研究的核心问题包括：大规模网络行为分析及其相应支撑系统、新一代高性能网络体系结构及其基础理论、移动网络技术、语义互联网应用技术等。下一代网络的研究与未来计算机网络的研究紧密相关，最关键的就是要研究和开发具有革命性的应用，并以此为目标，对下一代计算机网络体系结构及其基础理论进行研究，同时，还必须分析和研究大规模网络系统的行为，从而为下一代计算机网络的研究提供依据和性能分析的手段。     

基于SOA构建省级公路水路安全畅通与应急处置系统

为解决我国各省市电子政务系统在建设初期无统一规划导致数据之间与系统之间无法互联互通的问题,本文应用SOA(面向服务体系结构)具有松耦合、开放性及长期稳定的技术特点构建省级公路、水路安全畅通与应急处置系统;并以黑龙江省为例,通过面向服务的工作流技术构建系统,以适应黑龙江省分布、异构、动态的网络环境中政府的复杂应用需求,实现对系统从面向功能管理到面向业务过程管理的转移.     

一种基于虚拟化技术的面向服务网络

基于虚拟化技术,提出一种面向服务的网络体系结构VSONet(virtualization based service oriented network),它利用虚拟化技术把网络分割成多个虚拟网络,不同的虚拟网络负责不同的网络服务,不需要修改现有网络协议,可满足适合于特定服务的QoS需求;其次,在Linux环境下实现了VSONet的原型系统,并在原型系统上运行了一个业务实例,运行结果说明了VSONet体系结构的可行性.     

C4ISR体系结构服务视图产品描述方法研究

针对原有的C4ISR体系结构描述框架中系统视图所描述的军事资源系统之间紧密耦合难以适应作战视图中作战任务动态变化的问题,结合面向服务的思想扩展加入服务视图描述内容。为了保证C4ISR体系结构数据一致性,在底层体系结构数据元素模型分析的基础上加入服务元素,通过分析服务元素之间以及服务元素与原有的体系结构数据元素之间的关系,确定了C4ISR体系结构服务视图描述所涉及的产品,并对视图产品描述内容、数据元素模型及产品之间的关系进行了分析。     

面向服务定制的未来网络架构

互联网业务的蓬勃发展带动网络技术进步,但是,近几年出现的新业务,例如4K/8K高清视频、增强现实、自动驾驶等技术都对网络提出了新的需求,面对这些新需求,目前的网络架构暴露出诸多问题.因此,提出一种面向服务定制(service-customized networking,SCN)的未来网络架构.SCN基于SDN/NFV(software defined network/network functions virtualization)技术实现网络切片,为业务提供差异化的端到端服务质量保障.SCN通过在网络中差异化部署缓存资源,解决网络中冗余传输的问题.同时,SCN在其架构设计中加入了网络信息感知平面,通过采集底层网络状态并对收集的信息进行大数据处理分析,为更加合理的网络切片以及差异化缓存部署提供依据.     

基于ROADS的面向场景业务架构建模方法

ROAD元架构通过业务架构指导整个企业架构体系开发过程，是一组简单明确且高效的模型表达。针对已有的元架构体系中业务活动模型所采用的IDEF0图存在对多组件系统之间丰富的活动触发序列和信息交互场景描述能力不足的问题，提出在ROAD元架构基础上引入场景模型，与原来基于IDEF0的活动模型融合成为面向场景的活动模型，同时具备层次化描述能力和场景化时序表达能力。扩展后的ROADS元架构保留原架构的整体性和灵活性，且补充面向场景的系统建模能力，实现业务架构设计中的场景管理。最后以一个情景化外语教学系统为例，使用ROADS元架构方法建立场景化业务架构模型组，并对其进行讨论，为现有架构体系提供一种面向场景的扩展思路。