Effectivement l'avantage de la méthode B est de couvrir tout le processus de réalisation (de la spec. à l'implémentation) d'un système. Cela dit, elle a ses propres limites, que je ne connais pas dans le détail et qui résident dans le nombre de fonctionnalités qu'elles propose (ce qui va se réduire au jeu d'instructions du langage d'implémentation à un moment de la méthode).
Ce dont je suis sûr, pour en avoir discuté avec un des pères de la méthode B, c'est que cette méthode ne permet pas la communication par message. En gros elle fonctionne sur un système fermé, type ligne 14 ou système bancaire clos (domaine dans lequel elle est aussi utilisée). C'est tout à fait normal, car un système distribué est plus complexe à modéliser et on ne sait pas encore faire des outils type « méthode B » qui intègrent toutes les hypothèses d'un système distribué.
Donc pour en revenir au journal, non on ne peut pas utiliser B pour SSL !
[^] # Re: On verra
Posté par vlamy . En réponse à la dépêche Core Infrastructure Initiative. Évalué à 5. Dernière modification le 28 avril 2014 à 09:44.
Effectivement l'avantage de la méthode B est de couvrir tout le processus de réalisation (de la spec. à l'implémentation) d'un système. Cela dit, elle a ses propres limites, que je ne connais pas dans le détail et qui résident dans le nombre de fonctionnalités qu'elles propose (ce qui va se réduire au jeu d'instructions du langage d'implémentation à un moment de la méthode).
Ce dont je suis sûr, pour en avoir discuté avec un des pères de la méthode B, c'est que cette méthode ne permet pas la communication par message. En gros elle fonctionne sur un système fermé, type ligne 14 ou système bancaire clos (domaine dans lequel elle est aussi utilisée). C'est tout à fait normal, car un système distribué est plus complexe à modéliser et on ne sait pas encore faire des outils type « méthode B » qui intègrent toutes les hypothèses d'un système distribué.
Donc pour en revenir au journal, non on ne peut pas utiliser B pour SSL !