国家高技术研究发展计划(2001AA113150)
- 作品数：14 被引量：242H指数：7
- 相关作者：史美林孙瑞志姜进磊周建涛杨武勇更多>>
- 相关机构：清华大学内蒙古大学中国农业大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家教育振兴行动计划更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- 一种基于属性—操作对象模型的并发控制被引量：1
- 2003年
- 现有的并发控制方法都是分别对各种数据对象进行并发控制处理,没有一个统一的解决方法。通过对实时计算机支持的协同工作系统中各种可操作对象及其属性和操作的分析,设计了一种基于属性-操作对象模型的并发控制方法。它可支持对文本、图形、图像以及三维对象的并发控制,可将所有作用于协作对象上的操作都分解为简单的原子操作,当并发操作发生冲突时只需进行简单赋值即可,降低了处理并发控制的复杂度;同时引入状态向量,改进了操作转换算法,有效地提高了系统的运行效率。
- 杨武勇史美林姜进磊杨胜文
- 关键词：计算机支持的协同工作并发控制
- 一个支持动态变化的工作流元模型被引量：35
- 2002年
- 支持动态可变和灵活的工作流系统是人们在实际应用中对工作流系统提出的新要求,传统的工作流建模思想必须加以改进以适应这种可动态变化的工作流运行模式.本文结合传统工作流的建模规律和动态变化的要求,提出了一个动态变化的三维空间元模型,将由过程模型、组织模型和信息模型组成的三维工作流模型从建模和运行变化的角度重新考虑,增加了对过程、活动、活动属性和组织模型的动态特性描述和操作协议描述,可以使在这个元模型之上的工作流模型具备人机交互能力和动态灵活性.元模型在工作流的建立阶段力求将动态特性进行描述和定义,在执行阶段可以在已定义的动态框架内变化,既保证了系统的灵活性,又使系统对动态变化具备可控操作.
- 孙瑞志史美林
- 关键词：工作流元模型灵活性动态性信息处理
- 基于内在事务的工作流异常处理方法被引量：6
- 2005年
- 讨论了工作流引擎处理过程中的相关活动实例的上下文控制机制后,揭示了工作流内在的事务特性,以保证这种内在事务为基准,提出了工作流运行过程中异常处理的控制方法和不同处理策略下的异常恢复规则,保证了异常发生时,异常处理程序和工作流引擎的顺利交接,从而保证了流程发生变化时执行的持续性。
- 孙瑞志史美林
- 关键词：计算机支持的协同工作工作流管理系统异常处理
- 描述虚拟企业协作关系动态演变的模型被引量：18
- 2003年
- 国内外关于虚拟企业整体协作的研究仍限于定性分析,缺乏定量描述随市场需求动态演变的协作关系方法或模型。动态层次协作模型旨在定量描述虚拟企业协作关系的动态演变。该模型首先整体地静态描述虚拟企业的协作关系,然后分析如何利用有限马尔可夫链和贝叶斯法则动态描述虚拟企业的协作关系———包括协作关系建立和协作关系种类选择的演变过程,并讨论在新市场需求下企业将如何选择最优行动集。动态层次协作模型不仅能动态描述虚拟企业的协作关系,还能使管理人员依据这些描述,预测企业面临新市场需求时的行为。
- 张艳史美林
- 关键词：计算机支持的协同工作虚拟企业
- 柔性工作流技术研究的现状与趋势被引量：73
- 2005年
- 工作流变更和异常是柔性研究的重要内容,界定了这两个概念,并从不同的角度,分别对系统的灵活性、动态性和自适应性等进行了研究。从理论和实现两个层次上深入探讨了柔性工作流的解决策略和方法,介绍了支持柔性的系统体系结构和元模型,并对一些具体的实现机制进行了讨论和比较,介绍了一些成熟的工作流系统,分析了系统中相关的柔性实现;最后,说明了理论研究和系统实践的未来趋势和发展方向。
- 周建涛史美林叶新铭
- 关键词：工作流灵活性动态性自适应性
- CBR:一种支持工作流过程语义验证的组件级化简方法被引量：6
- 2005年
- 目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(ComponentBasedReduction,CBR)和化简规则,为过程语义验证提供有力支持.
- 周建涛史美林叶新铭
- 关键词：工作流化简PETRI网
- 一个基于Agent实现虚拟企业域间协作的框架被引量：7
- 2003年
- 国内外关于虚拟企业协作的研究往往忽略了域间、域内协作的差别,片面地采用单一方法来解决虚拟企业复杂的协作问题。在分析了Agent机制适用且仅适用于实现域间协作的原因后,提出了一个基于Agent实现虚拟企业域间协作的框架,旨在解决域间协作前的服务信息登记、伙伴选择,以及协作中伙伴间的交互问题。同时,论述了框架的基本思路、关键策略、协作时Agent的基本交互方式,以及框架在自行研发的两套基于工作流的协作系统之间的实际应用。该框架使企业既能继承原有管理系统,又能实现与其他异构系统之间的协作。
- 史美林张艳
- 关键词：虚拟企业AGENT智能主体业务流程管理系统
- CovaTM及其实现被引量：7
- 2003年
- 以原子性、一致性、隔离性和持久性为特征的传统事务模型在满足协同应用的需求方面存在诸多局限 .为了解决这一问题 ,该文提出了一种新的协同事务模型CovaTM ,它将协作过程的一次执行看作一个事务 ,对应的活动看成子事务 .CovaTM提供了复杂而灵活的控制流 ,放松了传统事务的原子性和隔离性的要求 ,能够支持协作 .该文介绍了CovaTM的具体实现机制 。
- 姜进磊史美林
- 关键词：计算机网络CSCW事务模型
- 工作流异常处理的形式描述被引量：53
- 2003年
- 异常处理是工作流执行中要解决的主要问题之一 ,清楚地描述异常处理的过程是最终得以实现的基础 Petri net对工作流的描述适合于对过程定义进行正确性验证和评价 ,但描述各种不同条件下的处理策略却很繁琐 采用了一种直观的描述方法对异常处理过程中的元素 ,即活动、异常事件、异常处理策略以及处理措施进行了形式化描述 ,特别是对不同处理策略下的处理过程进行了描述 结合消息机制 ,分析了一个异常事件出现时 ,如何处理一个活动实例产生的中间数据 ,并对事务处理和异常处理的补偿策略进行了比较
- 孙瑞志史美林
- 关键词：计算机支持的协同工作工作流异常处理
- Internet环境下的多数据库协作管理模型被引量：1
- 2006年
- 设计了一套基于协同工作的数据管理系统模型,用于解决Internet环境下多数据库的管理问题.在该模型的基础上,为了保证所有用户都能获得正确的数据,提出了协同数据管理系统数据一致性的概念,并在此理论基础上设计了原型系统,利用虚拟表屏蔽异构数据库的结构差异,确保数据一致性模型的实现.
- 苗春雨史美林
- 关键词：协同工作
