Simplified bi-directional transformation of UML activities into Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Time properties dedicated transformation from UML-MARTE activity to time transition system
ACM SIGSOFT Software Engineering Notes
Defining variability in activity diagrams and Petri nets
Science of Computer Programming
| Hi-index | 0.00 |
To enhance formal analysis, activity diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the elements of activity diagrams and MARTE stereotypes are proposed respectively. The rules to map pin nodes and object flows to Petri nets are presented. These nodes can improve activity diagrams’ modeling abilities for complicated systems. The reaching of any final nodes will stop all the flows in an activity. A method to map final nodes into Petri nets preserving this semantics is also presented with the help of inhibitor arcs. The data related issues are processed through colored properties in the TCPNIA model, guard functions and operational functions.