Modelowanie procesów biznesowych w logikach nieklasycznych

• Autorzy: Stanisław Kędzierski
• Języki publikacji: PL

Abstrakty

Istnieje wiele sposobów modelowania rzeczywistości. Rodzaj modelu zależy od celu jakiemu ma ono służyć. Także narzędzia jakich używa się w tym procesie zależą nie tylko od temperamentu osoby modelującej ale także od celów modelowania. Przykładowo jeśli interesują nas aspekty ilościowe stosowane powinny być techniki obliczeniowe (programowanie liniowe, metody optymalizacyjne itp.) A jeśli jakościowe właściwym byłoby wykorzystanie narzędzi jakościowych (logiki). Przedmiotem zainteresowania informatyków gospodarczych są instytucje i zachodzące w nich procesy. W procesie biznesowym uczestniczą agenci, którzy wykonują określone właściwe im czynności w wyniku których osiągany jest cel procesu. Agenci ci winni wykonać określone czynności we właściwej kolejności i we właściwym czasie. Do opisu rzeczywistości logika stosuje wiele narzędzi rozpoczynając od logiki klasycznej. Jeśli trzeba modelować obiekty więcej niż jednego typu wprowadzana jest logika, która modeluje wiele typów (ang. Many sorted logie). Logiki stosowane w modelowaniu procesu biznesowego (epistemiczna czyli logika wiedzy, temporalna oraz deontyczna) są logikami modalnymi posiadającymi swe korzenie w filozofii. Konstrukcja modelu będzie więc wieloetapowa powinna obejmować takie składowe cząstkowe modelowanej rzeczywistości jak: • agenci, • struktura, • powinności każdego z agentów, • wiedza o faktach, • proces, • zależności czasowe. Celem niniejszego artykuł jest odpowiedź na pytanie czy można stosować logikę (logiki nieklasyczne) do modelowania procesów biznesowych a także przedstawienie złożoności procesu modelowania procesów biznesowych zachodzących w instytucjach. Zostanie zaprezentowana procedura włączania kolejnych logik nieklasycznych w już istniejący model celem odpowiedzi na pojawiające się pytania i wzbogacenia modelu. (fragment tekstu)

Słowa kluczowe

PL

Modelowanie procesów biznesowych; Logika

EN

Business Process Modeling; Logic

• Czasopismo: Prace Naukowe / Akademia Ekonomiczna w Katowicach
• Rocznik: 2005
• Tom: Systemy wspomagania organizacji SWO'2005
• Strony: 426--432

Twórcy

autor

Stanisław Kędzierski

• Akademia Ekonomiczna im. Karola Adamieckiego w Katowicach

Bibliografia

• Kędzierski S.: Checking correctness of business processes spcecification in action logic, [in:] Abramowicz W., Orłowska M. /eds/ BIS 2000 4th International Conference on Business Information Systems, Poznań, Poland, 12 - 13 April 2000, Springer-Verlag 2000
• Kędzierski S.: Formalne metody opisu komunikacji biznesowej. W: Gołuchowski J., Sroka H. /red./ Systemy Wspomagania Organiganizacji SWO'2001, Katowice 2001 Prace Naukowe AE
• Marciszewski W.: Modalność. [w:] Marciszewski W. /red./ Logika formalna Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki. PWN Warszawa 1987
• Ziemba Z.: Logika deontyczna. [w:] Marciszewski W. /red./ Logika formalna Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki. PWN Warszawa 1987