一種自適應(yīng)數(shù)據(jù)交易軟件模型設(shè)計(jì)技術(shù)

打開文本圖片集

摘要：在大數(shù)據(jù)時(shí)代，以數(shù)據(jù)為基本生產(chǎn)要素的數(shù)據(jù)經(jīng)濟(jì)成為推動(dòng)社會(huì)經(jīng)濟(jì)發(fā)展的創(chuàng)新動(dòng)力。數(shù)據(jù)交易是支撐數(shù)據(jù)流通和創(chuàng)造數(shù)據(jù)價(jià)值的關(guān)鍵環(huán)節(jié)。然而，如何設(shè)計(jì)可靠和可維護(hù)的數(shù)據(jù)交易系統(tǒng)面臨許多技術(shù)挑戰(zhàn)性問題。針對(duì)這些挑戰(zhàn)，本文提出一種自適應(yīng)數(shù)據(jù)交易軟件模型設(shè)計(jì)和驗(yàn)證方法。在分析數(shù)據(jù)交易業(yè)務(wù)需求的基礎(chǔ)上，提出了一種基于Petri 網(wǎng)的形式化數(shù)據(jù)交易自適應(yīng)軟件建模方法，基于Petri 網(wǎng)和模型庫方法建立數(shù)據(jù)交易業(yè)務(wù)流程的形式化模型和控制策略實(shí)施技術(shù)，Petri 網(wǎng)的形式化語義能夠有效支持?jǐn)?shù)據(jù)交易系統(tǒng)的性質(zhì)分析。（剩余10979字）