“Magic Cyber-Systems Engineer”產(chǎn)品是行業(yè)領(lǐng)先的基于模型的跨平臺協(xié)作系統(tǒng)工程(MBSE) 環(huán)境。它可提供智能、強(qiáng)大和直觀的工具來定義、跟蹤和可視化最符合標(biāo)準(zhǔn)的SysML 模型和圖表中的系統(tǒng)的所有方面。該環(huán)境使系統(tǒng)工程師能夠：
-運(yùn)行工程分析以進(jìn)行設(shè)計決策評估和需求驗證。
-持續(xù)檢查模型一致性。
-使用指標(biāo)跟蹤設(shè)計進(jìn)度。
-系統(tǒng)模型可以在遠(yuǎn)程存儲庫中進(jìn)行管理，存儲為標(biāo)準(zhǔn)XMI 文件，或者發(fā)布到文檔、圖像和Web 視圖，以解決相關(guān)人員的不同疑慮。


-了解問題。
-開發(fā)基于標(biāo)準(zhǔn)的系統(tǒng)架構(gòu)，以改善交流和支持。
-根據(jù)運(yùn)營需求制定系統(tǒng)配置決策。
-提供系統(tǒng)（包括其接口）的一致完整規(guī)范。
-自動驗證系統(tǒng)要求。

Magic Model Analyst 產(chǎn)品率先提供基于 OMG fUML 和 W3C SCXML 標(biāo)準(zhǔn)的行業(yè)可擴(kuò)展模型執(zhí)行框架。Magic Model Analyst 可以與 Magic Systems of Systems Architect、Magic Cyber-Systems Engineer 和 Magic Software Architect 一起使用。它可用于通過在預(yù)期用戶界面的代表性模擬環(huán)境中執(zhí)行、設(shè)置動畫和調(diào)試模型來驗證系統(tǒng)行為。
仿真的目的是在不操縱實際系統(tǒng)的情況下了解系統(tǒng)，這可能是因為尚未定義或不可用，或者由于成本、時間、資源或風(fēng)險限制而無法直接訪問。仿真通常在系統(tǒng)的模型上執(zhí)行。使用 Magic Model Analyst 產(chǎn)品，用戶可以測試系統(tǒng)對用戶交互或預(yù)定義測試數(shù)據(jù)和執(zhí)行方案的反應(yīng)。


- 在采用建模和仿真方法推導(dǎo)需求以準(zhǔn)確指定解決方案之前，虛擬地預(yù)測系統(tǒng)行為。
- 分析系統(tǒng)分析以進(jìn)行完整性、一致性、可追溯性和矛盾檢查，從而防止返工循環(huán)。
- 持續(xù)管理不確定性，并進(jìn)行簡要解決方案權(quán)衡，以便盡早做出準(zhǔn)確的決策。

Alf（基礎(chǔ) UML 操作語言)是一種文本語言，用于對整個 UML 模型中的詳細(xì)可執(zhí)行行為進(jìn)行編碼。Alf 是對象管理組 (OMG) 的標(biāo)準(zhǔn)，也是維護(hù) UML 規(guī)范的組織。Alf 是一系列 OMG 規(guī)范之一，與利用原始基礎(chǔ) UML (fUML) 規(guī)范為 UML 定義精確執(zhí)行語義有關(guān)。


- Magic Alf Analyst 允許您在 Magic Model Analyst 內(nèi)使用 Alf 語言。
- 它提供用于輸入和更新 Alf 代碼的語法感知編輯器，以及用于將 Alf 代碼轉(zhuǎn)換為 fUML 活動模型的編譯器。
- 使用 Alf 代碼編寫的行為規(guī)范在類、活動和狀態(tài)機(jī)模型上下文中完全可執(zhí)行。
- Alf Plugin 在“完全符合”級別支持 Alf 語言，即它提供完整的操作語言來表示在 MagicDraw 中以通常方式創(chuàng)建的 UML 模型中的行為。