能夠處理用戶訪問請求的服務器程序,提供驗證(authentication)、授權(authorization)以及賬戶(accounting)的服務器。通常與網絡訪問控制、網關服務器、數據庫以及用戶信息目錄等協同工作。同AAA服務器協作的網絡連接服務器接口是遠程身份...[繼續閱讀]
海量資源,盡在掌握
能夠處理用戶訪問請求的服務器程序,提供驗證(authentication)、授權(authorization)以及賬戶(accounting)的服務器。通常與網絡訪問控制、網關服務器、數據庫以及用戶信息目錄等協同工作。同AAA服務器協作的網絡連接服務器接口是遠程身份...[繼續閱讀]
指AADL標準語言的語義擴展,用于描述軟件構件內部的具體行為。行為附件通過狀態及狀態的遷移來描述構件行為,狀態的遷移可以定義使能條件和執行動作,并且可以通過層次、并發狀態來支持更加復雜的行為描述。行為附件的出現使...[繼續閱讀]
指結構分析設計語言標準語言所構建模型的進一步精化,以結構分析設計語言的行為附件為基礎,描述結構分析設計語言標準構建內部詳細行為的模型。...[繼續閱讀]
指體系結構分析設計語言在構建實現中流路徑的具體實現,或整個系統的端到端流(endto-end flow)的延遲??梢杂糜谥С侄说蕉搜舆t分析和可靠性分析。...[繼續閱讀]
指能夠描述嵌入式實時軟件的非功能屬性,支持靜態、動態結構的協同建模,支持軟件、硬件的協同建模,并且可以針對特定領域進行擴展,支持四種模式: 同步數據流(synchronous dataflows)模式、互斥(mutex)模式、黑板(blackboard)模式和排隊緩...[繼續閱讀]
一種建模的模型,在體系結構分析設計語言模型中軟件系統的狀態通過構件的“模式”表現。通過一個可擴展的符號、一個工具框架和精確定義的語義,支持對系統的結構進行論證。...[繼續閱讀]
指模擬體系結構分析設計語言模型的技術。...[繼續閱讀]