Trots de flitiga ansträngningar som gjorts av programvaruteknikgemenskapen, fortsätter misslyckandet med programvaruprojekt att öka i alarmerande takt. Efter två decennier av detta problem som återkommer är en av de främsta orsakerna till den höga felfrekvensen fortfarande dålig processmodellering (kravspecifikation). Därför inser både forskare och praktiker vikten av affärsmodellmodellering för att förstå och utforma exakta mjukvarusystem. Bristen på direkt modellkontroll (verifiering) är dock en av de största bristerna i konventionella processmodelleringsmetoder. Det är viktigt att modeller ger kontrollerbar inblick i underliggande affärsprocesser för att utforma komplexa mjukvarusystem som Enterprise Information Systems (EIS). Programvaruteknikgemenskapen har använt samma metoder som har hemsökt branschen med misslyckanden. I detta dokument försöker vi åtgärda denna fråga genom att titta på en icke-konventionell ram. Vi introducerar en affärsprocess modellering metod som är tillgänglig för automatisk analys (simulering), men tillräckligt kraftfull för att fånga den rika verkligheten i affärssystem som antas i beteende och interaktioner användare. Den föreslagna metoden bygger på det innovativa språk-åtgärdsperspektivet.
Forskare och praktiker inser vikten av affärsmodellmodellering för att förstå och utforma exakta mjukvarusystem REF.
The importance of business process modeling in software systems design
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}