计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2007年
1期
8-13
,共6页
工作流过程%图形建模%反应式控制%自动机%动态语义
工作流過程%圖形建模%反應式控製%自動機%動態語義
공작류과정%도형건모%반응식공제%자동궤%동태어의
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.
根據過程執行的特點,定義瞭一種以活動為中心的反應式過程元模型,併為其提供瞭一種圖形錶示,同時為此元模型指定瞭一種體現過程運行時行為的動態語義,該語義可錶示為一箇有限狀態自動機.最後舉例說明瞭如何應用它分析過程模型的語義正確性.
근거과정집행적특점,정의료일충이활동위중심적반응식과정원모형,병위기제공료일충도형표시,동시위차원모형지정료일충체현과정운행시행위적동태어의,해어의가표시위일개유한상태자동궤.최후거례설명료여하응용타분석과정모형적어의정학성.
