一种支持流程整合的业务协议组合代数

针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。     

支持业务事务验证的服务协调模型

在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS -TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型;并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性.     

MAS交互协议的形式化描述和验证

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题.     

基于本体和会话策略的多主体交互协议描述方法

提出一种基于会话策略的多主体交互协议描述方法。交互协议中的消息用言语动作来表示,这些言语动作被描述为WS-Agreement的schema;会话策略则描述了消息传递的流程以及交互过程中的上下文信息,如参与者属性、时间阈值等等,所有这些会话策略组成了一个多主体交互协议;采用本体描述语言OWL作为会话策略的表示语言。这种方法使得主体在一个开放、动态的环境中可以灵活地选择交互协议。     

一种基于协议的Web服务组合方法研究

本文了提出了一种基于协议的服务组合方法,提高了服务组合的可重用性和开发服务组合的效率:在遵循Bpel标准的服务组合模型存储结构的基础上,定义业务逻辑,协议等概念,并设计了相应的插入、提取算法;进而提出将特定服务组合片断引入待开发服务组合的方法,即基于协议的服务组合方法;最后,通过一个具体的服务组合建模的例子,在原型系统中演示并验证了此方法.     

Aigis-sig方案的门限数字签名协议研究

本文利用全同态加密技术和基于多项式环的Shamir门限秘密分享方案,设计了Aigis-sig方案的门限签名协议. Aigis-sig等基于格的数字签名方案,利用拒绝采样技术确保签名不泄露私钥信息,但是拒绝采样也给设计门限签名协议带来困难,在拒绝采样步骤完成前,需要对加密的中间值进行运算.因此,本文引入全同态加密技术密态计算协议中间值.此外,由于Aigis-sig方案使用的主要代数结构为多项式环,为适应协议构造,本文引入了基于多项式环的Shamir门限秘密分享方案,并证明了秘密分享方案在不同模约化操作下的正确性.分析结果表明该协议满足正确性和可行性,在两个参与者都是诚实的情况下,生成的门限数字签名满足适应性选择消息攻击下的存在不可伪造性.     

跨组织多业务事务建模与验证方法

面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为.在验证过程中,基于等价自动机转换思路集成现有模型检验技术,验证多业务事务是否满足人们需要的各种性质.实验结果表明,该建模与验证方法能够有效地保障多业务流程在设计与实现过程中的正确性.     

基于知识的可变业务流程建模模型

为满足虚拟企业业务流程经常调整的需求,需采用一种可变的业务流程建模模型,便于业务人员在不需IT人员干预的情况下能够对已有业务流程进行修改或重新搭建新的系统。提出了一种基于知识的可变业务流程建模模型,采用业务模板与规则知识库,通过对业务目标分析、检索业务模板,从而定制新的业务流程。在建模过程中使用规则引擎对规则进行校验。业务人员不需对已有业务流程进行大规模重建,提取相应模板进行组合配置即可。     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

一种基于π t演算的安全协议建模方法

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.     

发展企业级电子商务探析

本文从发展的角度探析了电子商务尤其是企业级电子商务的发展过程、特点、内容、问题以及前景等。     

面向电信增值业务领域的智慧商务平台

该平台可为无线城市、各大商场搭建智慧商务服务平台,能为合作伙伴提供个性化Portal和基于WLAN的移动特性、精确定位特性、高带宽特性开发的各类增值应用服务,为终端用户提供应用快速获取、三屏融合体验和应用个性化定制服务。     

设计是不是一门好生意？

由台湾设计师自发举办的“台湾设计周”才落幕，“香港设计周”就将在11月登场，“设计周”这种展览模式渐渐在两岸三地发酵。     

Business telecommunications

Medium-to-large organizations have considerable communications needs, some of which are met by present technology but often at a relatively high price. The paper describes the major cost components in business telecommunications, and considers ways in which choosing between systems can save significant sums while providing a highquality service to users.     

Voice Business

Phone Manager is a system that generates and manages speech dialogues, so-called call flows. With the help of a browser based interface the different components within a linguistic dialogue can be created in a task-specific and customer-specific way. Examples are the flow of speech prompts (previously recorded phrases), text-to-speech, automatic speech recognition, voice mails, fax on demand, direct connection to the call center or to separate operators, and many more. Additionally, the Phone Manager enables the combination of fixed telephone network, mobile services, data base and other computer based applications. The application can be integrated into virtually every technical infrastructure by compliance with the ECTF-standard.     

Omnichannel Business

Electronic Markets - The widespread diffusion of digital technologies along with evolving consumer behaviors and requirements have fostered the emergence of omnichannel businesses, i.e., firms that...     

华为交换机智能业务中的VPN业务介绍

随互联网技术的发展,网络资源的综合利用、低运行成本、多媒体功能成为客户组建广域网络追求的方向,VPN就是近年来快速发展并得到应用普及的新兴互联网业务,全面降低了用户的运营成本,充分满足了客户的需求.