Software System Behavior Can Be Analyzed with Visual Analytics
Enterprise software systems are usually large and complex. They can have complicated architecture and millions of different states. It is difficult to imagine a process of designing new software system or analysis of developed system without various modeling techniques. Visual presentation of the software system structure and behavior provides possibilities which can facilitate better analysis. Graphical notation of the Petri net formalism is often used for software system description. An extension of Petri net is the high-level Petri net formalism can be successfully used for the description of modular software systems. There are a lot of related tools that can be used for “static” visualization of high-level Petri net. The current work considers possible methods of dynamic visualization of high-level Petri nets which describe software system from behavioral perspective.