基于Petri網(wǎng)行為輪廓的交互行為的分析與應(yīng)用.pdf

1、為了滿足復(fù)雜多變的應(yīng)用需求，通過多個(gè)組件交互來(lái)構(gòu)建組件軟件已成為新的趨勢(shì)，但由于開放環(huán)境下組件的交互會(huì)受到組件內(nèi)部和外部因素的影響，導(dǎo)致交互后的軟件不能按照預(yù)期行為執(zhí)行，從而影響了組件軟件預(yù)期功能的實(shí)現(xiàn)。因此對(duì)于軟件交互行為的分析具有重要的理論意義和實(shí)用價(jià)值。
　　目前對(duì)于軟件行為交互的研究主要集中于交互功能的可滿足性，主要考慮各個(gè)組件的功能匹配性及可組合性，對(duì)于該問題大量文獻(xiàn)僅是考慮交互后的死鎖或虹吸的判定，而在實(shí)際使用過程中，

2、不存在死鎖的軟件也會(huì)出現(xiàn)行為不可預(yù)期的問題，而非常少的文獻(xiàn)研究組件交互時(shí)的行為相關(guān)性問題。本文分析了Petri網(wǎng)行為輪廓理論及性質(zhì)，并基于行為輪廓提出了業(yè)務(wù)流程交互的行為一致性測(cè)量和分析方法，以及非一致行為下的變化域分析方法。本文主要貢獻(xiàn)包括:
　　(1)針對(duì)服務(wù)交互過程中出現(xiàn)的間接行為關(guān)系的情況，提出了一種基于綜合的行為輪廓的間接約束條件下的行為交互的研究方法，研究了綜合的行為輪廓，并將其用于服務(wù)交互的有效行為關(guān)系的選擇過程中，

3、該方法拓展了已有方法僅考慮直接交互行為關(guān)系的情況。
　　(2)針對(duì)業(yè)務(wù)流程交互過程出現(xiàn)行為不一致的情況，已有方法是采用靜態(tài)的方法進(jìn)行變化域的尋找，本文提出了基于Petri網(wǎng)行為輪廓的行為一致性測(cè)度方法，并應(yīng)用于變化域的查找中，迸一步提出基于行為輪廓的動(dòng)態(tài)變化域查找方法。該方法能夠在不確定變化點(diǎn)的情況下，更好地尋找最優(yōu)的變化區(qū)域。
　　(3)針對(duì)服務(wù)交互過程中的重名變遷情況，已有的方法是將包含重名變遷的模型轉(zhuǎn)變成不重名的模型后