Addition of Static Aspects to the Intuitive Mapping of UML Activity Diagram to CPN

Software process is a core of every software company and even in cases the processes are not documented they are still there. The cases when the process must be documented raise the need of powerful process framework, methodology, and tools that are able to catch every process aspect. Our current research focuses on creation of formal software process framework that combines mathematically precise approaches like OWL and Petri Nets with semi-formal techniques based on UML that make the framework easy to understand and use. Our recent results discussed the tools covering the modeling of dynamic process aspects with Colored Petri Nets transformed from UML activity diagrams. This paper presents the results by incorporating static aspects in the process of SP modeling and its simulations including resources, artifacts, and workers.

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

[2]  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).

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

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

[5]  Svatopluk Stolfa,et al.  Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN , 2014, IBICA.

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

[7]  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).

[8]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[9]  Svatopluk Stolfa,et al.  Knowledge Support for Software Processes , 2010, EJC.

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

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

[12]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction , 1998 .

[13]  Dean Allemang,et al.  Chapter 2 – Semantic Modeling , 2008 .

[14]  John A. Miller,et al.  Ontology Based Representations of Simulation Models Following the Process Interaction World View , 2006, Proceedings of the 2006 Winter Simulation Conference.

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

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

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

[18]  Dean Allemang,et al.  Semantic Web for the Working Ontologist - Effective Modeling in RDFS and OWL, Second Edition , 2011 .

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

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