Making Workflow Change Acceptable

Virtual professional communities are supported by network information systems composed from standard Internet tools. To satisfy the interests of all community members, a user-driven approach to requirements engineering is proposed that produces not only meaningful but also acceptable specifications. This approach is especially suited for workflow systems that support partially structured, evolving work processes. To ensure the acceptability, social norms must guide the specification process. The RENISYS specification method is introduced, which facilitates this process using composition norms as formal representations of social norms. Conceptual graph theory is used to represent four categories of knowledge definitions: type definitions, state definitions, action norms and composition norms. It is shown how the composition norms guide the legitimate user-driven specification process by analysing a case on the development of an electronic law journal.     

基于智能多代理的工作流资源分配

提出了一种基于智能多代理实现分布式工作流资源分配的方法。该方法采用KQML语言来设计资源分配代理和工作流引擎之间面向知识交换的通信协议,并且由Router提供消息存储和转发机制。工作流资源分配代理与工作流管理系统的其他代理程序通过KQML消息交流知识,从而达到在分布式、异构环境下的互操作。     

基于Web的企业工作流程管理控制系统

提出了一种采用以Web为核心环境Internet技术来实现企业工作流程管理控制系统。基于Web的企业工作流程管理控制系统不仅突破传统工作流系统在时间和空间上的局限,而且还通过软件构件的包装处理控制方式解决了开放式网络环境下的协作自动化管理控制问题。     

过程建模的Petri网模型

工作流管理的问题由于广泛存在于计算机应用的许多方面而迅速得到发展。本文介绍了一个以扩展的Petri网作为建模工具、以消息队列作为执行机制实现的过程管理的原型系统。该模型描述了活动的并发执行和依赖关系、活动激发的条件、事件顺序及文档管理等信息。执行该模型,在分布、异构、自治的环境中可自动监视、管理和调度工作任务,为业务过程重组、业务过程自动化提供了有力的支持。     

基于工作流技术的软件测试流程定义与监控*

阐述了软件测试流程的相关概念,论述了基于工作流技术实现软件测试流程定义与监控的概念模型,详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案.     

一个基于持续消息的分布式工作流管理模型

提出了一种新的分布式结构,在这个结构中,排除了工作流系统对一个集中式数据库的依赖,而是用持续消息的方法将与过程执行有关的信息存储起来,使过程的执行是完全分布式的,并且每个节点都是各自独立的。采用这种方式能增强对错误的恢复能力以及构造系统的灵活性和扩展性。     

工作流系统中采用组织结构图实现角色层次

基于角色的存储控制(RBAC)模型在企业级应用环境中非常成功。在大型企业里,怎样进行有效的RBAC管理是一个越来越重要的问题。众所周知,ARBAC97是集中RBAC管理的模型。ARBAC97通过“角色层次”和“约束条件”来管理角色,虽然在某些方面进行得不错,但是这种机制有明显的缺陷。提出在工作流系统中根据需要引入组织结构图来进行角色层次管理。     

一种新的工作流频繁闭合模式挖掘算法研究

为了提高工作流环境下频繁模式挖掘的准确性,提出了一种新的频繁闭合模式挖掘算法。首先扩展了依赖 矩阵的定义,即利用工作流日志建立包含直接依赖关系和交叠关系的依赖支持度矩阵。然后扩展了CHARM算法, 以在支持度矩阵的基础上自动挖掘频繁闭合活动集。最后对频繁闭合项集进行处理,以形成最终的工作流频繁闭合 模式。该算法对于并行和选择关系的处理能力优于同类算法。     

云计算环境下聚合服务的随机模型检测

当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法。扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流程定义转换为连续时间Markov回报过程,扩展连续随机回报逻辑CSRL,用以刻画增强行为描述的统一验证属性,给出随机模型检测方法。分析表明,该方法能有效刻画运行时云服务动态行为并对其正确性、可靠性进行验证。