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

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

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

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