Łączona logika epistemiczna i deontyczna w modelowaniu procesów biznesowych

• Autorzy: Stanisław Kędzierski

Warianty tytułu

Combined Epistemic and Denotic Logics in Business Process Modelling

• Języki publikacji: PL

Abstrakty

Podczas projektowania, a następnie wykonywania procesów biznesowych istotnym problemem jest zapewnienie spójności projektu oraz poprawności jego realizacji. Procesy biznesowe mogą być opisywane za pomocą wielu narzędzi. Spektrum możliwych notacji rozciąga się od formalnych, takich jak logika, sieci Petri, poprzez graficzne z dobrze określoną "składnią", takich jak BPMN, czy UML aż po opisy w postaci instrukcji napisanej w języku naturalnym. Wśród wymienionych narzędzi na szczególną uwagę zasługują logiki modalne. Do podstawowych logik modalnych można zaliczyć: deontyczną, temporalną i epistemiczną. Logiki te są wykorzystywane do modelowania procesów biznesowych. Celem niniejszego artykułu jest przedstawienie możliwości wykorzystania logik: epistemicznej oraz deontycznej do opisu procesów biznesowych, ze szczególnym uwzględnieniem wykrywania niespójności w modelu lub podczas realizacji procesu. (fragment tekstu)

EN

The aim of this article is present new approach to modeling business process using combined epistemic and deontic logics. Combined deontic-epistemic logic is used during modeling time and combined epistemic-deontic logic during execution time. The sketch of algorithm of detecting inconsistencies in business process model and execution is presented. (original abstract)

Słowa kluczowe

PL

Modelowanie procesów biznesowych; Procesy biznesowe; Logika; Algorytmy

EN

Business Process Modeling; Business processes; Logic; Algorithms

• Czasopismo: Studia Ekonomiczne / Uniwersytet Ekonomiczny w Katowicach
• Rocznik: 2014
• Numer: nr 199 Technologie wiedzy w zarządzaniu publicznym 2013
• Strony: 107--114

Twórcy

autor

Stanisław Kędzierski

• Uniwersytet Ekonomiczny w Katowicach

Bibliografia

• Blackburn P., de Rijke M., Why Combine Logics, "Studia Logica" 1997, Vol. 59.
• Business Process Modeling Notation (BPMN) Specification Final Adopted Specification dtc/06-02-01.
• Deontic Logic in Computer Science, eds. J. Meyer, R. Wieringa, John Wiley, Chichester 1993.
• Epistemic Logic for AI and Computer Science, eds. J. Meyer, W. van der Hoek, Cambridge University Press 1995.
• Hollingsworth D., Workflow Management Coalition The Workflow Reference Model, Document Number TC00-1003 Document Status - Issue 1.1 19-Jan-95.
• Kędzierski S., Modelowanie działania agentów w procesie biznesowym z wykorzystaniem logiki epistemicznej [w:] Technologie wiedzy w zarządzaniu publicznym'11, red. J. Gołuchowski, A. Frączkiewicz-Wronka. Wydawnictwo Akademii Ekonomicznej, Katowice 2011.
• Reisig W., Sieci Petriego, WNT, Warszawa 1988.
• Suchoń W., Studia nad logiką deontyczną, Wydawnictwo Uniwersytetu Jagiellońskiego, Kraków 1983.
• Wrycza S., Marcinkowski B., Wyrzykowski K., Język UML 2.0 w modelowaniu systemów informatycznych, Helion, Gliwice 2006.
• Ziemba Z., Analityczna teoria obowiązku. Studium z logiki deontycznej, PWN, Warszawa 1983.