RÉSUMÉ. Le Web sémantique est une vision du Web de demain où l'interopérabilité entre les ressources distribuées sur le Web, aujourd'hui très hétérogènes, sera facilitée par un marquage sémantique de ces ressources à l'aide d'ontologies. Une ontologie est un vocabulaire structuré de noms de concepts et de propriétés définis précisément à l'aide d'un langage formel non ambigu. Dans la vision du ...

Rfesuml Si une base de donnfees est astreinte ä satisfaire des contraintes d'intfegritfe, cette proprifetfe doit fetre vferififee ä chaque modification de faits ou de rfegles de dfeduction. Des mfethodes de maintien de rintfegritfe ont fetfe proposfees, qui simplifient Evaluation des contraintes d'intfegritfe dans une base de donnfees mise ä jour. Ces mfethodes tirent partie de rintfegritfe de ...

Résumé. A contrario des normes UML 2.1 et SysML, le profil UML TURTLE (Timed UML and RT-LOTOS Environment) dispose d’une sémantique formelle et d’une méthodologie. Avec les systèmes temps réel pour cible, cette méthodologie met l’accent sur la vérification formelle du comportement des objets. Le profil TURTLE est doté d’un langage graphique et formalisé d’expression d’exigences temporelles. La ...

RÉSUMÉ. L'ingénierie des systèmes d'information fait appel à de multiples langages pour modéliser, programmer et manipuler divers artéfacts tout le long du cycle de développement. Ces langages sont généralement supportés par des outils logiciels. La construction de ces outils est une tâche complexe menée souvent de manière ad-hoc. L’exploitation adéquate des techniques de méta-modélisation a le...

RÉSUMÉ. Dans ce travail, nous présentons des résultats obtenus par plusieurs simulations multiagents du Dilemme du Prisonnier avec n joueurs, en utilisant deux différents langages pour exprimer les stratégies des agents: automate fini et automate adaptatif. Comme on peut exprimer des stratégies plus complexes en utilisant ce deuxième langage, nous considérons qu’une analyse comparative de la co...

Dans cet article, nous montrons que le paradigme de représentation des connaissances règles métier, largement utilisé dans l’industrie, peut être développé comme un langage de modélisation pour la programmation par contraintes. Nous présentons un langage de modélisation général à base de règles, nommé Rules2CP, et décrivons sa compilation vers des programmes de contraintes sur les domaines fini...

RÉSUMÉ. La convergence du développement dans le domaine de la communication sans fil, l’évolution des systèmes de positionnement et des systèmes d’information géographiques (SIG) ont favorisé l’émergence d’un nouveau type de services et d’applications liés à la mobilité et à la localisation. En revanche, les systèmes d’information actuels ne permettent pas la gestion d’informations concernant d...

L’apprentissage des compétences en littératie, volet langage oral et écrit, représente un vecteur de réussite scolaire sociale pour tous les apprenants, dont élèves situation handicap découlant d’une déficience intellectuelle ou d’un déficit du langage. Pour le personnel, l’observation acquis la progression apprentissages essentielles à lire écrire planifier réguler interventions représentent d...