All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Introduction to integration of the process mining to the knowledge framework for software processes

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F16%3A86096916" target="_blank" >RIV/61989100:27240/16:86096916 - isvavai.cz</a>

  • Result on the web

    <a href="http://link.springer.com/chapter/10.1007%2F978-3-319-29504-6_4" target="_blank" >http://link.springer.com/chapter/10.1007%2F978-3-319-29504-6_4</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1007/978-3-319-29504-6_4" target="_blank" >10.1007/978-3-319-29504-6_4</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Introduction to integration of the process mining to the knowledge framework for software processes

  • Original language description

    Systems started to be more process oriented during last decades. The knowledge has moved from humans to systems and systems has more and more knowledge about the process. This paper presents an approach to the integration of the process mining to the process modeling supported by the formal layer. The process is modeled by framework that allows selection and formal description of the applicable meta-model parts, formally define process prescription and then model the process by graphical language. Process is executed and logs are stored. The presented process mining part of the framework then can discover the de facto process model, can check the differences between de facto and de jure model, can enhance de jure model according to the findings.

  • 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

    2016

  • 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 427

  • ISBN

    978-3-319-29503-9

  • ISSN

    2194-5357

  • e-ISSN

  • Number of pages

    11

  • Pages from-to

    21-31

  • Publisher name

    Springer Verlag

  • Place of publication

    London

  • Event location

    Paříž

  • Event date

    Sep 9, 2015

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article

    000371912400004