Abstrakt. Vi undersöker användningen av metoden Abstract State Machines (ASM) för en rigorös grund för modellering och validering av webbtjänster, arbetsflöden, interaktionsmönster och affärsprocesser. Vi visar särskilt att man kan skräddarsy definitioner av affärsprocesser i tillämpningsdomänen men ändå rigorösa termer på ett sådant sätt att de resulterande ASM-modellerna kan användas som grund för bindande kontrakt mellan domänexperter och IT-tekniker. Metoden kombinerar den expressiva kraften och noggrannheten hos regelbaserad modellering med den intuition som ges av visuella grafbaserade beskrivningar. Vi illustrerar detta med en ASM-baserad semantisk ram för OMG-standarden för BPMN (Business Process Modeling Notation). Ramen stöder sann samstämmighet, heterogen tillstånd och modularitet (kompositionell design och verifieringstekniker). Som valideringsexempel rapporterar vi några experiment, utförda med en särskild ASM-simulator, för att utvärdera olika definitioner som föreslås i litteraturen för den kritiska OR-join-konstruktionen av BPMN.
Kartläggningen av affärsmodellmodeller på ASM (Abstract State Machines) gör det möjligt att driva affärsprocesserna på en abstrakt nivå REF.
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
{'venue': 'ABZ', 'journal': None, 'mag_field_of_study': ['Computer Science']}