On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models

Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani. On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. JSW, 5(11):1279-1291, 2010. [doi]

Abstract

Abstract is missing.