Résumé | Ce document présente un modèle opérationnel des processus non déterministes, ainsi qu'une nouvelle théorie de la divergence. Le modèle opérationnel représente le non déterminisme interne sans utiliser de transitions internes explicites. La notion d'état interne est en fait remplacée ici par la notion bien connue de transition interne, ce qui donne lieu à une autre vue opérationnelle des processus ainsi qu'à la notion de processus faible. Essentiellement, un processus faible est constitué par la donnée d'un ensemble d'états internes stables et d'un ensemble de transitions, chacune définissant le passage d'un état interne à un autre processus faible. Le non déterminisme interne résulte de l'affinage de tels processus dans des états internes multiples.<br /><br />Une extension simple du modèle de base des processus faibles donne lieu à une théorie opérationnelle élaborée de la divergence. D'après cette théorie, il existe une distinction entre la capacité d'un processus d'entreprendre des traitements internes infinis pathologiques ou persistants, et sa capacité d'entreprendre des traitements internes infinis qui le ne sont pas. Bien qu'il puisse servir à représenter des langages algébriques dotés d'une structure d'action interne, le modèle résultant est surtout adapté pour doter d'une sémantique opérationnelle les algèbres de processus qui expriment le non déterminisme interne au moyen d'une structure de choix également interne. La distinction entre les deux formes de divergence est en particulier prise en compte lorsqu'une sémantique de processus faible est attribuée à la structure de masquage d'une telle algèbre de processus. |
---|