格式:pdf
大小:406KB
頁數(shù): 3頁
面向?qū)ο蠼UZ言UML(Unified Modeling Language)已廣泛用于嵌入式系統(tǒng)建模,但它在嵌入式實(shí)時系統(tǒng)建模時存在概念模型形式化復(fù)雜和狀態(tài)圖對時間約束方面的建模功能不強(qiáng)的問題,針對這些問題,提出一種對UML狀態(tài)圖進(jìn)行時間擴(kuò)展的方法,并提出利用“可執(zhí)行UML”對帶有時間擴(kuò)展的UML狀態(tài)圖形式化的方法。