基于業(yè)務(wù)目標(biāo)和業(yè)務(wù)場(chǎng)景的語(yǔ)義一致性驗(yàn)證方法
資料介紹
多層次多視圖模型是在不確定需求環(huán)境下進(jìn)行業(yè)務(wù)建模的主要方法,不同層次或不同視圖模型之間的語(yǔ)義一致性直接影響業(yè)務(wù)建模的完整性。鑒于此,設(shè)計(jì)一種業(yè)務(wù)目標(biāo)模型與業(yè)務(wù)場(chǎng)景模型的語(yǔ)義一致性驗(yàn)證方法分別以范疇模型和擴(kuò)展Peτi網(wǎng)模型代表業(yè)務(wù)目標(biāo)模型和業(yè)務(wù)場(chǎng)景模型,通過(guò)定義形式化業(yè)務(wù)目標(biāo)模型的緊鄰序列和形式化業(yè)務(wù)場(chǎng)景模型的執(zhí)行順序序列,設(shè)計(jì)這兩種模型之間完全語(yǔ)義一致性、部分語(yǔ)義一致性和弱語(yǔ)義一致性的驗(yàn)證條件和驗(yàn)證步驟。 Travel Agency業(yè)務(wù)系統(tǒng)上的一致性驗(yàn)證結(jié)果證明了該方法的可行性和有效性。
- 基于無(wú)監(jiān)督空間一致性約束的心臟MRI分割 38次下載
- 在線迭代聚類的多傳感器一致性數(shù)據(jù)融合方法 9次下載
- 管理基于Cortex?-M7的MCU的高速緩存一致性 5次下載
- Cache一致性協(xié)議優(yōu)化研究 0次下載
- DSA系統(tǒng)的全局一致性需求分析 0次下載
- EMI一致性測(cè)試調(diào)試方法 13次下載
- 電能質(zhì)量監(jiān)測(cè)數(shù)據(jù)一致性定義及檢測(cè)方法_邱麗羚 0次下載
- TTCN在TD-SCDMA終端RRM一致性測(cè)試系統(tǒng)中的應(yīng)用
- CMP中Cache一致性協(xié)議的驗(yàn)證
- PCIe 2.0/PCIe 3.0驗(yàn)證、調(diào)試和一致性測(cè)試解決
- 簡(jiǎn)化DisplayPort調(diào)試驗(yàn)證和一致性測(cè)試
- 防空導(dǎo)彈體系內(nèi)目標(biāo)信息傳送的一致性方法研究
- 汽車產(chǎn)品認(rèn)證中的一致性檢查
- TD-SCDMA協(xié)議一致性的測(cè)試研究
- 一致性規(guī)劃研究
- 異構(gòu)計(jì)算下緩存一致性的重要性 682次閱讀
- Redis緩存與Mysql如何保證一致性? 955次閱讀
- 如何保證緩存一致性 1182次閱讀
- 如何解決數(shù)據(jù)庫(kù)與緩存一致性 1130次閱讀
- 如何進(jìn)行千兆以太網(wǎng)的一致性測(cè)試 1271次閱讀
- Dubbo負(fù)載均衡策略之一致性哈希 780次閱讀
- 微服務(wù)架構(gòu)中的數(shù)據(jù)一致性解決方案與實(shí)踐 505次閱讀
- 如何保障MySQL和Redis的數(shù)據(jù)一致性 851次閱讀
- RTL與網(wǎng)表的一致性檢查 3839次閱讀
- 基于一致性的半監(jiān)督語(yǔ)義分割方法 1058次閱讀
- EMC輻射測(cè)試中,一致性分析是一個(gè)很困難的任務(wù) 5195次閱讀
- 詳解CAN總線一致性測(cè)試的中的DLC測(cè)試 1.9w次閱讀
- 探討發(fā)送端物理層一致性測(cè)試的含義,要素及目標(biāo)和趨勢(shì) 5926次閱讀
- 影響動(dòng)力電池一致性的因素分析以及6大解決措施 2.1w次閱讀
- 加速器一致性接口 3723次閱讀
下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開(kāi)發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開(kāi)發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測(cè)放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開(kāi)源CC3D飛控資料(電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊(cè)
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊(cè)大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測(cè)試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
電子發(fā)燒友App






創(chuàng)作
發(fā)文章
發(fā)帖
提問(wèn)
發(fā)資料
發(fā)視頻
上傳資料賺積分
評(píng)論