基于面向?qū)ο驪etri網(wǎng)的用戶界面描述方法的研究.pdf

1、對于人機交互要求比較多的應(yīng)用系統(tǒng)，用戶主要通過用戶界面與系統(tǒng)進行交互，一個系統(tǒng)能否被接受在很大程度上取決于其用戶界面的質(zhì)量。因此，對用戶界面的交互行為進行抽象描述在整個軟件開發(fā)過程中非常重要，可以更好地概括現(xiàn)實世界，方便人機交互，同時便于支持自動化的工程實現(xiàn)。 但一般用戶界面的抽象描述方法主要針對界面的布局和風(fēng)格，缺乏對用戶界面交互行為描述的支持。還有的界面描述方法通過多個模型從應(yīng)用系統(tǒng)的不同側(cè)面建模用戶界面的相關(guān)信息，使得模型

2、之間的映射比較復(fù)雜。因此，如何增強模型對應(yīng)用系統(tǒng)中用戶界面交互行為的支持程度、簡單直觀地建模用戶界面成為軟件開發(fā)過程中的一個重要問題。 本文首先分析了Petri網(wǎng)的基本特點，用Petri網(wǎng)建模用戶界面靜態(tài)特性和動態(tài)行為的優(yōu)勢，以及已經(jīng)提出的基于Petri網(wǎng)描述用戶界面的模型的優(yōu)點和存在的問題；接著對Petri網(wǎng)的定義進行擴展，提出了一種面向?qū)ο驪etri網(wǎng)的形式化定義，并且完善了面向?qū)ο驪etri網(wǎng)所應(yīng)具有的各種面向?qū)ο筇卣?；?/p>

3、后定義了面向?qū)ο驪etri網(wǎng)的結(jié)構(gòu)和執(zhí)行語義與用戶界面靜態(tài)特性和動態(tài)行為之間的對應(yīng)關(guān)系，并基于此對應(yīng)關(guān)系提出了一種基于面向?qū)ο驪etri網(wǎng)的用戶界面描述方法，以改善其它模型中存在的問題；最后通過學(xué)生信息管理實例對該建模方法進行了驗證。 面向?qū)ο驪etri綜合了Petri網(wǎng)和面向?qū)ο髢煞N思想的優(yōu)點。Petri網(wǎng)作為一種形式化的開發(fā)工具，具有嚴(yán)格的數(shù)學(xué)語義，可以方便的對系統(tǒng)進行分析和驗證，以解決面向?qū)ο蠹夹g(shù)缺乏形式化的描述和分析驗證