【摘 要】
：
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作争约束
【机 构】
：
中国农业大学信息与电气工程学院,清华大学计算机科学与技术系
论文部分内容阅读
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作争约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XML进行流程知识表示的优势,通过在流程模式的XML Schema中对实现业务目标所依赖的资源、环境等进行条件约束的设计,根据业务目标、流程和资源三者之间的逻辑条件约束关系,采用条件匹配算法对动态规划出的流程文件进行解析和语义检查,减少了工作流引擎在执行时会发生错误的概率.
其他文献
水稻作为主要粮食作物，发生病害往往会造成减产甚至失收，对粮食生产安全构成极大威胁。文章阐述了稻瘟病、水稻纹枯病等几种水稻常见病害的特点，同时介绍了水稻病虫害治理措施，确
目前互联网中网络设备的体系结构是封闭的，不利于网络创新．软件定义的网络（SDN）对互联网垂直紧耦合的结构进行了解耦，同时将控制层面及其协议的实现开放．SDN促进互联网创新和快速演
目前大多数针对WLAN-Mesh网络中MAC协议公平性问题的分析都是在纯计算机仿真的结果上开展的.然而,纯计算机仿真软件中的模型往往与实际的网络存在偏差,从而导致其仿真结果的
传统路由器软件开发效率低、可扩展性差,利用软件构件技术,实现路由交换设备的可重构性、可复用性能够满足多网融合和业务融合的需要,是互联网的发展方向,也是促进路由交换设
随着互联网的高速发展,多宿主、流量工程、支持主机移动性等新型服务需求逐步产生,使得当前互联网体系架构正面临严重的可扩展性问题.专家学者正通过不同方式设计并开发新型
实时业务传输的服务质量(QoS)保障问题一直是限制Ad Hoc网络发展的瓶颈.在分布式网络环境下,分组冲突十分普遍,节点很难在限定的时间内成功接入信道.现有很多算法(如FPRP)虽
SpaceWire是应用于航空航天领域的高速通信总线标准,保证其设计的可靠性和正确性至关重要.本文通过概率模型检测的方法对SpaceWire的交换层设计进行形式化建模与量化分析.基
ZigBee的拓扑树路由算法设计的目标是应用于拓扑简单的、低负载的及低功耗的无线传感器网络环境,伴随着物联网技术及应用的广泛发展,物联网应用数据流可能会对ZigBee网络产生
受Arikan提出的信道极化思想的启发,对信源-中继-信宿的MIMO中继通信的上行-极化和下行-极化系统提出一种极化-转发MIMO中继通信方案.采用极化-转发方式传输数据,MIMO信道通
根据协同设计任务的特点，借鉴人们日常工作中协同设计项目的做法，提出一种网格协同设计环境下事务提交机制及其故障处理机制。该取消了两阶段提交协议中的投票阶段，参与者可