TRANSFORMING UML DIAGRAMS TO COLOURED PETRI NETS

Abstract

UML is a graphically based language to specify, visualize, construct, and document the requirements of software systems. UML is defined informally. We need a well- defined semantic base for better analysis and application. Place/Transition nets (P/T-nets) and Coloured Petri Nets are two of the most useful languages for modelling of systems containing concurrent processes. P/T-nets axe low-level Petri nets, whose tokens contain very simple information. Coloured Petri Nets (CP-nets) are high-level Petri nets. Each token of CP-nets can carry many attributes. CP-nets have a well-defined semantics allowing formal description. The main purpose of this thesis is to proposed a set of transitions rules, which can transform UML graphs into the Coloured Petri Nets. These rules can be used to describe and analyse concurrent systems. The verification scheme and some examples to support the method axe provided.