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