计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
242-245,249
,共5页
T-不变量%工作流系统%因果行为轮廓%完备子系统%变迁对
T-不變量%工作流繫統%因果行為輪廓%完備子繫統%變遷對
T-불변량%공작류계통%인과행위륜곽%완비자계통%변천대
T-invariants%Workflow system%Causal behavioral profiles%Complete subsystems%Transition pairs
模型因果行为轮廓不仅可用于度量业务模型之间的一致度,还可以监控业务流程的实际执行.针对现有因果行为轮廓获取方法的局限性,提出了基于最小T-不变量分解技术的因果行为轮廓获取方法.该方法首先将工作流系统模型分解成一组完备子系统,再由各完备子系统中的局部关系推导出系统模型中的全局关系,可用于捕获任意sound自由选择工作流系统的因果行为轮廓.
模型因果行為輪廓不僅可用于度量業務模型之間的一緻度,還可以鑑控業務流程的實際執行.針對現有因果行為輪廓穫取方法的跼限性,提齣瞭基于最小T-不變量分解技術的因果行為輪廓穫取方法.該方法首先將工作流繫統模型分解成一組完備子繫統,再由各完備子繫統中的跼部關繫推導齣繫統模型中的全跼關繫,可用于捕穫任意sound自由選擇工作流繫統的因果行為輪廓.
모형인과행위륜곽불부가용우도량업무모형지간적일치도,환가이감공업무류정적실제집행.침대현유인과행위륜곽획취방법적국한성,제출료기우최소T-불변량분해기술적인과행위륜곽획취방법.해방법수선장공작류계통모형분해성일조완비자계통,재유각완비자계통중적국부관계추도출계통모형중적전국관계,가용우포획임의sound자유선택공작류계통적인과행위륜곽.
