共查询到20条相似文献,搜索用时 15 毫秒
1.
基于Pi演算的构件演化研究 总被引:2,自引:0,他引:2
确保构件系统的一致性是构件演化的根本目标.根据构件交互过程,借鉴Pi演算的类型系统和进程构造方法,提出构件交互的类型系统和基于交互的构件模型,为确保构件服务端口和交互通道的正确行为,给出服务的端口类型和通道类型.以此为基础,结合Pi演算中良类型的思想,提出一致性构件系统的概念.然后,结合构件演化的特点,给出能保持系统一致性的构件静态演化和动态演化规则.最后,给出非一致演化的恢复方法. 相似文献
2.
BDI模型是Agent理论与技术领域研究和应用最多的理论模型,但存在BDI模型和具体Agent结构之间缺少明确映射关系,以致难以编程实现BDI模型的问题.本文仿真人类个体,将信念映射为内黑板和规范集,愿望映射为反馈控制,意图映射为感受器、效应器和数据处理器,使用单项Pi演算定义了一种Agent BDI(AB)结构.分析表明,AB结构使用的闭环反馈机制实现结构的稳定. 相似文献
3.
根据可视化BPEL流程编制工具实际应用中存在的问题,提出了把可视化BPEL流程用pi演算进行描述的方法。明确了可视化BPEL流程与pi演算之间的对应关系,并用实例说明了怎样把一个利用Eclipse BPEL插件建立起来的BPEL流程用pi演算进行描述的过程。 相似文献
4.
服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的. 相似文献
5.
交互算法流程是互动电视系统设计的基础,交互算法流程的设计需根据自身的要求反复推敲,由厂家配合实施,并在试验平台上进行测试,通过反复进行此过程,才能设计出适合自己的满意的交互流程。 相似文献
6.
7.
VHDL是一种广泛使用的硬件描述语言.其语义的形式化描述对于VHDL的使用及实现具有重要意义.本文提出了一种基于时段演算的VHDL的形式语义. 相似文献
8.
Pi-演算是一种适合于web服务组合的进程代数,文章介绍了Pi-演算的基本语法,讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道。最后建立一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。 相似文献
9.
10.
越来越多的企业采用面向服务的架构来构建其信息基础设施,并通过执行Web服务流程来实现其业务逻辑。然而,当前作为工业界标准的服务流程建模语言BPEL4WS只能支持非常有限的运行时动态性,难以适应复杂多变的业务需求。针对这一问题,提出了在BPEL4WS及其执行引擎之上,实现基于语义的服务流程动态细化的机制——在BPEL4WS中增加目标类型的活动以及流程的语义描述;扩展现有BPEL4WS执行引擎使之能够执行带有目标活动的流程,并能够根据目标描述与流程的数据内容,在运行时为目标活动匹配与绑定子流程。 相似文献
12.
13.
为自动生成满足用户需求的个性化流程,在给出智能流程应用模式的基础上,提出一种用户个性化需求获取新方法。对业务流程中活动进行归纳和抽象,定义一种新服务——元服务,并由元服务组成流程语义库,然后基于流程语义库,提出一种用户需求获取算法,帮助用户快速准确地输入需求信息。理论分析和应用表明:算法提高了用户需求获取的准确程度和效率。 相似文献
14.
姜庆伟 《电子技术与软件工程》2021,(5):134-135
本文在校园一站式办事大厅架构下,利用流程引擎技术,以公务用车业务为例开展业务流程服务研究,对高职院校多样化业务流程设计与实现,具有一定的借鉴意义和实用价值。 相似文献
15.
为了解决移动应用开发复用性低,开发过程缓慢,无法迅速适应变化业务的需求的问题,本文提出了移动应用接入平台这一解决方案,并着重介绍了数据交互服务组件这一移动应用接入平台这一核心功能,文章包括移动应用接入平台的需求分析和总体设计、数据交互服务组件设计和实现四部分阐述。 相似文献
16.
17.
大型智能交互触模屏采用改进的红外线定位技术,实现触摸、书写、智能控制等交互式操作.大型红外触摸屏涉及到扫描数量庞大的红外管,扫描时间过长就会影响触摸屏刷新频率;由于采用红外光,还存在自身引起的和外界引起的光干扰问题.这些问题会造成触摸屏定位不精确、触摸反应不及时、书写断笔或书写轨迹不顺畅、智能控制反应速度慢、操作不灵活等问题.大型智能交互红外线触摸屏设计要解决的关键技术问题是刷新速度、抗干扰、可靠性和稳定性等. 相似文献
18.
19.
20.
适应互动数字电视业务的交互网络设计 总被引:1,自引:0,他引:1
探讨在IP QAM模式下,为保证互动数字电视业务系统的可靠稳定运行,在设计交互网络整体架构以及视频流网络、交互前端内部受理网络、交互信令网络等方面的性能要求、具体方案以及注意事项。 相似文献