基于Web服务和多Agent的敏捷供应链系统模型研究

本文基于Web服务技术与Agent技术对敏捷供应链系统模型进行研究.首先分析了基于多Agent的供应链系统,指出传统分布计算技术在实现供应链成员Agent跨Internet集成和协作时的不足.然后分析了基于Web服务的供应链系统,指出其在处理供应链成员自主决策、动态联盟等问题中的缺点.在此基础上,将多Agent技术与Web服务技术相结合用于处理供应链问题,提出了基于Web服务和多Agent的敏捷供应链系统模型,很好的解决了上述两种供应链系统存在的问题.     

工程设计管理系统体系结构研究

论文分析了工程设计管理系统在企业应用中的发展变化,提出了一种基于工作流技术和Web服务的工程设计管理系统体系结构.通过引入工作流分层模型和Web服务,利用工作流技术柔性及Web服务松耦合的特点解决了目前工程设计管理系统中存在的问题,并阐述了系统中若干技术问题的解决思路,最后给出了该系统一个应用实例.     

网格与web服务结合应用研究

将Web服务技术引入网格研究领域,有助于解决网格研究所面临的应用集成、资源共享、系统互操作和标准化等问题.本文在网格协议体系结构和开放网格服务架构(Open Grid Services Architecture,OGSA)的基础之上,将探讨网格系统与web服务的结合.首先讨论了网格功能模型,基于OGSA框架提出了Web服务的网格层次体系结构,并将Web服务工作流引入到网格任务描述中,给出一种Web服务与网格技术相融合的机制.     

基于Web服务的企业电子商务创新研究

文章阐述了电子商务的经营模式概念和主要的分类体系:基于交易主体的分类和基于价值链的分类体系,分析了当前电子商务发展面临的主要问题,包括系统集成困难、缺乏统一的商业服务发现平台以及第三方服务参与程度低。提出了基于Web服务构建协同电子商务的思路,论述了基于Web服务技术封装性、松散耦合、使用标准协议规范以及高度可集成能力的特点,进而探讨了Web服务为企业电子商务带来的创新机遇:通过技术创新解决系统集成困难和数据共享复杂问题;通过合作创新解决商业服务发现范围窄和第三方服务参与程度低的问题;通过管理创新促进企业内部和外部的商务应用的有效集成,从而形成各个部门、各环节的各种要素、信息和数据的高度共享、优势互补。     

基于概率模型检验的Web服务系统可靠性分析

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.     

基于Web服务的远程业务流程集成模型

在介绍Web服务和异步服务访问协议的基础上,针对远程业务流程的集成中的数据交换问题,采用REST结构的Wf-XML协议作为基本的模型框架,提出了一种基于Web服务的业务流程的封装模型和远程业务流程的集成模型．这个模型有效解决了企业内或企业间,跨部门、跨平台的业务流程的集成．在对原有业务流程系统最小改动和尽可能通用的前提下,完成构建复杂的业务流程,克服了原来业务流程只能在小范围内构建的不足,扩大了业务流程的应用范围．     

基于多代理的遗留系统封装模型研究

为了有效利用企业遗留系统,提出了一种基于多代理的遗留系统Web服务封装模型,以实现将企业遗留系统根据其功能封装为Web服务,为最终实现基于Web服务的企业信息集成打下基础。该模型对遗留系统采用内,外封装的方法,保证了遗留系统所固有的安全稳定性不受影响。最后,通过在G2专家系统Web服务封装中的应用,验证了该封装模型的有效性和适用性。     

分散网络化制造信息集成研究

在分析传统的分布式计算技术的基础上,提出了基于Web服务的分散网络化制造企业间信息集成框架,阐述了跨企业间信息访问的方法,说明了基于Web服务的技术优势,解决了分散网络化制造模式对异构系统的集成要求。     

Struts+Spring+Hibernate框架的整合实现

分析了Struts框架、Spring框架和Hibernate框架在Web应用中不同层次上所发挥的作用,通过整合三种框架设计出了集成框架的Web应用模型,解决了系统各层之间的松耦合问题.该Web应用模型在气象科技管理系统中得到了实现和应用.     

基于XML／Web Services的异构数据集成研究

分析了异构数据库系统存在的问题.对XML及Web服务相关技术进行了探讨,在借鉴现有集成方法的基础上,提出一个基于Web服务的异构数据集成方案,该方案提供给用户一个使用多种数据源的统一接口,消除了企业信息孤岛,解决了异构数据带来的一系列数据共享问题.     

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现

在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 ,并实际开发出了符合该模型的互连网关     

模型驱动体系结构MDA及xUML规范在其语境中的探讨

