一种基于产生式的流程模型分析方法*

在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。     

一个面向电子政务的信息交换与共享平台的设计与实现*

基于J2EE、XML等技术,设计并实现了一个面向电子政务的信息交换与共享平台.对平台的总体结构、元数据定义与管理、数据交换模式等关键问题进行了论述,最后给出了平台的模块实现.该平台已经应用于北京市信息资源管理中心,实现了遥感信息、区县图层、企业基础信息等资源的交换与共享.     

基于日志挖掘的移动应用用户访问模型建模技术研究

提出了一种基于监控日志挖掘的移动应用用户访问模型自动构造方法,该方法包括监控代码注入和界面访问模型构造两部分。首先,提出了一种监控代码自动注入方法,即通过对移动应用代码的静态分析,自动地在相应位置插入监控代码以支持在运行时动态地监控用户的访问行为。其次,提出了一种基于状态机的移动应用用户访问模型构造方法。访问模型中状态机的节点和节点间跳转上的附加属性描述了UI界面之间的跳转行为和界面内控件的使用情况。对移动应用进行的实验表明,这种基于监控日志挖掘的移动应用用户访问模型自动构造方法能够成功地自动注入移动应用的监控代码,并能够有效获得移动应用用户界面访问行为。     

BPEL流程监视的可视化实现

When a BPEL process is executed, it is necessary to dynamically monitor the process. BPEL is a executable language, which is not suitable for visual monitoring. On the other hand, BPMN is designed to visually describe business process and is more intuitive for monitoring. To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary. However, current study of transformation from BPEL to BPMN does not support the transformation of "link" activity. Besides, no work has been done to add supplementary information into BPMN during transformation. In this paper, we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy. Especially, we analyze various scenarios of the transformation of link activity, and provide a method to deal with it. Besides, we analyze the mapping between BPEL activities and BPMN graph, through which we found out that some supplementary information cannot automatically obtained from BPEL process. These supplementary information need to be added during transformation. At the end of this paper, we present the structure of our monitoring tool which is based on our transformation algorithm.     

基于混合粒度冲突检测的事务工作流调度算法

事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.     

SOAP与消息队列中间件绑定的设计与实践

提出了消息队列中间件ISMQ与SOAP绑定的设计方案，实践了该绑定下的同步SOAP调用方法，并讨论了异步SOAP调用的方案。     

QoS获益驱动的中间件调度框架研究

Web应用服务器目前普遍采用的先到先得式(FCFS)的调度框架在过载时难以保障应用的服务质量(QoS)需求.QoS获益驱动(QBD)的调度框架是一种针对这些不足而提出的请求调度解决方案.QoS获益根据应用的QoS需求得到,用于评价QoS保障对应用需求的满足情况.QBD调度框架包含了多个用于保障应用QoS需求的组件,实现了基于QoS获益的资源规划算法,能够提高服务器对应用QoS需求的保障能力.在OnceAS平台上的实验结果验证了QBD调度框架的有效性.     

面向Web服务的工作流建模语言比较

面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，而其工作流建模语言是该类工作流系统的核心，文中简要介绍了两种面向Web服务的工作流建模语言：WSFL和XLANG，从控制转移，数据传递，异常处理，事务支持等方面对两种语言进行了详细的比较，总结了两种建模语言在各方面的优劣。     

多租户Web应用的CPU资源动态评估方法

中间件共享是云计算模式中一种重要的资源共享方式.但是,这种方式容易导致宿主在同一中间件服务器上的多个租户间产生性能干扰.因此,需要为租户提供性能隔离的服务实例.在线度量租户对系统资源的使用情况是实现性能隔离的前提条件,但是,在共享中间件服务器中直接度量CPU资源需要注入探针,将引起性能开销,并依赖于操作系统的支持.最近...     

收益驱动的复合服务恢复策略选择方法

在面向服务的环境下,单个Web服务往往不能满足用户的要求,这时就需将已有的单个Web服务进行组合,以便产生满足用户需求的、增值的组合服务.但是由于服务的自治性和Internet环境的动态性,导致服务在执行过程中出现失效问题,因此需要最佳的服务恢复策略保障.考虑到服务的提供者追求的是收益的最大化,提出一种收益驱动的服务恢复策略选择方法,能准确计算出当前服务环境下复合web服务执行的收益.实验结果表明,这种方法可以显著提高复合服务的可靠性并保障了收益的最大化.