Annotation sémantique des spécifications informatiques de besoins par la méthode d'Exploration Contextuelle : une contribution des méthodes linguistiques aux conceptions de logiciels

par Jorge Juárez García-Flores

Thèse de doctorat en Informatique linguistique

Sous la direction de Jean-Pierre Desclès.

Soutenue en 2007

à Paris 4 .


  • Résumé

    La spécification de besoins est une activité fondamentale dans l’ensemble des méthodes de conception et mise en œuvre des systèmes informatiques. Cette thèse présente une méthode d’annotation sémantique des textes de Spécification de Besoins Informatiques (SBI) pour assister la conception de logiciels ; une méthode dont les annotations, de nature sémantique, puissent être exploitées pour l’aide à l’extraction, à la modélisation ou la validation de besoins. Le but de l’annotation est de repérer automatiquement les phrases qui, dans un texte, expriment des actions, et d’y extraire les circonstances de l’action (contrôleur, finalité, contraintes). Pour y parvenir, on a effectué une analyse discursive des moyens d’expression de l’action sur des textes de SBI industriels en français et en espagnol. Cette analyse, d’inspiration linguistique, s’appui sur la méthode d’Exploration Contextuelle et la théorie de la Grammaire Applicative et Cognitive pour proposer 1) une typologie de verbes de spécification de besoins informatiques, 2) une base de marqueurs linguistiques de l’action organisé sous forme des règles d’Exploration Contextuelle, et 3) l’implémentation informatique de ces règles dans le système d’annotation EXCOM et l’annotation d’un corpus de textes de SBI industriels en français et en espagnol.

  • Titre traduit

    Semantic annotation of software requirements specifications with the Contextual Exploration Method : a contribution of linguistic methods to software developement


  • Résumé

    This PhD research proposes a linguistic oriented annotation method to support requirements engineering activities (requirements elicitation, validation or modelling). Our approach presents a method for the automatic extraction of action sentences from software requirements specifications (SRS). Its aim is to annotate actions sentences from industrial SRS documents, and to recognize action parameters (action’s controller, goal and constraints). It presents a linguistic analysis of action markers and a technique to automatically annotate action sentences by means of Contextual Exploration rules. Discourse analysis of SRS is based on the Cognitive and Applicative Grammar linguistic theory. The main results our work are : 1) a typology of action verbs for requirements specifications, 2) a base of linguistic markers and rules for semantic annotation of actions on SRS documents, and 3) an implementations of this rules on the EXCOM semantic annotation system, which automatically attributes action annotations to a corpora of commercial (French and Spanish) SRS documents.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (270 f.)
  • Annexes : 165 références bibliographiques

Où se trouve cette thèse ?

  • Bibliothèque : Université de Paris-Sorbonne Paris 4. Service commun de la documentation. Bibliothèque Serpente.
  • Consultable sur place dans l'établissement demandeur
  • Cote : BUT 6571

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Bibliothèque interuniversitaire de la Sorbonne (Paris).
  • Non disponible pour le PEB
  • Cote : MC 9525
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.