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

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

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í

2015

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 334

ISBN

978-3-319-13571-7

ISSN

2194-5357

e-ISSN

—

Počet stran výsledku

10

Strana od-do

77-86

Název nakladatele

Springer

Místo vydání

Basel

Místo konání akce

Addis Ababa

Datum konání akce

17. 11. 2014

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

WRD - Celosvětová akce

Kód UT WoS článku

000357860700006