Formální logika podnikových pravidel

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62156489%3A43110%2F07%3A00113398" target="_blank" >RIV/62156489:43110/07:00113398 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Formální logika podnikových pravidel

Popis výsledku v původním jazyce

Identifikace rozšíření a inovací v oblasti informačních a komunikačních tecnologií má v naší znalostmi řízené společnosti. Pravidla definují omezení, podmínky a způsob řízení podnikových procesů, ovlivňují chování zdrojů a mají vliv na strategické cíle ajejich dosažení. Kontrolují podnik a představují podnikovou znalost. výzkumy o pravidlech v podniku ukazují jak specifikovat a klasifikovat podniková pravidla. 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. 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é. Příspěvek se zabývá využitím predikátové logiky pro formalizaci a sofistikovaný

Název v anglickém jazyce

The Formal Logic In Business Rules

Popis výsledku anglicky

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 shows 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 e

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis

ISSN

1211-8516

e-ISSN

—

Svazek periodika

6

Číslo periodika v rámci svazku

LV

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

8

Strana od-do

133-140

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—