Analysis of Design Level Defects Based On PetriNet Model
Software designs must be evaluated in software development process so as to avoid bugs and unsatisfactory performances. Concerning performance and real-time properties modeling, OMG specified the UML (Unified Modeling Language) profile for schedulability, Performance and Time Specification (SPT). UML is the standard OO (Object Oriented) modeling language system, but UML is too static to model the performance. It is not able to capture dynamic nature of system. So here the authors are using Petri Nets to capture dynamic nature of the system for UML use case diagrams and collaboration diagrams. First they draw the UML use case diagrams and collaboration diagrams with SPT (i.e. performance information) and then convert them into executable Petri Net models.