I detta dokument presenteras en metod för att överbrygga klyftan mellan modellering av affärsprocesser och specifikationer av arbetsflöden. Medan den första handlar om intuitiva beskrivningar som främst används för kommunikation, den andra handlar om att konfigurera ett processmedvetet informationssystem, vilket kräver ett mer rigoröst språk som är mindre lämpligt för kommunikation. Till skillnad från befintliga metoder överbryggas klyftan inte genom att tillhandahålla formella semantik för ett informellt språk. Istället antas det att det önskade beteendet är bara en delmängd av det fullständiga beteende som erhållits med hjälp av en liberal tolkning av den informella affärsprocess modellering språket. Med hjälp av ett nytt korrekthetskriterium (avsmalnande ljud), är det verifieras om ett urval av lämpligt beteende är möjligt. Metoden består av fem steg och illustreras med hjälp av händelsestyrda processkedjor som en affärsprocess modellering språk och Petri nät som arbetsflöde specifikation språk.
Arbete av Dehnert och Aalst REF presenterar en slags bro mellan affärsmodellmodellering och arbetsflödesspecifikation.
BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS
{'venue': 'INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS', 'journal': None, 'mag_field_of_study': ['Computer Science']}