ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 10/2-3 - 2004  - pp.259-275  - doi:10.3166/objet.10.2-3.259-275
TITRE
Vérification par model-checking de systèmes hybrides objets-règles

RÉSUMÉ
Un nombre croissant d'approches mixtes combinent programmation à base de règles et programmation orientée objets. La vérification des programmes hybrides à base d'objets et de règles est devenue un problème de plus en plus urgent à résoudre. Les méthodes de vérification existantes, développées soit pour les programmes orientés objets soit pour les systèmes de règles classiques, ne sont pas directement applicables aux systèmes hybrides objets-règles dont les caractéristiques (le sous-typage et le polymorphisme d'une part, le non-déterminisme et la non-monotonie d'autre part) interagissent de façon particulière. Cet article présente une méthode pour la vérification de systèmes objets-règles non monotones. La démarche proposée fait appel aux réseaux de Petri colorés et aux techniques de model-checking.


ABSTRACT
An increasingly common combination mixes rule­based programming with objectoriented programming. Verification of hybrid object-rule-based programs has become a pressing problem to solve. Existing verification methods, developed either for object-oriented programs or classical rules systems, are not directly applicable to hybrid systems whose features (subtyping and polymorphism on one hand, non-determinism and non-monotonicity, on the other) interact in interesting ways. This article presents a method for the verification of non-monotonic object-rules systems. The proposed approach calls on colored Petri nets and model-checking techniques.


AUTEUR(S)
Julie VACHON, Houari A. SAHRAOUI, Mustapha ESSALIH, Hafedh MILI

MOTS-CLÉS
systèmes hybrides objets-règles, réseaux de Petri colorés, model-checking.

KEYWORDS
hybrid objects-rules systems, colored Petri nets, model-checking.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (148 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier