En affärsprocess består av flera affärsverksamheter som, när de kombineras i ett flöde, uppnår ett visst mål. Dessa processer fungerar vanligtvis i en distribuerad miljö och den programvara som implementerar dem är ganska komplex. Effektiva verktyg för analys av möjliga utföranden av sådana processer är därför mycket viktiga för företag (Beeri et al., 2006 (Beeri et al.,, 2007 ), (Deutch och Milo, 2008 [13]); dessa verktyg kan göra det möjligt att felsöka och optimera processerna, och göra en optimal användning av dem. Målet med detta dokument är att överväga en formell modell bakom affärsprocesser och studera frågespråk över sådana processer. Vi studerar i detalj relationen mellan den föreslagna modellen och tidigare föreslagna formalismer för processer modellering och frågeställning. I synnerhet föreslår vi en frågeutvärderingsalgoritm av polynom data komplexitet som kan tillämpas enhetligt på två typer av gemensamma frågor över processer, nämligen frågor om strukturen i processen specifikation samt temporal frågor om det potentiella beteendet hos den definierade processen. Vi visar att om inte P = NP effektiviteten hos vår algoritm är asymptotiskt optimal.
Medan Ref föreslog ett frågespråk för processspecifikationer och Markovic et.
A structural / temporal query language for Business Processes
{'venue': 'J. Comput. Syst. Sci.', 'journal': 'J. Comput. Syst. Sci.', 'mag_field_of_study': ['Computer Science']}