基于任務(wù)模型的用戶界面自動生成研究.pdf

1、近幾年來，隨著模型驅(qū)動體系結(jié)構(gòu)(MDA)在軟件工程領(lǐng)域研究和應(yīng)用的逐漸升溫，越來越多的有關(guān)人機交互和用戶界面的研究者開始逐漸把目光投向MDA，探索將模型驅(qū)動的思想引入到用戶界面的自動生成的相關(guān)研究中，取得了不少有益的成果。 在這樣的背景之下，各種各樣有關(guān)基于任務(wù)模型的用戶界面自動生成的概念和理論不斷涌現(xiàn)，其中Fabio Patemo、等人提出了基于圖形符號的ConcurTaskTrees(CTT)任務(wù)模型表示法，被越來越多大學(xué)和

2、研究機構(gòu)用于各種用戶界面的任務(wù)分析研究中，并在實際的應(yīng)用中收到了良好的效果。不少基于任務(wù)模型的用戶界面生成工具和原型系統(tǒng)也被開發(fā)出來。其中包括Giulio Mori，F(xiàn)abio Pmemo，Carmen Santoro等人設(shè)計實現(xiàn)的CTTE/TERESA系統(tǒng)，Tim Clerckx等人提出的Dygimes原型系統(tǒng)等等。 本文將以ConcurTaskTrees任務(wù)模型為主要的研究對象，著重討論和解決了基于ConcurTaskTr

3、ees任務(wù)模型自動生成用戶界面過程中的2個問題： 1)ConcurTaskTrees任務(wù)模型表示法的形式化的分析和描述。本文定義了任務(wù)的狀態(tài)謂詞，用來描述任務(wù)在執(zhí)行過程中的不同時刻所處的狀態(tài)，并且討論了狀態(tài)謂詞的轉(zhuǎn)化關(guān)系，即任務(wù)執(zhí)行狀態(tài)的轉(zhuǎn)化。在狀態(tài)謂詞的基礎(chǔ)上，本文用狀態(tài)轉(zhuǎn)移網(wǎng)(STN)來描述象任務(wù)執(zhí)行過程這樣的動態(tài)的過程，用謂詞邏輯公式的形式對ConcurTaskTrees暫態(tài)關(guān)系含義進行了重新表述，給出了幾種主要任務(wù)暫態(tài)關(guān)

4、系的STN圖。 2)如何由ConcurTaskTrees任務(wù)模型抽取用戶界面對話/導(dǎo)航模型的方法。本文以Dygimes原型系統(tǒng)的有關(guān)研究工作為基礎(chǔ)，提出了暫態(tài)關(guān)系運算的概念，將由ConcurTaskTrees任務(wù)模型抽取用戶界面對話/導(dǎo)航模型的過程轉(zhuǎn)變成一個求解暫態(tài)關(guān)系運算表達式的過程。和這個過程相關(guān)的工作包括兩個方面：一是由任務(wù)模型得到暫態(tài)關(guān)系運算表達式樹；二是對基本的暫態(tài)關(guān)系運算規(guī)則的定義。在將用戶界面的對話/導(dǎo)航模型表示為