Vérification par model-checking de systèmes hybrides objets-règles
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.
An increasingly common combination mixes rulebased 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.
J.VACHON, H.SAHRAOUI, M.ESSALIH, H.MILI
systèmes hybrides objets-règles, réseaux de Petri colorés, model-checking.
hybrid objects-rules systems, colored Petri nets, model-checking.
Français
|
