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

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

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

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