語境決策樹建模及其在多角色協(xié)同Web系統(tǒng)中的應(yīng)用.pdf

1、隨著軟件技術(shù)的飛速發(fā)展，多角色多用戶協(xié)同工作成為Web系統(tǒng)的重要特性之一。在多角色協(xié)同Web系統(tǒng)的設(shè)計(jì)與測(cè)試中，用戶交互操作受到多重動(dòng)態(tài)語境約束，安全性驗(yàn)證必不可少。傳統(tǒng)的訪問控制機(jī)制，如基于角色訪問控制RBAC、訪問控制表ACL等，無法滿足語境驗(yàn)證的需求，而通用建模工具UML2則無法將語境條件判定從工作流模型中抽取出來，難以實(shí)現(xiàn)語境條件的推理驗(yàn)證。
　　本文基于一個(gè)虛擬社區(qū)管理系統(tǒng)的需求，提出了一種基于語境分析判定的語境決策樹C

2、DT建模方法。同時(shí)結(jié)合Web技術(shù)，把CDT模型應(yīng)用到項(xiàng)目中。本文首先分析了現(xiàn)有的Web安全技術(shù)，針對(duì)其中的不足，結(jié)合決策樹和語境概念，提出語境決策樹CDT模型。采用元模型建模方法給出CDT建模規(guī)范，采用令牌建立動(dòng)態(tài)計(jì)算規(guī)則，形成一種連通且無回路的有向圖模型，并給出約束規(guī)則和優(yōu)化方法。在Web開發(fā)方面，對(duì)CDT模型進(jìn)行分層語境擴(kuò)展，使用CDT模型對(duì)Web系統(tǒng)工作流進(jìn)行建模，通過CDT判定路徑計(jì)算得到多條件合取式，與需求規(guī)格比較以驗(yàn)證Web