Basic Mechanisms of the Formal Knowledge Representation for the Information Searching Tool for Process Modeling

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86092997" target="_blank" >RIV/61989100:27240/14:86092997 - isvavai.cz</a>

Výsledek na webu

<a href="http://link.springer.com/chapter/10.1007%2F978-3-319-08156-4_33" target="_blank" >http://link.springer.com/chapter/10.1007%2F978-3-319-08156-4_33</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-08156-4_33" target="_blank" >10.1007/978-3-319-08156-4_33</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Basic Mechanisms of the Formal Knowledge Representation for the Information Searching Tool for Process Modeling

Popis výsledku v původním jazyce

Formal modeling of the processes is an issue that has its practical consequences. It could provide us enormous benefits that will solve many problems of the semi-formal modeling. Our intention is to develop a solution that will be able to be used as a tool that provides powerful searching mechanism of the modeled environment. That tool will be used as easily as any other informal or semi-formal approaches. Since the software development process is the area that might effectively use the benefits of formal approaches, we use it as an environment for the development of our method. In this paper we focus on the description and implementation of the necessary modeling mechanisms in the PROLOG language and provide a demonstration of the essential benefits of such an approach. Springer International Publishing Switzerland 2014.

Název v anglickém jazyce

Basic Mechanisms of the Formal Knowledge Representation for the Information Searching Tool for Process Modeling

Popis výsledku anglicky

Formal modeling of the processes is an issue that has its practical consequences. It could provide us enormous benefits that will solve many problems of the semi-formal modeling. Our intention is to develop a solution that will be able to be used as a tool that provides powerful searching mechanism of the modeled environment. That tool will be used as easily as any other informal or semi-formal approaches. Since the software development process is the area that might effectively use the benefits of formal approaches, we use it as an environment for the development of our method. In this paper we focus on the description and implementation of the necessary modeling mechanisms in the PROLOG language and provide a demonstration of the essential benefits of such an approach. Springer International Publishing Switzerland 2014.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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 statě ve sborníku

Advances in Intelligent Systems and Computing. Volume 303

ISBN

978-3-319-08155-7

ISSN

2194-5357

e-ISSN

—

Počet stran výsledku

10

Strana od-do

333-342

Název nakladatele

Springer-Verlag Berlin Heidelberg

Místo vydání

Berlin Heidelberg

Místo konání akce

Ostrava

Datum konání akce

23. 6. 2014

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000342841800033