Efficient matchmaking of business processes in web service infrastructures [Elektronische Ressource] / von Bendick Mahleko

Sujets

• Informatik

Informations

• Publié par: technischen_universitat_darmstadt
• Publié le: 01 janvier 2006
• Nombre de lectures: 32
• Langue: Deutsch

Extrait

TEfcientSimbabweMatchmakingHochschulkofNeuholdBusinessagProocessesDrinProf.W24.ebJuliSerBendickviceinInfrastructur:esErichVorreferentomLin,Fderachbereich2006InformatikDisputation:derDarmstadtTfer:echnischenMahlekUnigeborenvChipinge,ersitReferent?Prof.at.DarmstadtJ.genehmigteKDissertation:zurKwei-JayErlangungPh.D.desagakademischenEinreichung:GradesMaieinesTDoktorder-Ingenieurs11.(Dr2006.2006-Ing.)ennzifvD17oniandThisNyasha,thesisiiisRutendodedicatedDouglas.toSarah,discussingAchelpingknoywledgamementsgoMantoythispeopleWhastage.vsupportewcontribPeterutedtopictothethementorsuccesslongofwthisnotwSarahork.iiiIvided.wlikouldDrlikankhausereidentifytoforthankorkmystage.supervisortoProfessor.ErichforJ.withNeuholdshapingwhotoguidedbthismyresearchmytothethispromaturethestage.proTheIIntelligentouldInfore-thankmation.SystemsFInstitutefor(i-Info)togrouptheatandFraunhofersupportingIPSIwprotovidedcurrentaIconducigratefulvmyeDratmosphereAndreastoombachercarry-outspendingthishoursresearch.me,IandamthisgratefulorktothistheLastentireuti-Infoleast,groupthanksfortoenablingwifethisforresearchendlessandsheforvided.thesupport+
HoTheniteproblembyaddressedofinusinessthisprocessdissertationbcanusinessbeanstatedeascomputingfollonitews:usinessgivenaFSAs,asstatesatraditionalquerysupported,alenceaofbonusinessrepository;prvocessbdescriptionxpressions.withinmessageamandatoryWisebbservicebeinginfrgeastructurifein,forefascientlyandndservicebdescribedusinessrepresentingprofocessesusinessfrusinessomcanaoflarparts.gbeearwithepositorythethataFSAscomplementarilyinnite)supportetheoptionalinputbquerythe.mandatoryIndescription.particulare,onthe,inputtobscaleusinessoperationsprocessspeed-upenforcesusethat,someaFSAspindeartsoptionofonthemessageblarusinessAprocesscanbeamandatorysequences.po-Fecutionorprocess.emodel,xample,areamatchingbwithinuyermatchingordenedgcommonanizationsequencesusingtheRosettaNetbPIPssemanticsandbytheprocessescorrespondingenrichmentdataautomatadictionarylogicalmightewFSAsantautomatatoendquencessuppliersathatwhileuseethewellsameofRosettaNetprocess.standardprocessthatdenedfulllintersectionhisvbofusinesspro-process.theInisthisvcase,thanfornumberinstance,transitions.ascanningmandatoryreposito-cancellationmatchingprocedurewillofvthevidualprocessingsimple.wayouldperformancebeisexxvecutedxafterqueriesthealsoorderstandardhadtechniquesbeen-trees.placedtowithxthemessagesupplierand.equiThevcurrentgeWrepositories.ebbserviceprocessstandardsbearoundasUnisetvmessageersaleachDescription,aDiscotentialvxerysequenceandtheInteBasedgrationthis(UDDI)bandprocessesrelatedqueriedtechnologiesndingdobnotprocessesaddressthethistheproblemoperationasbethebyyaofsetfermessageonlycoserviceeringdiscomandatoryvTheeryusinessbasedmatchmakingoncanattribformalizedute/modellingvusinessalueusingqueries,nthatofisstatelimited(FSAs)topropositionalatomiceserviceWdiscocallvenrichederyannotated.stateResearch(aFSAs).hascanshoxpresswnse-that(potentiallyBusinessinProcessbExprocessecutionlogicalLanguagexpressionsforxpressWasebasServicesparts(BPEL4WStheorusinessBPELAforusinessshort),matchmakingwhichformallyisascurrentlynon-emptyusedoftocoeeringxpresspartsbtheusinessusinessprocessescessinComputingWintersectionebaFSAsservicecomputationallyenxpensivironments,edoesmorenotquadratichathevofeandaFurthersolidsequentiallyformallarmodelserviceandriesthusndlacksbformalprocessessemanticsnotforequeryingenbindiusinessqueryprocessweredescriptions.TheThiswmeanstothatqueryaoperationsformaldatabasesmodeltoisinderequiredes.toweeerxpressindebesusinessintersection-basedprocessesonandaretonotenablebytheirdatabasequerying.xingBasedsuchonBAbstractthisAnformalismodel,constructappropriateindeindebasedxingaFSAtechniquessequencesareannotations,neededusingforsequenceefvcientiqueryingin+
aluationwapproachellofasoutperformstheandemechanismsvaluationaluationordersofxannotationsfortovrealize-trees.intersectioneoperations.thatHobyweanalysisvwserincreasing,computationalthelinearnumberdataofindemessageesequencesindeinimplementedanaluated.aFSAshomayindebequentialinnitevduemagnitude.toecalsoyclestheinwellthesetbxhibitsusiness-processbeingspeci-thecation.inInvthisailabledissertationxingalikformalBasmodelTheforxingindeisxingandandvqueryingEvbresultsusinesswprocessestheisxdse-escanningvseel-eraloped.ofTheAnindeofxingvapproachresultsisshobasedthatonindeabstractionsscalestowithtransformdataaFSAssizesviaetheirgoodgrammarsproperintotiesformssearching,thatapproximatelycanonbenumberindeaFSAsxtheedcollection.byaaftsprozessesDeutsc?hezuZusammenfassungdurchDiefehlt,Problemstellung,efdieginoglicherweisedieserbeschreibDissertationbedeutet,adressiertModellwird,onkannAbgleichenwienotwendigenfolgtAusdrbeschrieben?werdie-quadratischden:oreine?BescermhrbeneibGeschungeineeines?Gescnachheiner?zumaftsvorFSA),gangs,FSAsdie?inaucheineronWdieebzuServiceauchInfronastrukturdurchzufin-FGeschormundeineraufAbfrenaAbfragengkealsvorwgSequenzeorgdiesesebenaftsprozesseist,werden.solldurchinSequenznachrichten,einerDiegrGescho?enZustandsautomatenDatenquelleAn-efformalisiertzientonnenGescGeschh??waftspreileozesseonnen.aufspist?vureineren,Schnittmengedievkundomplementformale?Abfragenar?zurangsbeschreibEingabe-Abfruhren.aeingModellewird,sindaftsprozesse.?InsbesondereAbfragekannoglichen.dersolchen,EingTabe-Geschzur?otigt,aft-gro?ensprozessgestaltenvonnen.orschreiben,aftsprozessdassAbfolgeeinigebeschriebenTjedeeile?desderGescheines?angsaftsvAn-orkanngGeschangsderzwingendProzessenerforderlichAbgleichvsind.istZumBerech-BeispielMengesuchtdieeineileEinkdes?vauferaftsprozessen,derderstateeineh.bestimmtemitRosettaNetuckPIPsDieseBeschreibkung(mundindasaftsprozessdazuen,gehlogische?eorigeerforderlicheDatenbeschreibahlfreieungsvGescherzeichniskeinsetzt,Abgleicheinen?Lieferanten,deniertderleereebenfaFSAs,allsTdemsel-?benenthalten.RosettaNetonStandardistfolgtmehrundvisomitdaheraucheinedenSemantikGeschum?vaftsprozessenGeschdesaftsvEinkg?ungenaufers?entspricht.DiesNachdassAbschlussfordermalesAuftragsvbenerotigtgumabe?wdarstellen?kurdeonnenhierihrederzuGesch??Geeignete,aftsveinemorformalengaufbauendeangechnikzwingendwerdenbeendetIndizierungwer?-umden.inDieDatenquellenderzeitigen,zientmitzuUDDI?(UniEinv?ersalkannDescription,eineDiscovvNachrichtenerywerden,andobeiInteNachrichtgration)merstelltenoglicheWinebserviceAusfTuhrungechnologienVsogwiereprvasentiert.erwhandandteModellsTdurchechnologiendersind?nichtininDatenquellederpassendenLageabgefragtdiesesDerProb-orlemangzudeniertldie?nungosen,gemeinsamendaandiesediezurzwingendDienstndungTnurenthalten.beSemantikgrenzteAlgorithmusUnterstAbgleich?onutzung?aufkannAttribModellierenute-/Wendlichenerte-(nalbasierendenautomata,Abfragend.anbietendurchkreichern?aussagenlogischenonnen?unden,demnachwerden.aufangereichertendie(aFSAs)atomare?DienstndungSequenznachrichtenbeschr??unendlich)ankteinemist.?InausdrderuckFworschungahrendwerdenAusdrBPEL4WSuckodersoBPELohl(BusinessalsProcesswExTecutiondesLanguage?fdarstellen??urDerWvebGeschServices)aftsprozessenzurformalBeschreibalsungnichtvSchnittmengeononGeschdie?erforderlichenaftsprozesseneilevGescherwendet.aftsprozess-EsunghatDiesichvgezeigt,aFSAsdassberechnendiesenrechenintensiSprachenundeinalssolides,zurformalesModell+
+
aufweist,Zustkann?Indeandeft.undzur?eineuberzeigen,gauch?onnen.ange.?FernervskaliertugbareeinimplementiertsequentiellesnenScannendarvgutondergro?enwirdDatenquellenAbfragenichtelt.beiAbstraktionenderuberSuchedurchnachwiederpassendenxierungslGeschDie?xierungaftsprozessen,?auchEvwenndassdieaneinzelnenRecheneigenschaftenAbfrageoperationensicheinfDatensammlungachdieseraufgebautformalessind.xierungHerkon?sprozessenommlicherweiseAnsatzwerdenbasiertIndizesTvaFSAserwendet,Grammatikum,Anfragenerfinxierungsmechanis-DatenbankB.enindiziertzuDiebeschleunigen.osungIndizesausgezualuierungserschnittmengen-basiertendieAnfragensequentiellevmehrereon?aFSAsAnalysewerdengebnissejedochubervIndeonzunehmenderStandard-Datenbank-Inde?xierungstechnikundenderwiediebeispielsweisezurBinAnzahlerhalt.-treeInnichtDissertationunterstein?Modellutzt.IndeEineundMv?Geschoglichkaft-eitentwickist,DereinenzurIndexierungxaufaufzurBasisransformationvonon?aFSAdieSequenz-innachrichtenStrukturunddieAnnotationenvzu?erzeugen,IndeHiermenwerdenz.Sequenznachrichten-B?-treeaquiwerdenv.alenzIndeund?diewirdAuswertungundderwertet.KEvommentierungengebnissefdass?IndeurdasdieScan-ErstellungumderGrSchnittmengeno?enordnungenmitubertrifberEine?derucksichtigt.aluierungserDiezeigtAnzahl?derhinaus,SequenznachrichtenderinxeinermitaFSAAnzahlkannDatensunendlichatzensein,skaliertdagutesichbeiSchleifenSucheindaderSucheSpezikationlineardesAnzahlGeschaFSAs?deraftsprozessesvbilden?kvii?.T.ab.le.of.Contents2.2.5Ac.kno.wledg.ements.iiiGraphAbstractFivDiscoDeutsc2.1.1he2.1.2Zusammenfassung13viAssessment1.Intr.oduction.1.1.1.Moti.v.ationysis...................15...15...Petri...16.................ork.echniques......................2service1.1.1.Automating.the.MatchmakingServiceof.Business.ProcessesModels.......Models............2.1.1.2SimulationW.eb.Services.Infrastructure-based.Service.Disco.v(FSA)ery....17...........2.Related.2.13ery1.1.3.ebXML.Frame.w.ork.-.Business.ProcessSpecicationMatchmaking..............Extensions......6.1.2.Problem.Statement..W.engines...........14.W.echniques.........F.Matchmaking.............Process.............15.Models..8.1.3.Matching.Business.Process.Descriptions..Graphs.........16.................State............8Assessment1.4ModelsInde.xing.Business.Processes....viii.......11.Anal.of.W.12.Service.v.T...........................129UDDI1.5.Research.Challenges........................12.UDDI...............................2.1.3.eb.search9.1.6.Contrib.utions.and.Main.Results............2.1.4.of.eb.T...................2.2.ormal.of........10.1.6.1.Inde.xing.T.echniques.for.Annotated.Finite.State2.2.1AutomataAlgebra..............10.1.6.2.Implementation.of.a.W.eb2.2.2ServiceNetMatchmaking.Engine.based.on.aFSA.Inde.x..................2.2.3.Bisimulation/.Models.................2.2.4.Matching.........................