Return to Article Details A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams Download Download PDF