홈 › Papers

Analyse formelle d'exigences en langue naturelle pour la conception de syst\`emes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems )

Cet article explore la construction de repr{\'e}sentations formelles d{'}{\'e}nonc{\'e}s en langue naturelle. Le passage d{'}un langage naturel {\a} une repr{\'e}sentation logique est r{\'e}alis{\'e} avec un formalisme grammatical, reliant l{'}analyse syntaxique de l{'}{\'e}nonc{\'e} {\a} une repr{\'e}sentation s{\'e}mantique. Nous ciblons l{'}aspect comportemental des cahiers des charges pour les syst{\e}mes cyber-physiques, c{'}est-{\a}-dire tout type de syst{\e}mes dans lesquels des composants logiciels interagissent {\'e}troitement avec un environnement physique. Dans ce cadre, l{'}enjeu serait d{'}apporter une aide au concepteur. Il s{'}agit de permettre de simuler et v{\'e}rifier, par des m{\'e}thodes automatiques ou assist{\'e}es, des cahiers des charges {}syst{\e}mes{''} exprim{\'e}s en langue naturelle. Cet article pr{\'e}sente des solutions existantes qui pourraient {\^e}tre combin{\'e}es en vue de la r{\'e}solution de la probl{\'e}matique expos{\'e}e.

Code (0)

등록된 구현이 없습니다.

Tasks

Similar Papers 제목 키워드 기반