Konzistence podnikových procesů vyjádřená formálním aparátem transakcí.
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62156489%3A43110%2F05%3A00007516" target="_blank" >RIV/62156489:43110/05:00007516 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Konzistence podnikových procesů vyjádřená formálním aparátem transakcí.
Popis výsledku v původním jazyce
V příspěvku je uvedena původní formalizace pojetí komplexní transakce (sekvence objek-tové spolupráce) a její cesty. Podnikové procesy jsme nahradili pomocí transakcí a převedli jsme konzistenci procesů na konzistenci transakcí. Zavedli jsme pojmy "průchod cestou", "proveditelnost cesty" a formulovali podmínky, na základě kterých jsou problémy "průchod" a "proveditelnost" rozhodnutelné. Je zavedena korektnost cesty, když je cesta průchozí a rea-lizovatelná. Na základě korektnosti všech cest dané transakce je tato prohlášena za korektní a tedy bezesporná. Verifikace komplexní transakce je navržena v interakci s analytikem, proto-že řešení obou systémů Ha(qi) a Na(fi) pro všechny cesty transakce je obecně velmi obtížné. Ukazuje se také, jak pomoci analytikům při verifikaci sjednoceného modelu transakcí a ko-lekce diagramů stavů tříd pomocí užitečného testeru.
Název v anglickém jazyce
Enterprise process consistency expressed by a formal description of transaction.
Popis výsledku anglicky
This article introduces a formal description of the Object Cooperation Logic. Therefore there is defined not only an elementary transaction feasibility but also an elementary object coop-eration feasibility. It enables to search the feasibility of certain strings of elementary transac-tions and elementary object collaborations. One string of elementary transactions is very often regarded as a path. There are found two different systems of state logical equations. The first describes path transaction feasibility and the second path object cooperation feasibility. The functional correctness of any complex transaction is founded on a functional correctness of all its paths.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JU - Aeronautika, aerodynamika, letadla
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2005
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ů
Údaje specifické pro druh výsledku
Název periodika
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis
ISSN
1211-8516
e-ISSN
—
Svazek periodika
13
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
9
Strana od-do
117-125
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—