2009-06-23 8 views

Répondre

11

LePUS3 a été conçu pour être une amélioration par rapport aux autres langages de modélisation et est spécifiquement conçu pour être une amélioration de UML. Les avantages de LePUS3 sont présentés dans the paper that introduced it, et vous pouvez voir un résumé de ces avantages sur l'aperçu de l'exposition de papier scientifique sur le lien.

Je reproduis les avantages énoncés du papier ici:

  • Rigor. LePUS3 est un langage visuel logique: un graphique représente une formule dans une théorie axiomatisée dans le calcul classique des prédicats du premier ordre.
  • Échelle de parcabilité &. LePUS3 offre des abstractions puissantes: les graphiques évoluent bien et n'encombrent pas la taille du programme.
  • Minimalité. Le vocabulaire LePUS3 est minimal, composé de 15 jetons.
  • Décidabilité & vérifiabilité. La cohérence entre une spécification donnée (un graphique) et une implémentation (un programme Java) peut être vérifiée par un clic-bouton.
  • Visualisation de programme. Les graphiques de modélisation de programmes Java peuvent être contrecollés à partir du code source.
3
  1. Vous pouvez l'ingénierie inverse des graphiques LePUS3 à partir du code source et d'obtenir des résultats significatifs
  2. LePUS3 est un langage formel
  3. Vous pouvez modéliser des programmes de toute taille dans LePUS3
  4. Vous pouvez modéliser bagouts conception dans LePUS3 non pas en tant que programmes mais en tant que motifs de conception génériques
Questions connexes