Formalization of Software Process Using 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%2F14%3A86090974" target="_blank" >RIV/61989100:27240/14:86090974 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN

Popis výsledku v původním jazyce

In the last decades we have got used to software applications and services being everywhere and working for us, improving our lives. Even though sometimes they fail to work as desired. The situation may be caused by many root causes including mainly webnetwork overload, data outages, etc. Even though the computer science world offers many specification methods, standards, generic software processes, best practices and languages, the problem is still here. Formal based models and tools are not widely used because they are not intuitive. Instead of that semiformal models are used. Main problem is then its lack of truly formal definition. This paper presents conversion process of UML activity diagram to the CPN that is formally defined modeling language.Goal of this paper is to introduce modeling and conversion method and the software tool that is based on intuitive mapping rules. Springer International Publishing Switzerland 2014.

Název v anglickém jazyce

Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN

Popis výsledku anglicky

In the last decades we have got used to software applications and services being everywhere and working for us, improving our lives. Even though sometimes they fail to work as desired. The situation may be caused by many root causes including mainly webnetwork overload, data outages, etc. Even though the computer science world offers many specification methods, standards, generic software processes, best practices and languages, the problem is still here. Formal based models and tools are not widely used because they are not intuitive. Instead of that semiformal models are used. Main problem is then its lack of truly formal definition. This paper presents conversion process of UML activity diagram to the CPN that is formally defined modeling language.Goal of this paper is to introduce modeling and conversion method and the software tool that is based on intuitive mapping rules. 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

365-374

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

000342841800036