Verification and validation of UML 2.0 sequence diagrams using colored Petri nets

摘要: One of the major challenges in software development process is improvement error detection early phases life cycle. If detected at design phase before implementation, quality will acceptably be increased. For this purpose, Verification and Validation UML diagrams play a very important role detecting flaws phase. This paper presents technique for one most popular diagrams: sequence diagrams. The proposed approach creates an executable model from interactions expressed using colored petri nets uses CPN Tools to simulate execution verify properties written standard ML. In approach, we have used diagram elements including massages, send/receive events source/destination messages terms boolean expression over elements. main contribution work provide efficient mechanism able track state interaction diagram. obtained results show that reduces impressively probability errors appearance implementation therefore, sofware can more reliable end process.