Cadre méthodologique
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 méthode sépare découverte, représentation conceptuelle, validation formelle et projection opérationnelle.
La méthode fournie distingue spécification métier, modélisation conceptuelle déclarative, validation sémantique et opérationnalisation technique. Un LLM peut proposer des noms ou des structures sans créer silencieusement une autorité métier validée. Le parcours neuro-symbolique sépare la génération de candidats du contrôle et de l’acceptation du modèle.
Règles d’ingénierie
- Recueillir vocabulaire métier et scénarios observables avant de générer des artefacts.
- Traiter les contenus générés par IA comme des candidats soumis à validation explicite.
- Vérifier types, rôles, identités, invariants et traçabilité.
- Projeter les modèles acceptés dans les contrats Runtime sans perdre leur sémantique métier.
Plan du chapitre (intitulés LaTeX d’origine)
- Two Entry Points, Two Feedback Loops
- Path A: Model-First, H-Logic as a Semantic Synthesis
- Typical contexts for the model-first path
- Path B: H-Logic-First, Models as Operationalization
- Verbs and operationalization
- Typical contexts for the H-Logic-first path
Provenance LaTeX
Chapitre principal : Declarative Conceptual Programming with the logiCells Platform/developer-guide/chapters/two-paths-from-business-specifications.tex.