Résumé | L'automatisation guidée par les événements de fonctionnalités réactives pour le traitement d'événements complexes représente un besoin urgent dans les architectures orientées service réparties et les environnements guidés par les événements Web. Un problème important à traiter est comment saisir et traiter efficacement et correctement la logique réactive comportementale guidée par les événements, incorporée dans les règles de réaction, et la combiner avec d'autres logiques de décision conditionnelles incorporées, p. ex. dans des règles de dérivation. Cet article présente une méthode d'intégration homogène qui combine des règles de dérivation, des règles de réaction et d'autres types de règles, telles que des contraintes d'intégrité, dans le cadre général de la programmation logique, la version industrielle de la programmation déclarative. Nous décrivons la syntaxe et la sémantique du langage, implémentons un logiciel intermédiaire Web réparti utilisant des technologies de service d'entreprise et illustrons son adéquation en fonction de son expressivité, de sa performance et de son extensibilité au moyen d'exemples extraits de cas d'utilisation industriels. Le langage de règles de réaction élaboré fournit des fonctions expressives telles que des mises à jour d'ID modulaires avec le soutien d'importations externes et de mises à jour automatiques des bases de connaissances intentionnelles et extensionnelles, des transactions incluant les essais d'intégrité et des retours en arrière de chemins de transition de mise à jour. Il soutient également le traitement d'événements complexes répartis, la messagerie d'événement et la recherche d'événements à l'aide de technologies à base de logiciels intermédiaires d'entreprise efficaces et extensibles et le raisonnement d'événement/d'action fondé sur une algèbre des événements/actions implémentée au moyen d'une variante du calcul des événements fondé sur les intervalles servant de formalisme d'inférence logique. |
---|