Une approche de transformation des processus métiers BPMN vers les diagrammes d’activités UML basée sur la transformation de graphes

A Formal Approach for Modeling and Verifying SLA-based Cloud Systems

Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes

Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi

Vérification de la composition de services par la transformation de modèles

Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul

Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web

Une approche de spécification des changements de besoins basée transformations de graphes

Composition des Web services sémantiques dans les systèmes Peer-to-Peer

Modélisation multi-paradigme : Une approche basée sur la transformation de graphes

Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles

Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes

Un système pour l’analyse et le traitement de données dans le domaine de la santé : cas des maladies nécessitant une assistance continue