Abstract-Business artefakter gör det möjligt att hantera verksamheten i affärsprocesser genom att fånga nyckelbegrepp och relevant information för att styra deras arbetsflöde. Metamodellen Guard-StageMilestone (GSM) är en ny formalism för att utforma affärsartefakter som innehåller en förklarande beskrivning av det avsedda beteendet utan att kräva en uttrycklig specifikation av kontrollflödet. Dess koncept om hierarkiska strukturer för etapper och uttryckliga regler för uppfyllandet av deras vakter och milstolpar stöder designprocessen, men utgör en utmaning för formell kontroll. Vi visar här hur man kan närma sig verifieringsproblemet genom att utveckla en symbolisk representation som är mottaglig för modellkontroll. Genom att lägga fram en fallstudie om den direkta kontrollen av en GSM-modell med hjälp av ett verktyg kan man visa att metoden är genomförbar.
I REF presenteras en annan lovande teknik för formell kontroll av GSM-modeller.
Verifying GSM-Based Business Artifacts
{'venue': '2012 IEEE 19th International Conference on Web Services', 'journal': '2012 IEEE 19th International Conference on Web Services', 'mag_field_of_study': ['Computer Science']}