基于CORBA的分布式信息处理异步消息通信研究

分布式计算是目前计算机应用领域中研究的热门课题,而在分布式系统中,对象之间的通信是一个关键技术.研究了基于公共对象请求代理结构(common object request broker architecture, CORBA)的分布式信息处理中的异步消息通信问题;讨论了如何实现CORBA的事件服务;提出了通过建立事件信道、事件发送者与接收者模型的方法,来实现异构网络环境下的非耦合异步消息通信.使用这种方法,提高了所开发的分布式信息处理系统的信息接发与处理的速度,解决了系统的通信阻塞等问题;同时该方法在系统中的成功使用,为提高分布式信息处理系统的机间通信速度提供了解决方案.

基于CORBA实现分布式系统间的异步消息通信

在现有的CORBA产品中 ,多数都不支持异步消息通信。文中基于CORBA ,采用消息队列通信和多线程设计等技术 。

从私有过程提取公共过程构建业务协同的方法

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.

协同业务过程建模与行为验证

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。

协同业务过程的随机行为分析方法

参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次,提出将参与组织业务过程转换成通信顺序进程(Communication Sequential Process,CSP)方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型。最后,引入状态迁移模型正则化概念,从理论上证明正则化的状态迁移模型与一个齐次马尔科夫链相对应,进而根据平衡方程求得状态迁移系统中每个状态的稳定概率,以此为基础实现参与组织随机行为分析。通过对电设备采购过程建模与随机行为分析阐述该方法的可行性和有效性。

机场信息集成中的SOA应用

简述了昆明新国际机场管理服务信息系统采用SOA架构,通过ESB平台实现机场内、外,数10个系统的集成与协同运营的技术实施案例.可供跨地区的大型企业信息集成系统及物联网信息系统的建设提供采用SOA架构的参考实施方案.