ARITHMÉTIQUE ET INSTRUCTIONS MACHINE

Auteur: BUENO AROCA ANTONIO.
Année: 2005.
Université: CASTILLA-LA MANCHA [www.uclm.es].
Lieu de l'exposition: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Lieu de préparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Résumé: TPALp est un langage de description de algébriques de systèmes concurrents ayant la capacité d'exprimer et de la probabilité de comportement temporel, de même que les interactions urgente. Cette thèse présente les principales caractéristiques de cette langue, sa sémantique opérationnelle et une traduction des termes TPALp dans une classe particulière de réseaux de Petri temporisé et la probabilité. La langue comprend un opérateur de choix probabilité, un délai préfixe opérateur et d'un opérateur de préfixe d'urgence, en plus d'autres opérateurs que l'on peut trouver dans les algèbres de processus conventionnels. Une caractéristique importante de la langue est un traitement d'urgence, car à chaque moment est urgent de mettre en œuvre des actions plus grand nombre possible, afin de se conformer pleinement aux besoins urgents d'un cahier des charges. Toujours dans cette thèse ont été traités les aspects de la compositionalité réseau, limitant ainsi le champ d'application aux réseaux obtenu de la traduction des termes et comprenait une méthode de mise en réseau.

Auteur: BUENO AROCA ANTONIO.
Année: 2005.
Université: CASTILLA-LA MANCHA [www.uclm.es].
Lieu de l'exposition: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Lieu de préparation: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Résumé: TPALp est un langage de description algébriques de systèmes concurrents ayant la capacité d'exprimer le comportement temporel et de la probabilité, de même que les interactions urgente. Cette thèse présente les principales caractéristiques de ce langage, sa sémantique opérationnelle et une traduction des termes TPALp dans une classe particulière de réseaux de Petri temporisés et de la probabilité. La langue comprend un opérateur de choix probabilité, le temps d'un préfixe opérateur et un opérateur de préfixe d'urgence, en plus d'autres opérateurs que l'on peut trouver dans le Álgebras procédés classiques. Une caractéristique importante de la langue est le traitement de l'urgence, parce qu'à chaque moment est urgent de mettre en œuvre de nombreuses actions que possible, afin de se conformer pleinement aux besoins urgents d'une spécification. Cette thèse ont également été abordés les aspects de la compositionalité réseau, limitant le champ d'application aux réseaux obtenu de la traduction des termes et comprenait une méthode de la mise en œuvre du réseau.