Acta Univ. Agric. Silvic. Mendelianae Brun. 2007, 55(6), 133-140 | DOI: 10.11118/actaun200755060133
FORMÁLNÍ LOGIKA PODNIKOVÝCH PRAVIDEL
- Ústav informatiky, Mendelova zemědělská a lesnická univerzita v Brně, Zemědělská 1, 613 00 Brno, Česká republika
Podniková pravidla určují ceny, schvalovací procesy a organizační odpovědnosti, jejich prostřednictvím lze významně ovlivnit podnikové procesy v organizaci. Je proto překvapující, že v mnoha organizacích se během dokumentace procesů podniková pravidla často opomíjejí nebo se jim nevěnuje odpovídající pozornost. Zůstávají tak uložena pouze v hlavách zaměstnanců či v IT systémech. Potřebné změny těchto pravidel se pak poměrně komplikovaně implementují do informačních systémů nehledě na existenci a vliv pravidel, která v informačních systémech implementována být nemohou. Ta často zůstanou v hlavách odpovědných osob nebo se šíří ústním podáním.
Snaha o podporu standardních podnikových modelů matematickým aparátem je zřejmá a atraktivní, vysvětlit a aplikovat matematické frameworky na složitější podniková pravidla je však velmi náročné. Pro realizaci tohoto záměru existuje několik přístupů v různém stupni komplexnosti a detailu často určených pro omezený okruh odborníků teoretiků s matematickými znalostmi. Problém je také v tom, že opravdové matematické množiny i vztahy jsou statické a dané jednou provždy, zatímco skutečný svět a jeho množiny a vazby jsou proměnlivé a skládají se z proměnných objektů. Pomocí matematického frameworku lze všechny sémantické konstrukty vysvětlit a formálně specifikovat. V podnicích jsou ale málo využívané.
Výjimku tvoří rozhodovací tabulky. Ty v praxi své uplatnění najdou, především pokud jsou komplexní a propracované v několika dimenzích, jak ukazuje logistický příklad v tomto příspěvku. Tento přístup není revoluční ani převratný, pro popis znalostí se využívá běžně, jde o způsob logický a intuitivní i externímu nebo laickému čtenáři srozumitelný.
podnikové pravidlo, podniková znalost, OCL, Inferenční pravidlo, rozhodovací tabulka, predikátová logika, formalizace podnikového pravidla
The formal logic of business rules
Identification of improvement areas and utilization of information and communication technologies have gained value and priority in our knowledge driven society. Rules define constraints, conditions and policies of how the business processes are to be performed but they also affect the behavior of the resource and facilitate strategic business goals achieving. They control the business and represent business knowledge. The research works about business rules show how to specify and classify business rules from the business perspective and to establish an approach to managing them that will enable faster change in business processes and other business concepts in all areas of the business. In concrete this paper deals with four approaches to business rules formalization, i. e. notation of OCL, inference rules, decision table and predicate logic and with their general evaluation. The article shows also the advantages and disadvantages of these approaches of formalization. They are the example of every mentioned approach.
Keywords: business rules, business knowledge, OCL, inference rule, decision table, predicate logic, business rule formalization
Received: June 30, 2007; Published: November 19, 2014 Show citation
References
- ERIKSSON, H., PENKER, M. (2000): Business Modeling with UML, Adison Wesley, 2000
- RÁBOVÁ, I.: Formalizace základních podnikových znalostí a UML, Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2005, sv. LIII, č. 6, s. 165-171, ISSN 1211-8516. DOI: 10.11118/actaun200553060165
Go to original source... - RÁBOVÁ, I.: The Formalisation of Knowledge in Agricultural Industry Business Process, Agricultural Economics, 2005, sv. 51, č. 7, s. 53-58, ISSN 0139-570X. Go to original source...
- RÁBOVÁ, I.: Formalizace transakcí v podnikových procesech, In Sborník příspěvků Firma a konkurenční prostředí 2005, Brno, 2005, s. 50-55, ISBN 80-7302-097-1.
- RÁBOVÁ, I.: Formalizace v logistice, In: Sborník příspěvků Informatika XVII/2005, Karlov, 2005, s. 180-189, ISBN 80-7302-110-2.
- RÁBOVÁ, I.: The modeling and formalization of common business process knowledge, In: BICABR 2005, Peking: UIBE Univerzita v Pekingu, 2005, s. 100-110, ISBN 7-900-177-73-6.
- RÁBOVÁ, I.: Business Rules in agricultural area, Agricultural Economics, 2006, sv. 51, č. 6, ISSN 0139-570X Go to original source...
- RÁBOVÁ, I.: Objektové modelování znalostí a znalostní management, In Sborník příspěvků Medzinárodné vedecké dni 2006, Nitra, elektronický zdroj, ISBN 80-8069-704-3.
- RÁBOVÁ, I.: Podniková architektura, analýza, modelování a význam pro řízení podniku, Habilitační práce, PEF MZLU v Brně, 2006
- (ROSS, 2006): http://www.brcommunity.com/index.php [cit. 20.10.2005]
This is an open access article distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0), which permits non-comercial use, distribution, and reproduction in any medium, provided the original publication is properly cited. No use, distribution or reproduction is permitted which does not comply with these terms.