介绍OMG提出的模型驱动体系结构MDA ,它将与实现技术无关的模型和基于特定技术的模型分离 ,并通过模型间的变换 ,使系统能适应技术的发展 ,解决系统在不同中间件平台的集成、互操作性、可移植性等问题 ,提高生产力 ,保证程序质量 .并对在MDA语境中的xUML作进一步的讨论     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

Object Management Framework for CAx Information Management

ＩｎｔｒｏｄｕｃｔｉｏｎＷｉｔｈｔｈｅｅｍｅｒｇｅｎｃｅｏｆｔｈｅｇｌｏｂａｌｍａｒｋｅｔ，ａｎｅｎｔｅｒｐｒｉｓｅｎｅｅｄｓｔｏｉｍｐｒｏｖｅｉｔｓａｂｉｌｉｔｙｔｏｒｅｓｐｏｎｄｔｏｔｈｅｍａｒｋｅｔｄｅｍａｎｄｓｗｉｔｈａｈｉｇｈｑｕａｌｉｔ...     

A Formal Model of OSI X.25/FR Gateway Based on High Level Petri Net

Specification and validation of protocol conversion in a gatewayis a difficult problem in protocol engineering. During design and implementation of an OSI X.25/FR gateway, a high-level Petri Net called EPr/TN is introduced as a formal specification tool to solve this problem. A formal model of the gateway is constructed by using Epr/TN. Based on this model, the process of protocol conversion and data transmission in the gateway are analyzed and validated. With object-oriented techniques, this model is also utilized in the software development of the gateway.     

CORBA中POA策略的剖析和应用

CORBA规范提供了 7种POA策略来控制POA管理对象的方式 ,管理方式的优劣直接影响到服务端响应请求的效率 ,因此POA策略的选择关系到整个应用系统的性能和执行效率 .本文先对 7种策略进行说明和剖析 ,然后以分组的方式提出几种可选的策略组合方案 ,最后再根据实际应用对提出的方案进行分析和比较 .     

CORBA/SNMP网关上高效信息采集策略

信息采集是网络管理的一项重要职能。然而,CORBA/SNMP网关的传统方法存在着能动性差等效率低下的弊端。针对这一问题提出一种高效信息采集策略(EICP),详细阐述了其核心算法——预约竞争算法、截止期算法、自适应更新算法等。EICP通过动态地组织和管理被管对象信息树资源,根据统计意义上的访问频率进行自适应地更新和预读取,以截止期定界被管对象信息的有效性,来达到减少网络流量和缩短响应时间的目的。该文给出了相应的数学分析和仿真结果,从理论上对EICP的可行性和高效性予以验证。     

CORBA/SNMP网关上高效信息采集策略

信息采集是网络管理的一项重要职能。然而,CORBA/SNMP网关的传统方法存在着能动性差等效率低下的弊端。针对这一问题,提出一种高效信息采集策略(EICP),详细阐述了其核心算法——预约竞争算法、截止期算法、自适应更新算法等。EICP通过动态地组织和管理被管对象信息树资源,根据统计意义上的访问频率进行自适应地更新和预读取,以截止期定界被管对象信息的有效性,来达到减少网络流量和缩短响应时间的目的。给出了相应的数学分析和仿真结果,从理论上对EICP的可行性和高效性予以验证。     

一种无线传感器网络与以太网间的接入系统研究

无线传感器网络(WSN)与现有网络基础结合是WSN研究中必须解决的技术问题之一.本文分析了WSN接入以太网存在问题,总结了基于IEEE 802.15.4的无线传感器网络的特点.设计了一套这种无线传感器网络与以太网间的接入系统.该系统遵循6LoWPAN规范,解决了WSN节点的IPv6地址自动配置问题;设计了接入网关;定义了信息与控制数据格式.实现了一套应用验证系统并进行了实验;对网络性能进行了分析.实验结果表明该设计简单有效,能够完成WSN的高效接入,在工程实践中具有实用价值.     

Parlay／OSA网关协议映射的一种实现模式

Parlay／OSA（Open service access）网关的主要功能之一是实现各种电信协议到Parlay／OSA API的映射。OMG的CORBA／TC Interworking规范给出了使用TC／SS7的通信实体与基于CORBA的实体交互的建议，因为大部分的Parlay／OSA网关是基于CORBA实现的，因此该规范对协议映射的实现具有重要的参考价值。在深入理解TC—CORBA规范的基础上，提出了一种Parlay／OSA网关中协议映射实现的一种模式。重点描述了模式的主要体系结构和工作流程，分析了其特点。此模式对Parlay／OSA网关产品中协议映射的实现具有重要的参考价值。