Modelling UML sequence diagrams with aspect-oriented extended petri nets

摘要

This paper defines mapping rules from UML sequence diagrams to Aspect-Oriented Data Concerned Petri Nets (AODCPNs). Each mapping rule for one type of element in a sequence diagram is defined both in graphical and formal syntax forms. Algorithms for aspects automatically generating from messages events are proposed. Weaving rules are used for composing data concerned Petri nets. Composing algorithms are proposed based on aspects and weaving rules. A case study shows the applicability and feasibility of our method.