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”

Addition of static aspects to the intuitive mapping of UML activity diagram to CPN

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F15%3A86096759" target="_blank" >RIV/61989100:27240/15:86096759 - isvavai.cz</a>

  • Result on the web

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

  • DOI - Digital Object Identifier

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

Alternative languages

  • Result language

    angličtina

  • Original language name

    Addition of static aspects to the intuitive mapping of UML activity diagram to CPN

  • Original language description

    Software process is a core of every software company and even in cases the processes are not documented they are still there. The cases when the process must be documented raise the need of powerful process framework, methodology, and tools that are ableto catch every process aspect. Our current research focuses on creation of formal software process framework that combines mathematically precise approaches like OWL and Petri Nets with semi-formal techniques based on UML that make the framework easy tounderstand and use. Our recent results discussed the tools covering the modeling of dynamic process aspects with Colored Petri Nets transformed from UML activity diagrams. This paper presents the results by incorporating static aspects in the process ofSP modeling and its simulations including resources, artifacts, and workers.

  • 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

    2015

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

  • ISBN

    978-3-319-13571-7

  • ISSN

    2194-5357

  • e-ISSN

  • Number of pages

    10

  • Pages from-to

    77-86

  • Publisher name

    Springer

  • Place of publication

    Basel

  • Event location

    Addis Ababa

  • Event date

    Nov 17, 2014

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article

    000357860700006