A UML rule-based approach for describing and checking dynamic software architectures. - Mohammed Nadhmi Miladi; Mohamed Hadj Kacem; Achraf Boukhris; Mohamed Jmaiel; Khalil Drira (AICCSA, 2008)