计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2005年
2期
300-307
,共8页
工作流%UML活动图%语义
工作流%UML活動圖%語義
공작류%UML활동도%어의
UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义.根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义.基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程.时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型.
UML是軟件工程中廣汎應用的建模語言,但其主要問題是缺少嚴格的形式化語義,因而描述的模型容易產生歧義.根據UML活動圖的語法和工作流繫統的特點,為UML活動圖定義瞭一種執行語義.基于時間轉變繫統模型,將工作流繫統的執行描述為時間轉變和數據轉變兩箇交替進行的過程.時間轉變描述時間的前進,數據轉變脩改工作流案例的狀態,這種語義比層次狀態圖具有更彊的描述併行的能力,比Petri網和進程代數更適閤描述工作流模型.
UML시연건공정중엄범응용적건모어언,단기주요문제시결소엄격적형식화어의,인이묘술적모형용역산생기의.근거UML활동도적어법화공작류계통적특점,위UML활동도정의료일충집행어의.기우시간전변계통모형,장공작류계통적집행묘술위시간전변화수거전변량개교체진행적과정.시간전변묘술시간적전진,수거전변수개공작류안례적상태,저충어의비층차상태도구유경강적묘술병행적능력,비Petri망화진정대수경괄합묘술공작류모형.
