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.
Keywordssoftware process formal methods UML formalization Activity Diagram CPN
Unable to display preview. Download preview PDF.
- 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
- 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
- 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.Jung, K., Joo, S.: Transformation of an activity model into a Colored Petri Net model (2010)Google Scholar
- 9.Kowalski, T.: Net Verifier of Discrete Event System models expressed by UML Activity Diagrams (2006)Google Scholar
- 10.Luati, A., Jerad, C., Barkaoui, K.: On CPN-based Verification of Hierarchical Formalization of UML 2 Interaction Overview Diagrams (2013)Google Scholar
- 12.OMG. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2 (2007) (online) Google Scholar
- 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.Staines, T.S.: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets (2008)Google Scholar