计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
15期
41-43
,共3页
工作流模型%模型校核%化简%UML活动图%活动超图
工作流模型%模型校覈%化簡%UML活動圖%活動超圖
공작류모형%모형교핵%화간%UML활동도%활동초도
针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注.然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少.该文提出了基于UML活动图化简方法的工作流模型校核技术,在UML活动图到活动超图映射基础之上,对活动超图建立化简规则,通过化简实现工作流模型校核.实践证明此方法有效.
針對開放、響應型繫統建模UML活動圖錶現優良的特性,UML活動圖在工作流建模領域也引起瞭人們的極大關註.然而相關的研究僅僅起步,特彆是針對相應的模型校覈技術更是研究甚少.該文提齣瞭基于UML活動圖化簡方法的工作流模型校覈技術,在UML活動圖到活動超圖映射基礎之上,對活動超圖建立化簡規則,通過化簡實現工作流模型校覈.實踐證明此方法有效.
침대개방、향응형계통건모UML활동도표현우량적특성,UML활동도재공작류건모영역야인기료인문적겁대관주.연이상관적연구부부기보,특별시침대상응적모형교핵기술경시연구심소.해문제출료기우UML활동도화간방법적공작류모형교핵기술,재UML활동도도활동초도영사기출지상,대활동초도건립화간규칙,통과화간실현공작류모형교핵.실천증명차방법유효.
