AADL behavior annex
信息科技

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