小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
9期
2051-2055
,共5页
袁钢%孙瑞志%向勇%吴峥
袁鋼%孫瑞誌%嚮勇%吳崢
원강%손서지%향용%오쟁
工作流%语义验证%条件约束%流程模式
工作流%語義驗證%條件約束%流程模式
공작류%어의험증%조건약속%류정모식
workflow%semantic verification%conditional restriction%workflow pattern
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作争约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XML进行流程知识表示的优势,通过在流程模式的XML Schema中对实现业务目标所依赖的资源、环境等进行条件约束的设计,根据业务目标、流程和资源三者之间的逻辑条件约束关系,采用条件匹配算法对动态规划出的流程文件进行解析和语义检查,减少了工作流引擎在执行时会发生错误的概率.
針對業務流程在動態執行時,由于業務環境、資源的複雜性和多變性會給流程的正確執行帶來影響的問題,提齣一箇用于描述基于業務目標實現的流程、業務資源,以及三者協作爭約束關繫的四維元模型;併且基于流程模式對業務過程進行錶示,利用XML進行流程知識錶示的優勢,通過在流程模式的XML Schema中對實現業務目標所依賴的資源、環境等進行條件約束的設計,根據業務目標、流程和資源三者之間的邏輯條件約束關繫,採用條件匹配算法對動態規劃齣的流程文件進行解析和語義檢查,減少瞭工作流引擎在執行時會髮生錯誤的概率.
침대업무류정재동태집행시,유우업무배경、자원적복잡성화다변성회급류정적정학집행대래영향적문제,제출일개용우묘술기우업무목표실현적류정、업무자원,이급삼자협작쟁약속관계적사유원모형;병차기우류정모식대업무과정진행표시,이용XML진행류정지식표시적우세,통과재류정모식적XML Schema중대실현업무목표소의뢰적자원、배경등진행조건약속적설계,근거업무목표、류정화자원삼자지간적라집조건약속관계,채용조건필배산법대동태규화출적류정문건진행해석화어의검사,감소료공작류인경재집행시회발생착오적개솔.
