Basic Mechanisms of the Formal Knowledge Representation for the Information Searching Tool for Process Modeling
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Basic Mechanisms of the Formal Knowledge Representation for the Information Searching Tool for Process Modeling
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Advances in Intelligent Systems and Computing. Volume 303
ISBN
978-3-319-08155-7
ISSN
2194-5357
e-ISSN
—
Number of pages
10
Pages from-to
333-342
Publisher name
Springer-Verlag Berlin Heidelberg
Place of publication
Berlin Heidelberg
Event location
Ostrava
Event date
Jun 23, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000342841800033