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

  • Jan Czopik
  • Michael Alexander Košinár
  • Jakub Štolfa
  • Svatopluk Štolfa
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 303)


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.


software process formal methods UML formalization Activity Diagram CPN 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aalst, W.M.P., van der Hee, K.M., van Houben, G.J.: Modeling Workflow Management Systems with High-Level Petri-Nets, In G. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Proceedings of the Second Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, pp. 31–50 (1994)Google Scholar
  2. 2.
    Brooks, F.P.: No Silver Bullet - Essence and Accidents of Software Engineering (reprinted form information processing 86, 1986). Computer 20(4), 10–19 (1987)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Du, Z., Yang, Y., Xu, J., Wang, J.: Mapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar (2011)Google Scholar
  4. 4.
    Jennings, N.R., Faratin, P., Norman, T.J., O’Brien, P., Odgers, B.: Autonomous agents for business process management. International Journal of Applied Artificial Intelligence 14(2), 145–189 (2000)CrossRefGoogle Scholar
  5. 5.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets: modelling and validation of concurrent systems. Springer, Dordrecht (2009) ISBN 978-3-642-00283-0Google Scholar
  6. 6.
    Jung, K., Joo, S.: Transformation of an activity model into a Colored Petri Net model (2010)Google Scholar
  7. 7.
    Kammer, P.J., Bolcer, G.A., Taylor, R.N., Hitomi, A.S., Bergman, M.: Techniques for supporting dynamic and adaptive workflow. Computer Supported Cooperative Work 9(3-4), 269–292 (2000)CrossRefGoogle Scholar
  8. 8.
    Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Computer Supported Cooperative Work 9(3-4), 399–412 (2000)CrossRefGoogle Scholar
  9. 9.
    Kowalski, T.: Net Verifier of Discrete Event System models expressed by UML Activity Diagrams (2006)Google Scholar
  10. 10.
    Luati, A., Jerad, C., Barkaoui, K.: On CPN-based Verification of Hierarchical Formalization of UML 2 Interaction Overview Diagrams (2013)Google Scholar
  11. 11.
    Narendra, N.C.: Flexible support and management of adaptive workflow processes. Information Systems Frontiers 6(3), 247–262 (2004)CrossRefMathSciNetGoogle Scholar
  12. 12.
    OMG. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2 (2007) (online) Google Scholar
  13. 13.
    Raffo, D.M.: Modeling software processes quantitatively and assessing the impact of potential process changes on process performance. Carnegie Mellon University (1996)Google Scholar
  14. 14.
    Staines, T.S.: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets (2008)Google Scholar
  15. 15.
    Vergidis, K., Tiwari, A., Majeed, B.: Business Process Analysis and Optimization: Beyond Reengineering. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 38(1), 69–82 (2008)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Jan Czopik
    • 1
  • Michael Alexander Košinár
    • 1
  • Jakub Štolfa
    • 1
  • Svatopluk Štolfa
    • 1
  1. 1.VSB - Technical University of OstravaOstravaCzech Republic

Personalised recommendations