AADL behavior annex

所屬欄目:英漢云計(jì)算·物聯(lián)網(wǎng)·大數(shù)據(jù)

指AADL標(biāo)準(zhǔn)語(yǔ)言的語(yǔ)義擴(kuò)展,用于描述軟件構(gòu)件內(nèi)部的具體行為。行為附件通過狀態(tài)及狀態(tài)的遷移來描述構(gòu)件行為,狀態(tài)的遷移可以定義使能條件和執(zhí)行動(dòng)作,并且可以通過層次、并發(fā)狀態(tài)來支持更加復(fù)雜的行為描述。行為附件的出現(xiàn)使 ......(本文共 147 字 )     [閱讀本文] >>


推薦內(nèi)容


翻譯