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

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.

[1]  N. C. Narendra.  Flexible Support and Management of Adaptive Workflow Processes , 2004, Inf. Syst. Frontiers.

[2]  Richard N. Taylor,et al.  Techniques for Supporting Dynamic and Adaptive Workflow , 2000, Computer Supported Cooperative Work (CSCW).

[3]  Tony Spiteri Staines.  Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[4]  Ashutosh Tiwari,et al.  Business Process Analysis and Optimization: Beyond Reengineering , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[5]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[6]  Hyo Taeg Jung,et al.  Transformation of an activity model into a Colored Petri Net model , 2010, Trendz in Information Sciences & Computing(TISC2010).

[7]  David Raffo,et al.  Modeling software processes quantitatively and assessing the impact of potential process changes on process performance , 1996 .

[8]  Geert-Jan Houben,et al.  Modeling workflow management systems with high-level Petri nets , 1994 .

[9]  Qing Li,et al.  Unified Modeling Language , 2009 .

[10]  Nicholas R. Jennings,et al.  Applied Artificial Intelligence: An International Journal , 2022 .

[11]  Kamel Barkaoui,et al.  On CPN-based verification of hierarchical formalization of UML 2 Interaction Overview Diagrams , 2013, 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO).

[12]  Tomasz Kowalski.  Net Verifier of Discrete Event System models expressed by UML Activity Diagrams , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

[13]  Mark Klein,et al.  A Knowledge-based Approach to Handling Exceptions in Workflow Systems , 2011, Computer Supported Cooperative Work (CSCW).

[14]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .