Abstrakt

Współczesne przedsiębiorstwo coraz to częściej postrzegane jest nie tylko jako struktura czy też zasoby, ale takie jako zbiór procesów. Podstawowymi rodzajami procesów zachodzących w przedsiębiorstwie to procesy produkcyjne oraz procesy biznesowe. Modelowanie procesów biznesowych oprócz środków graficznych, jak пр.: diagram specyfikacji zadań, wymaga również zaawansowanych narzędzi formalnych, jak пр.: algebra procesów, rachunek sytuacji, logiki (modalne, temporalne, deontyczne). Modelowanie procesów biznesowych realizujących konkretne sprawy w przedsiębiorstwach stanowi istotny element wzbogacania wiedzy o rozpatrywanych organizacjach gospodarczych. Podstawowym problemem podczas formalnego modelowania procesów biznesowych zachodzących w przedsiębiorstwach jest właściwe przedstawienie struktury organizacyjnej. Wykorzystywane mogą być do tego celu rozmaite techniki od opisowych do kompletnie sformalizowanych. Przewagi tych ostatnich są oczywiste. Model przedsiębiorstwa opisuje główne składniki, cele, procesy w organizacji oraz wzajemne relacje zachodzące między nimi. Przedstawia on wiedzę organizacji o samej sobie. Przez organizację należy rozumieć szerokie spektrum od jednoosobowego warsztatu rzemieślniczego do olbrzymiej grupy przedsiębiorstw. Tak samo poziom uszczegółowienia modelu zależy głównie od celu modelowania. Badania nad procesami biznesowymi osiągnęły już taki stopień zaawansowania, że stwarza to podstawy do podjęcia próby przedstawienia teorii formalnej procesów biznesowych opartej o system aksjomatów. Przy konstrukcji teorii szczegółowej należy zastosować ogólne zasady budowy systemu aksjomatycznego. (abstrakt oryginalny)