Méthode d'Analyse Formelle par des Objets en vue d'une Industrialisation

[objet] ou concept

• récupérer => [pointeur] pointeur.
  Un concept est identifié par un pointeur.
• fixer [syntagme] concept => [méta-concept] méta-concept.
  Un concept est conforme à son méta-concept d’objet.
  (Le méta-concept est conforme à lui-même.)
• fixer [syntagme] concept du concept => [concept].
  récupérer [syntagme] concept du concept => [concept].
  détacher [syntagme] concept du concept.
  Un concept fixe un paquet (concept) référencé par un syntagme contextuel.
  Un syntagme contextuel désigne un concept dans le contexte de ce concept.
• fixer [méthode] méthode.
  récupérer [méthode] méthode.
  détacher [méthode] méthode.
  Un concept fixe un paquet (méthode) à partir de leur pointeur.
• édifier [syntagme] objet => [objet] objet.
  Cette primitive permet d’édifier un objet conforme au concept lui-même.
  Cette primitive calcule un nouveau pointeur d’objet.
• fixer [objet] objet.
  récupérer [syntagme] objet.
  détacher [objet] objet.
  Un concept fixe un paquet (objet) qu’il a édifié conforme à lui-même.
• récupérer [syntagme] référence => [syntagme] référence.
  Un concept retourne une référence représentée par un syntagme.
  Le syntagme ne doit être unique pour chaque concept (présent dans le dictionnaire ([pointeur] => [objet]) du méta-concept).
  A chaque pointeur ó objet correspond une et une seule référence.
• copier [syntagme] concept => [concept].
  Cette primitive permet de copier un concept semblable à lui même avec fixation d’un nouveau syntagme et calcul d’un nouveau pointeur.

Une référence est un syntagme formel identifiant un [objet] ou concept du monde réel.

Dans un système informatique chaque objet est identifié par un pointeur correspond à une référence physique connue uniquement par le système. (Un syntagme est un [objet] texte.) Dénommer un concept par un autre syntagme n’a pas la même incidence que de modifier le texte du syntagme fixer par un concept.

Le syntagme contextuel est obligatoire et nécessaire afin d’exprimer le rôle du concept fixé dans le contexte de ce concept. En effet plusieurs concepts semblables peuvent être fixés par un même concept. Un objet peut fixer plusieurs objets conformes au même concept, il faut alors pouvoir différencier le rôle de chacun de ces objets semblables.

[méthode]

Une méthode est l’édification du concept de méthode ou [méthode].
L’édification est la faculté de créer un nouvel objet conforme à son concept d’objet. (C’est à dire conforme au concept de l’objet.) Tout objet est capable d’édifier des objets conforme à ses Protocoles opératoires.

• récupérer => [pointeur] pointeur.
  Une méthode fixe une identification que la différencie de toutes les autres méthodes. L’identification d’une méthode se fait au travers de son pointeur.
• récupérer [syntagme] concept => [concept] concept.
  Un méthode est conforme à un concept de méthode.
• fixer [syntagme] méthode.
• fixer [syntagme] paramètre.
• fixer [syntagme] résultat.
• récupérer [concept] paramètre.
• récupérer [concept] résultat.
• fixer [méthode] méthode de l’objet.
  La méthode décrite peut se décrire par des méthodes du même concept
  (Exécuter des méthodes du même objet).
• fixer [méthode] méthode du paramètre.
  Si la méthode décrite ici a un paramètre, il faut le fixer en tant que Sujet d’une ou plusieurs des méthodes que constitue cette méthode décrite ici. Le concept du paramètre est équivalent au concept Sujet de la méthode fixée.
• fixer [méthode] méthode ayant le paramètre en paramètre.
  Si la méthode décrite ici à un paramètre, il faut le fixer en tant que paramètre d’une ou plusieurs des méthodes que constitue cette méthode décrite ici. Le concept du paramètre doit être équivalent au concept Sujet de la méthode fixé.
• fixer [([méthode] => [méthode])] méthode du résultat d’une méthode.
  Le résultat d’une méthode peut fixer le Sujet d’une autre méthode.
  
• fixer [([méthode] => [méthode])] méthode ayant le résultat d’une méthode en paramètre.
  Le résultat d’une méthode peut fixer le paramètre d’une autre méthode.
  
• récupérer [syntagme] référence => [syntagme] référence.
  Une méthode retourne une référence phrase formelle.
  Une méthode est référencée par une phrase formelle. Une phrase formelle ne peut être portée que par un et un seul concept. Chaque référence de méthode est unique.
  
• édifier => [activité] activité.
  Cette primitive permet d’édifier une activité conforme à la méthode.
  En fonction du choix d’implantation du Système cette primitive peut ou ne peut pas exister (Voir encadré ci-dessous).