ACCUEIL

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

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 29/1 - 2015  - pp.47-81  - doi:10.3166/ria.29.47-81
TITRE
Représentation et vérification d’un environnement intelligent à partir de spécifications utilisateur en langage naturel

TITLE
Representation and verification of a smart environment from natural language requirements

RÉSUMÉ
Aujourd’hui des capteurs et actionneurs associés à des périphériques de contrôle peuvent être installés n’importe où, notamment dans nos maisons, créant des environnements intelligents. Notre objectif est de permettre à un utilisateur de configurer son propre environnement intelligent en décrivant ses besoins, i.e. les règles de comportement de l’environnement, en langage naturel (LN). Nous explorons les possibilités offertes par une ontologie formelle pour faire le lien entre spécifications en LN et spécifications formelles. L’analyse des spécifications LN permet l’instanciation automatique de l’ontologie afin qu’elle représente le comportement décrit par l’utilisateur. Les règles de comportement représentées sont alors traduites en spécifications Maude, afin de compléter les vérifications possibles sous OWL. Nous montrons que tout au long de ce processus de formalisation, il est possible de vérifier la complétude, la cohérence et la conformité des exigences spécifiées et de maintenir une traçabilité entre spécification LN et spécifications formelles autorisant un retour précis à l’utilisateur.


ABSTRACT
Nowadays sensors and actuators associated with control devices can be installed anywhere, as in our homes creating smart environments. Our goal is to allow a user to configure her own smart environment by describing her needs, i.e. the environment behavioral rules, in natural language (NL). We explore the possibilities offered by an ontology, to transform NL specifications into formal specifications. Analysis of user requirements allows us an automatic instantiation of the ontology so that it represents the behavior described by the user. The represented behavioral rules are then translated into Maude specifications to complement verifications realized in OWL. We show that throughout this formalization process, it is possible to check the completeness, the consistency and the conformity of the specified requirements and maintain traceability between NL requirements and formal specifications to allow a precise feedback to the user.


AUTEUR(S)
Driss SADOUN, Catherine DUBOIS, Yacine GHAMRI-DOUDANE, Brigitte GRAU

MOTS-CLÉS
environnement intelligent, ontologie, spécifications, vérification formelle

KEYWORDS
smart environment, ontology, natural language requirements, formal verification

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier