Objectif
Rendre la règle vérifiable avant son implémentation.
La démonstration représente la manière dont une routine de normalisation peut être spécifiée et vérifiée. Elle explique l'approche de CadSyntra ; elle ne simule pas une livraison professionnelle.
Contexte synthétique
Une liste volontairement réduite et incohérente.
Cinq noms de calques génériques ont été préparés avec des espaces extérieurs, des minuscules, des underscores, des séparateurs répétés et un alias de discipline. Aucun nom ne provient d'un dessin ou d'une norme d'un tiers.
Problème représenté
La même convention apparaît sous différentes formes.
Sans séquence explicite de normalisation, la vérification repose sur l'interprétation et les exceptions sont difficiles à discuter. Cet exemple limite le problème au texte de chaque nom.
Contribution de CadSyntra
Le scénario, les règles et les preuves ont été construits pour cette démonstration.
La contribution a consisté à définir le problème, créer des données neutres, ordonner les règles, consigner les décisions et présenter la comparaison. Elle n'incluait ni code d'automatisation, ni plugin, ni dessin CAD, ni déploiement.