03863ntm a22005417a 4500 000175257 CZ-PrVSE 20110620175452.0 m d cr n|||||||||| 110620s2009 xr fsbm 000 0 eng d NEZPRACOVANÝ IMPORT ABA006 cze ABA006 ABA006 Panuška, Martin ISIS:8769 dis Business Process Modeling [elektronický zdroj] : A Logical Perspective / Martin Panuška 2009 ?? s. : digital, PDF soubor Vedoucí práce: Václav Řepa Obsahuje bibliografii Textový (vysokoškolská kvalifikační práce) In the master's thesis we are concerned with the logical perspective on business process model-ing. The logical perspective on business process modeling has several advantages. First, being a formal logical system, first-order logic let us thoroughly understand the foundations of process modeling. Second, after we understand the logical foundations of business process modeling, we are free to build a BPM language based entirely on logic, or map an existing language onto logic, which may be useful for artificial reasoning. Third, if the business process model is mapped to logic (or another declarative language) it can be easily stored in a declarative knowledge base. Forth, logic based process models can be used in companies as a basis for knowledge manage-ment. And fifth, the science of logic offers a number of various semantic enhancements, which can be used in favor of better business process modeling expressiveness. The first objective of the thesis is to perform a thorough review of the literature of both our fields -- the business process modeling and temporal logic. The related second objective is to study the ability of logic to represent processes and the notion of time in general, and to offer techniques for logical process representation. Subsequently, the examples should be provided in order to present that the selected techniques are capable of performing what is sketched in the first paragraph. The third objective is to propose improvements of the current business process modeling approach and provide relevant examples. Eventually, means of extending the tech-niques presented can be proposed, too. The major contribution of the thesis is that it constitutes a reasonable basis for further research in the chosen field. For novices or even experienced in the subject it represents a good stepping stone. Způsob přístupu: Internet Diplomová práce (Ing.)—Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky, 2010 Rok obhajoby 2010 bpmn conceptual graph interval algebra event calculus ontology temporal logic business process modeling informační systémy a technologie [obor dipl. práce] diplomové práce fd132022 czenas master's theses eczenas Řepa, Václav, 1958- skuk0004940 ths Svatoš, Oleg xx0115744 opn Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky kn20010709399 https://isis.vse.cz/zp/13140/podrobnosti VŠKP v InSIS https://isis.vse.cz/zp/13140 Hlavní práce https://isis.vse.cz/zp/13140/posudek/vedouci Hodnocení vedoucího https://isis.vse.cz/zp/13140/posudek/oponent/9678 Oponentura http://isis.vse.cz/zp/77265/podrobnosti dc:identifier NEPOSILAT VSKP 77265 vse13140 110325 md5 77265 b53a143bb4ed8d29e43fec910f651807