Formalization of Software Process Using 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%2F14%3A86090974" target="_blank" >RIV/61989100:27240/14:86090974 - isvavai.cz</a>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN
Original language description
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.
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
365-374
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
000342841800036