Les méthodes les plus utilisées en conception de systèmes d'information sont basées principalement sur l'utilisation de divers diagrammes, d'explications en langue naturelle et de guides méthodologiques. Toutefois, leur inconvénient est l'absence d'une sémantique précise permettant de vérifier les modèles obtenus...