基于状态方面的Web服务动态替换

随着面向服务计算技术的成熟,服务复合已成为Internet上开发企业间业务协作的一种新模式,WS-BPEL是服务复合事实上的标准。但是由于复合服务所依赖的第三方伙伴服务的分布、自治和松散耦合等特性,在执行过程中易受到伙伴服务失效的影响,可靠性无法得到保证,因此需要支持在运行时对伙伴服务进行动态替换。目前的BPEL规范只提供有限的服务替换功能,当与伙伴服务的交互涉及到一系列有状态的会话操作时,服务替换就更加复杂。通过对面向方面的研究,提出面向BPEL语言的状态方面扩展。通过状态方面,记录与伙伴服务交互过程中的会话信息。在伙伴服务失效时,通过透明地替换伙伴服务,使得与当前伙伴服务的会话信息传播到功能等价的另一个伙伴服务上,以保证流程的正常执行。通过该方法,使得BPEL流程具有一定的自愈能力,增强了流程执行的可靠性。

体系结构层状态型方面的建模和编织——基于LTS的方法

状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelled Transition System,LTS)为底层形式化,建立了用于识别系统运行轨迹中特定模式的切点机制,并定义了支持多种通知类型的编织运算.该方法当前已在一个基于FSP规范的原型编织工具上实现,并用一个实例说明了该方法的有效性.

一种基于CSP的面向方面状态图形式化描述方法

面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性。

股市行情的方面、动态水桶模型、两极状态

本文是"股市行情三公理及相关模型"[1]的续篇。先给"方面"下一般性定义。后首次提出,多方面的动态水桶模型及动态水桶原理。为开放性市场即股市行情提供模型和方法。再述多方面的极状态及底部顶部。多方面转化与单方面矛盾转化有区别。

控制——播音艺术中的重要环节

从播音创作中的控制方面分析了播音整体方面的控制、播音技巧方面的控制和播音状态方面的控制 ,从而说明 。