Web服务组合中组件服务的优化和验证技术研究

Thisbookistothebestofourknowledge，thefirstofitskindtoaddressserviceoptimizationbyusingaiNet.TheaiNetiscapableoffindingoptimalserviceswithdifferentQoS(QualityofService)propertiesfromsimilarfunctionalityservices，whichprovidesanewapproachforserviceselection.TheserviceoptimizationselectionimplementsnotonlyQoSpropertiesbutalsotransactionalproperties，whichensurereliableexecutionofcompositeWebserviceandconstructtheoptimalcompositeWebservice.Reliabilityverificationisanothercoolfeatureinthisbook.Theconformanceverificationapproachwithtemporallogicisimplemented.Theexpectedinteractionisusuallydefinedbybusinessprocessexecutionlanguage(BPEL)，whichistranslatedintoacolourPetrinetmodel.Weusescenariosfromegovernment(socialservices)andlifesciences(analysisofproteinsequenceinformation)toillustratetheconceptsandtech-niquesdiscussedinthisbook.