小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2012年
6期
1176-1182
,共7页
王颖%刘国华%高尚%赵丹枫%刘海滨
王穎%劉國華%高尚%趙丹楓%劉海濱
왕영%류국화%고상%조단풍%류해빈
业务过程管理%artifact生命周期%Petri网%ArtiFlow%可满足性
業務過程管理%artifact生命週期%Petri網%ArtiFlow%可滿足性
업무과정관리%artifact생명주기%Petri망%ArtiFlow%가만족성
以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artifact生命周期树进行路径比较,验证业务过程模型中artifact生命周期的可满足性.给出相应的算法并分析了算法的复杂度.
以數據為中心是業務過程管理技術髮展的一箇新趨勢.artifact是記錄業務過程的數據實體,圍繞artifact的業務過程管理正在成為業務過程管理研究的一箇熱點.生命週期是artifact的一箇重要特徵,業務過程能否滿足對artifact生命週期的定義是業務過程設計中需要驗證的一箇重要特性.本文從artifact屬性賦值順序的角度,基于Petri網定義artifact的生命週期樹.採用ArtiFlow建立業務過程模型,在ArtiFlow模型中根據業務規則提取artifact狀態變化樹,與artifact生命週期樹進行路徑比較,驗證業務過程模型中artifact生命週期的可滿足性.給齣相應的算法併分析瞭算法的複雜度.
이수거위중심시업무과정관리기술발전적일개신추세.artifact시기록업무과정적수거실체,위요artifact적업무과정관리정재성위업무과정관리연구적일개열점.생명주기시artifact적일개중요특정,업무과정능부만족대artifact생명주기적정의시업무과정설계중수요험증적일개중요특성.본문종artifact속성부치순서적각도,기우Petri망정의artifact적생명주기수.채용ArtiFlow건립업무과정모형,재ArtiFlow모형중근거업무규칙제취artifact상태변화수,여artifact생명주기수진행로경비교,험증업무과정모형중artifact생명주기적가만족성.급출상응적산법병분석료산법적복잡도.
