Aller au contenu
EN FR

Méthodologie de développement

Statut documentaire : guide — voir Maturité et preuves.

logiCells prend en charge deux boucles de développement complémentaires. Elles partent toutes deux du vocabulaire métier et convergent vers le même Runtime déclaratif. La différence porte sur ce que le projet cherche à valider en premier.

  • Model-first part des concepts, relations, états, actions et projections, puis construit rapidement les artefacts déclaratifs de l’application. Les retours Runtime et utilisateurs affinent ensuite le modèle. H-Logic peut être introduit plus tard comme synthèse sémantique.
  • H-Logic-first commence par expliciter le vocabulaire, les identités, les relations, les contraintes et les déductions attendues. La validation symbolique précède la génération et l’opérationnalisation des squelettes applicatifs.

Aucune boucle n’est définitive. Aller vers H-Logic lorsque l’ambiguïté sémantique, les contradictions ou les interactions de règles deviennent le risque principal. Revenir vers une itération model-first lorsque la sémantique est suffisamment stable et que le besoin principal devient la livraison de vues, services, workflows ou comportements Runtime.

Accès rapides

Parcours recommandé

  1. Choisir une boucle de développement
  2. Workflow model-first
  3. Workflow H-Logic-first
  4. Gates de validation et provenance
  5. De la sémantique validée aux modèles
  6. Analyse temporelle de stock

La discipline commune est stable : le sens métier appartient aux concepts, relations et actions déclarées ; le code d’implémentation est réservé aux comportements opérationnels qui ne peuvent pas être obtenus déclarativement.