基于Pi演算的构件演化研究

确保构件系统的一致性是构件演化的根本目标．根据构件交互过程，借鉴Pi演算的类型系统和进程构造方法，提出构件交互的类型系统和基于交互的构件模型，为确保构件服务端口和交互通道的正确行为，给出服务的端口类型和通道类型．以此为基础，结合Pi演算中良类型的思想，提出一致性构件系统的概念．然后，结合构件演化的特点，给出能保持系统一致性的构件静态演化和动态演化规则．最后，给出非一致演化的恢复方法．     

一种基于Pi演算的Agent BDI结构

BDI模型是Agent理论与技术领域研究和应用最多的理论模型,但存在BDI模型和具体Agent结构之间缺少明确映射关系,以致难以编程实现BDI模型的问题.本文仿真人类个体,将信念映射为内黑板和规范集,愿望映射为反馈控制,意图映射为感受器、效应器和数据处理器,使用单项Pi演算定义了一种Agent BDI(AB)结构.分析表明,AB结构使用的闭环反馈机制实现结构的稳定.     

可视化BPEL流程的pi演算描述

根据可视化BPEL流程编制工具实际应用中存在的问题,提出了把可视化BPEL流程用pi演算进行描述的方法。明确了可视化BPEL流程与pi演算之间的对应关系,并用实例说明了怎样把一个利用Eclipse BPEL插件建立起来的BPEL流程用pi演算进行描述的过程。     

基于交互模式的网格服务组合正确性的研究

服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的.     

有线互动电视系统部分交互算法流程的设计

交互算法流程是互动电视系统设计的基础，交互算法流程的设计需根据自身的要求反复推敲，由厂家配合实施，并在试验平台上进行测试，通过反复进行此过程，才能设计出适合自己的满意的交互流程。     

基于PI-演算的移动通信服务研究与建模

在现行的移动通信业务中,为解决不同运营商提供的增值服务无法互通的问题,提出将移动通信过程定义为多个独立的Web服务,利用PI-演算理论对移动通信过程中的连接初始化、基站切换和移动通信进行建模,将其PI-演算表达式进行封装组合.采用PI-演算建模,可对移动通信服务进行优化,在设计阶段尽早发现问题,降低风险,消除不同服务商之间的重复业务,令其具有更好的重用性和互通性.     

一种基于时段演算的VHDL的形式语义

VHDL是一种广泛使用的硬件描述语言.其语义的形式化描述对于VHDL的使用及实现具有重要意义.本文提出了一种基于时段演算的VHDL的形式语义.     

Web服务组合的Pi-演算描述

Pi-演算是一种适合于web服务组合的进程代数,文章介绍了Pi-演算的基本语法,讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道。最后建立一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

基于Web服务的智能流程构建方法

通过分析现有的流程模式特点,提出了一种面向服务的流程模型--智能流程及其即时构造方法.首先给出了智能流程描述框架,作为智能流程的语义描述基础,用于描述构造智能流程的Web服务、领域知识和用户需求.进而提出了Web服务发现算法,然后将满足需求的Web服务,利用货郎问题解决方案,形成智能流程.经过智能旅游平台的检验,证明方法是可行的.     

扩展BPEL4WS实现基于语义的服务流程动态细化

越来越多的企业采用面向服务的架构来构建其信息基础设施,并通过执行Web服务流程来实现其业务逻辑。然而,当前作为工业界标准的服务流程建模语言BPEL4WS只能支持非常有限的运行时动态性,难以适应复杂多变的业务需求。针对这一问题,提出了在BPEL4WS及其执行引擎之上,实现基于语义的服务流程动态细化的机制——在BPEL4WS中增加目标类型的活动以及流程的语义描述；扩展现有BPEL4WS执行引擎使之能够执行带有目标活动的流程,并能够根据目标描述与流程的数据内容,在运行时为目标活动匹配与绑定子流程。     

基于视频服务的交互业务实现机制研究

本文针对不同的网络形态和用户终端,分析了基于视频服务交互业务的互动机制和系统框架,并提出了相应的传输实现机制。     

智能流程应用模式下基于流程语义库的需求获取

为自动生成满足用户需求的个性化流程,在给出智能流程应用模式的基础上,提出一种用户个性化需求获取新方法。对业务流程中活动进行归纳和抽象,定义一种新服务——元服务,并由元服务组成流程语义库,然后基于流程语义库,提出一种用户需求获取算法,帮助用户快速准确地输入需求信息。理论分析和应用表明：算法提高了用户需求获取的准确程度和效率。     

基于流程引擎的一站式办事大厅公车服务研究与实现

本文在校园一站式办事大厅架构下,利用流程引擎技术,以公务用车业务为例开展业务流程服务研究,对高职院校多样化业务流程设计与实现,具有一定的借鉴意义和实用价值。     

基于移动应用接入平台的数据交互服务组件设计与实现

为了解决移动应用开发复用性低,开发过程缓慢,无法迅速适应变化业务的需求的问题,本文提出了移动应用接入平台这一解决方案,并着重介绍了数据交互服务组件这一移动应用接入平台这一核心功能,文章包括移动应用接入平台的需求分析和总体设计、数据交互服务组件设计和实现四部分阐述。     

面向服务的流程优化研究

业务流程优化需要较高的成本。文章提出利用面向服务的思想改造企业流程,以较小的代价基于服务重组实现流程的优化调整。     

大型智能交互触摸屏的设计与实现

大型智能交互触模屏采用改进的红外线定位技术,实现触摸、书写、智能控制等交互式操作.大型红外触摸屏涉及到扫描数量庞大的红外管,扫描时间过长就会影响触摸屏刷新频率;由于采用红外光,还存在自身引起的和外界引起的光干扰问题.这些问题会造成触摸屏定位不精确、触摸反应不及时、书写断笔或书写轨迹不顺畅、智能控制反应速度慢、操作不灵活等问题.大型智能交互红外线触摸屏设计要解决的关键技术问题是刷新速度、抗干扰、可靠性和稳定性等.     

适应互动数字电视业务的交互网络设计

探讨在IP QAM模式下,为保证互动数字电视业务系统的可靠稳定运行,在设计交互网络整体架构以及视频流网络、交互前端内部受理网络、交互信令网络等方面的性能要求、具体方案以及注意事项。