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

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

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

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