Relation de spécialisation
Référence : cette page est une synthèse technique fondée sur le chapitre LaTeX cité ci-dessous. Pour la syntaxe exacte, la disponibilité ou les signatures ABI, vérifier le source versionné, le manifeste et les tests exécutables.
Portée et frontière de la source
La spécialisation relie des types de concepts ; l’appartenance des instances et la sémantique héritée exigent une règle du modèle, pas un préfixe de nom.
Les contraintes déclaratives expriment la validité dans le modèle au lieu de disperser des contrôles équivalents entre vues et contrôleurs. Les chapitres traitent des valeurs par défaut, restrictions fixes, domaines de rôles et de types ainsi que des frontières de validation. Une valeur par défaut propose une valeur absente ; une exigence fixe limite ce qui peut être accepté.
Règles d’ingénierie
- Séparer la règle de valeur par défaut de la règle de validité impérative.
- Associer la contrainte au concept, à la relation, au rôle ou au contexte d’action pertinent.
- Valider les valeurs à leur entrée dans le modèle et aux frontières d’action faisant autorité.
- Ajouter des tests sémantiques positifs et négatifs plutôt que de se fier à la seule interface.
Plan du chapitre (intitulés LaTeX d’origine)
- From Fields to Conceptual Roles
- Role Names Are Part of the Model
- Binary Relations
- Polyadic Relations
- Relation Identity
- Polyadic Maps
Provenance LaTeX
Chapitre principal : Declarative Conceptual Programming with the logiCells Platform/developer-guide/chapters/types-roles-and-polyadic-relations.tex.