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

Abstract

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 web network 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.