基于關(guān)聯(lián)Petri網(wǎng)的約束Web服務(wù)組合優(yōu)化方法.pdf

1、隨著三網(wǎng)合一的有效推進和Web標準的逐步統(tǒng)一，Web服務(wù)組合作為一種新的軟件服務(wù)形式，得到了高速的發(fā)展和進步，并引起了科學界和商業(yè)界的極大關(guān)注。隨著計算機和網(wǎng)絡(luò)技術(shù)的迅速發(fā)展和普及，一種結(jié)合了Web技術(shù)和軟件工程技術(shù)的新型計算模式應(yīng)運而生，它就是面向服務(wù)的新型計算模式，相應(yīng)地產(chǎn)生了面向服務(wù)的體系結(jié)構(gòu)。面向服務(wù)的體系結(jié)構(gòu)以Web服務(wù)組合為重要特性，將注意力放在服務(wù)上，使得應(yīng)用程序能夠集中起來提供更加豐富、目的性更強的商業(yè)流程，更加真實地反

2、映業(yè)務(wù)模型。由于Web服務(wù)組合資源利用和重整的優(yōu)勢和廣泛的應(yīng)用前景，成為當前研究的熱點。雖然Web服務(wù)組合為有效利用網(wǎng)絡(luò)資源和提供高效靈活的功能創(chuàng)造了新的契機，但是在理論研究和實際應(yīng)用上都還存在著諸多難題，約束條件下的Web服務(wù)優(yōu)化組合就是其中之一。
　　 服務(wù)的組合性是Web服務(wù)組合區(qū)別傳統(tǒng)軟件服務(wù)的重要特性，通過組合可以實現(xiàn)服務(wù)資源的高效利用和復(fù)用。服務(wù)組合的方法決定了服務(wù)組合的正確性，服務(wù)組合的算法優(yōu)化決定了服務(wù)組合的效率

3、。本文通過關(guān)聯(lián)Petri網(wǎng)對約束條件下的Web服務(wù)組合進行形式化的建模，并研究了模型特性，然后進一步研究了約束下Web服務(wù)組合進行優(yōu)化的若干先進算法。
　　 本文首先介紹了Web服務(wù)及Web服務(wù)其組合的基本概念和國內(nèi)外學術(shù)界企業(yè)界對Web服務(wù)組合的研究現(xiàn)狀，在此基礎(chǔ)上然后介紹了關(guān)聯(lián)Petri網(wǎng)、Web服務(wù)組合、約束的相關(guān)知識。然后，本文利用關(guān)聯(lián)Petri網(wǎng)對獨立全局約束的Web服務(wù)組合進行了形式化的建模，并使用遺傳算法對獨立全局