Performance Analysis For Software Based On Colored Petri Nets

With the rapid development and the more application of computer, the software scale is extending day and day, and the requirement to software system is continuously improved. The development of software system has been an arduous and complicated task, and people have taken more attention to the requirement and verification of performance. Recently, the performance engineering of software development is proposed, that is extracting data to be a simulation model during the system designing process, and simulating the achieved system, and the dependability and performance of the system, such as response time, throughout, activity, etc. are evaluated as well as the result of analysis is feed back to the designing process. And then the defect being in designing process could be detected, and the reforming action could be proposed, for hoping to get the software system with high quality that required by the customer.Most of the performance analysis models that proposed recently have the limitation of application condition and extent, and they could not meet the requirement of complex application environments. For the explosion problem of state space, these modes could not be used to analyze the complex system, and even it is difficult to be realized. Performance analysis mode of software is usually a randomized procedure formally, and as a result, time is more important than defining the logicality of the dynamic operation when analyzing performance. Colored Petri net is a powerful tool for system modeling and analyzing in realm of performance evaluation. For CPN is with a view to the various changes of state and the connection between the changes in the system, and it is not only contributory to understand the dynamic behavior of the mode qualitatively but also to calculate the performance index quantificationally. As an advanced Petri net, it combines the program language and Petri net, so its ability of data declaration and processing is strengthened, and the"state space explosion"is controlled effectively. This paper is mainly study how to use colored Petri net to evaluate the performance of software systems'UML mode. The main research points are as follows:1. The characteristics and the application limitation of common Petri net are analyzed; the mode advantage and dynamic attribute of colored Petri net are introduced; the constructing method of colored Petri net is proposed; and then the performance analysis tool—CPN tools is introduced.2. The performance methods that frequently-used currently are analyzed, and there limitation are advanced; the advantage of colored Petri net in performance evaluate are studied, and then the two performance evaluate method are explained by an example.3. The characteristics of UML diagram and the new characteristics of UML 2.0 are introduced, and the alternation ability of UML2.0 sequential diagram is analyzed emphatically; the extending method for UML SPT to sequential diagram is advanced, and with introducing the performance analysis parameters, such as time, resource, etc, it has more the performance describing ability.4. The new regulation of transforming from UML2.0 example diagram and the extended sequential diagram to colored Petri net is proposed, and with the arrangement mode method from top level to under lever, the mode that transformed is conformed to a uniform executable model of colored Petri net, this could control the problem of state space explosion, and is propitious to divided work cooperation and browsing, at last, the validity and feasibility are explained by examples.