Upload
internet
View
105
Download
0
Embed Size (px)
Citation preview
Validation sémantique d’objets à l’aide d’un modèle de référence et
de contraintes• appliquée aux expressions temporelles •
Cyril Faucher, Samnang Chea, Frédéric Bertrand, Jean-Yves Lafaye
L3i (Informatique, Image et Interaction)Université de La Rochelle – Francecontact : [email protected] http://l3i.univ-larochelle.fr/Faucher-Cyril.html
Ce travail est financé par l’Agence Nationale de la
RechercheANR-Contint, projet
RelaxMultiMedias 2
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Plan Contexte Problématique Validation de la cohérence d’expressions
temporelleso Métamodèle temporel et modèle de calendriero Validation des expressionso Exemple de contrainte
Conclusion et perspectives
2
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Contexte
Proposer un cadre conceptuel et des outils pour acquérir, structurer et manipuler de la connaissance concernant des événements culturels, touristiques et sportifs gérés par des agences de presse
Dépêches annonçant des événements : cinéma, théâtres, expositions, etc
Textes réglementaires (pêche à pied)
2
3
Géomer – LETG Brest, UEB
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Au centre de nos intérêts : les propriétés temporelles i.e., période d’accès et périodicité d’un événement
Contexte
4
Texte réglementaire
Les journalistes saisissent des textes dans des dépêches
L’ouverture d’un musée
Tous les jours de 20h00 à 22h00sauf le lundi
La pêche à a Telline
“Digging is prohibited each year, from 9 pm to 6 am between July 1st and August 31st. Out of these periods, digging is allowed from 3 hours before low tide up to 3 hours after the same low tide (according to the tide almanac in Douarnenez).”
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Problématique
Rester proche du langage des utilisateurs (journalistes) i.e. du langage naturel tout en assurant rigueur et cohérence (formelles)
Vérifier la cohérence des propriétés temporelles d’un événement :8ème jour de la semainedu 8ème jour de chaque mois au 6ème jour de chaque mois
5
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
De l’acquisition à l’exploitation de la connaissance métierAcquisition de la
connaissance métier
Exploitation de la
connaissance acquise
Processus
6
Validation de la
connaissance
Texte en langage naturel
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Métamodèles et modèles mis en oeuvre
7
Métamodèle Evénements
Modèle de Calendrier (Grégorien)
Expressions Temporelles (périodiques)
Structure d’événements composites
conforme àdécrit des unités calendaires(reliés par un modèle de correspondance)
MétadonnéesSpatial
sous forme d’événements
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Métamodèle temporel et pouvoir d’expression
Instants périodiqueso 5 fois par jouro Tous les jourso Tous les 1ers jourso Tous les 3èmes mois de chaque siècle
Intervalles périodiqueso Du 1er jour de chaque mois au 5ème jour de chaque
moiso Du 1er jour de chaque mois au 5ème jour de chaque
mois de juillet à août
8
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Acquisition de la connaissance métier
Gestion d’événements périodiques
• par saisie textuelle contextuelle : grammaire proche du langage naturel (Xtext)
• par transformations de modèles : intégration de données issues de :• Traitement Automatique de la
Langue (TAL, ex. TKA)• EventsML G2 (XML)•
Flux d’événements : RSS FNAC, Le Monde
• iCalendar
9
La grammaire permet de faire le lien entre les métamodèles d’Evénement et Temporel
Editeur généré
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Validation des expressions
10
Validation structurelle - métamodèleo Cardinalitéso Un intervalle possède un début et une fin
ou bien un début et une duréeo Les descripteurs doivent être ordonnés
suivant les Unités Calendaireso Classiquement en modélisation => OCL
Validation syntaxique - grammaireo Patron textuel guidant l’instanciation du
modèle Combinaison début + fin : [from … to …]
Combinaison début + durée : [from … duration is …]
Validation sémantique – connaissance issue du calendriero JANVIER suit DECEMBRE de l’année
précédenteo 1minute est constituée de 60 secondeso => Nécessité de spécifier la sémantique du
calendrier
Ensemble de contraintes non gérées par le système de type et les cardinalités spécifiés dans le métamodèle
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Validation des expressions
8ème jour de chaque mois
8ème jour de chaque semaine
8ème jour de chaque mois de chaque année (sur-spécification)
Vérification du sens d’une expression via des contraintes et un « modèle de référence »
Le modèle de référence décrit le calendrier Grégorien sous forme d’événements périodiques e.g., jour, semaine, mois, année, …
11
Validation sémantique
Exemples de diagnostics à l’issue du processus de validation
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Modèle de référence représentant le calendrier Extrait du modèle de référence du calendrier Grégorien
12
Evénement
Minute
Evénement
Heure
Evénement
Jour
réfère
réfère
réfère
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Contrainte utilisant le modèle de référence
• Les contraintes sont écrites et évaluées en Java.OCL n’est pas très adaptés à la gestion et la navigation de plusieurs modèles à différents niveaux 13
Interface Web de saisie
réfèreconforme à
utilise
// les 8èmes jours de chaque semaineeach 8th day of each week
// les 8èmes jours de chaque moiseach 8th day of each month
Données saisies à valider
Extrait du modèle de Calendrier// jours par semaine rule "day": 7 times during one 1 weeks period
conforme à
Métamodèle d’expressions temporelles
Contrainte sur la classe RegleDescripteur en terme de fréquencedescn.rang <= freq(descn.unite, descn+1.unite)
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Exprimer la contrainte dans d’autres langages
14
En OCL
context RegleDescripteurinv : self.descripteurs->forAll( desc |if desc.unite="seconde" and self.descripteurs.at(self.descripteurs.indexOf(desc)).unite="minute" then desc.rang<= 60else if desc.unite="minute" and self.descripteurs.at(self.descripteurs.indexOf(desc)).unite="heure" then desc.rang<= 60 else if desc.unite="heure" and self.descripteurs.at(self.descripteurs.indexOf(desc)).unite="jour" then desc.rang<= 24… endif endifendif)
Contrainte sur la classe RegleDescripteur en terme de fréquencedescn.rang <= freq(descn.unite, descn+1.unite)
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Exprimer la contrainte dans d’autres langages
15
Contrainte sur la classe RegleDescripteur en terme de fréquencedescn.rang <= freq(descn.unite, descn+1.unite)
Base de faits Prolog
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Conclusion et perspectives Définition d’un modèle sémantique décrivant le
calendrier à l’aide d’événements périodiques Exploitation du modèle de calendrier à l’aide de
contraintes pour valider des expressions temporelles Assister et contrôler la saisie d’informations temporelles
périodiques décrivant des événements issus de dépêches d’information
Extensibilité : l’utilisateur peut ajouter de règles temporelles
Développer de nouvelles contraintes Prise en compte de nouveaux calendriers (lunaire,
administratif, républicain) Proposer des corrections en s’appuyant sur le diagnostic
ex. : rang, unité
16
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Merci de votre attention
17
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
An Algebraic Representation of Calendars, Ning Peng, X. Sean Wang
18
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
De l’acquisition à l’exploitation de la connaissance métierAcquisition de
la connaissance
métier
Validation de la
connaissance
Exploitation de la
connaissance acquise
Recoupement temporel d’événements
Du texte en langage naturel à une syntaxe contrôlée
RelaxMultiMedias 2
Législation de la pêche à pied
19
Cyril Faucher L3i (Informatique, Image et Interaction), Université de La Rochelle IDM’11
Relation entre événements et éléments du métamodèle
Relation entre un événement et un élément du métamodèle temporel « conforme à », réutilisation du langage pour s’auto-définir « réfère », relation entre l’événement périodique et
l’élément du métamodèle qu’il décrit
20