RÉDACTION DE SPÉCIFICATIONS FORMELLES : ÉLABORATION À PARTIR DES SPÉCIFICATIONS ÉCRITES EN LANGAGE NATUREL

National audienceL'activité de spécification devient considérable ; une multitude de pages sont écrites tous les jours et la plupart du temps en langage naturel. Pour le CNET (Centre National d'Etudes des Télécommunications), qui réalise des études de services et d'équipements de France Telecom, et qui possède la maîtrise des étapes de spécification et de validation, a nécessité de réduire les temps de développement des services est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Dans ce contexte, nous essayerons de montrer, la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécifications. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentatin intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z de la spécification initiale

Du Langage Naturel à la Spécification – Application à la Spécification de Services de Télécommunication

International audienceLa rédaction de spécifications techniques, écrites la plupart du temps en langage naturel, est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de développement de systèmes complexes, comme ceux des télécommunications, est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Nous essayerons donc de montrer la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécification. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentation intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z. Puis, dans une deuxième approche, nous exposerons les éléments méthodologiques liés à un processus de conception orientée agent, cette fois semi-formel. Pour illustrer notre présentation et lui conférer une meilleure lisibilité, nous avons choisi un exemple simple de spécification que nous appliquerons à chacune des phases du processus de formalisation

Langage contrôlé pour la spécification des règles métier dans le contexte de la modélisation des systèmes d'information

Our thesis focuses on controlled natural languages (CNL) for software engineering. It aims at facilitating the adoption of the business rule approach (BRA) by companies by creating a CNL in order to help business experts in the specification of their business rules. Our solution will allow reducing the semantic gap between business experts and system experts to meet not only the need for mutual understanding between them but also to achieve an automatic transfer of the description of business rules to information systems (IS). The CNL that we have created will also ensure the consistency and the traceability of these rules together with their implementationNotre thèse s’inscrit dans le cadre des langages contrôlés pour le génie logiciel. Elle a pour but de faciliter l’adoption de l’approche par règles métier (ARM) par les entreprises en créant un langage contrôlé en vue d’aider à la spécification des règles métier par les experts métier. Notre solution va permettre de réduire la distance sémantique entre les experts métier et les experts système afin de répondre non seulement au besoin d’intercompréhension entre ces derniers mais aussi pour réaliser un transfert automatique de la description des règles métier vers les systèmes d’information (SI). Ce langage contrôlé que nous avons créé permettra d’assurer en plus la consistance et la traçabilité de ces règles avec leur implantatio

La linguistique au contact de l'informatique : de la construction des grammaires aux grammaires de construction

National audienceLes auteurs proposent un essai d'histoire rationnelle d'un aspect du programme génératif dans sa relation à l'informatique, celui qui va de la définition de la notion de grammaire par Chomsky, et en particulier de la caractérisation mathématique des grammaires possibles (la linguistique algébrique), à la conception de grammaires multidimensionnelles qui trouvent dans les systèmes de représentation des connaissances leur fondation formelle. Les auteurs distinguent trois moments : (a) l'émergence du programme génératif et de la notion de grammaire générative ; (b) le mouvement de réforme qui se cristallise dans le refus de la forme transformationnelle de la grammaire et qui voit l'invention de nombreux nouveaux formalismes qui auront tous la caractéristique d'être déclaratifs ; (c) le développement des grammaires multidimensionnelles qui sont chargées d'intégrer les analyses des dimensions formelles (syntaxe et phonologie) et non formelles (sémantique, pragmatique) des langues

La théorie générale des modes verbaux dans les grammaires philosophiques de l’époque classique

C'est dans leur théorie générale des modes verbaux que les grammairiens philosophes classiques (circa 1660-1800) ont essayé de rendre compte de ce que nous appelons aujourd'hui les « aspects illocutoires de la signification », et de formuler les principes d'une sémantique des énoncés non déclaratifs. Je voudrais montrer, dans cette étude, ce qui fait l'originalité de la position adoptée par les grammairiens philosophes dans le cadre de leur théorie « idéationnelle » du langage : tout en reconnaissant la nécessité de recourir à des critères formels pour identifier un mode particulier dans une langue particulière, ils estimaient que les peuples auraient pu, s'ils l'avaient jugé utile, marquer et distinguer formellement toute la variété des types d'illocution par des flexions verbales caractéristiques. Je distingue deux approches dans la théorie générale des modes verbaux de la Grammaire Générale classique : l'une est réductionniste, parce qu'elle réduit toutes nos énonciations à des expressions de jugements ; l'autre conçoit les modes comme des marqueurs d'actes de pensée. La première rappelle les tentatives de ceux qui, comme D. Lewis et D. Davidson, cherchent à interpréter les énoncés non déclaratifs en leur assignant des conditions de vérité ; la seconde s'apparente plutôt à la Théorie des Actes de Discours ou à l'approche proposée par E. Stenius. La première partie de cette étude présente, en s'inspirant de la méthodologie de I. Lakatos, la Grammaire Générale classique comme un programme de recherche scientifique. La seconde partie présente les deux approches mentionnées et examine leurs dévelop- pements respectifs.The Grammairiens philosophes of the classical period {circa 1660-1800) tried to accommodate, in their general theory of the moods of verbs, what we call today the " illocutionary aspects of meaning ", and to set the principles of a semantics for non-declarative sentences. I would like to show in this study in what consists the distinctive character of the approach proposed by the grammairiens philosophes in the framework of their " ideational " theory of language : they accept the necessity of formal criteria to identify a particular mood in a particular language, but they also held up the following position : the nations could have, if they had found it useful, marked and distinguished formally all the variety of illocution types by the use of characteristic verbal inflexions. I distinguish two approaches in the general theory of the verbal moods of classical Universal Grammar : one of them is reductionist, because it analyses all kinds of illocution as an expression of a judgment ; the other one conceives the moods as markers of the acts of the mind. The first one recalls the approach of those who, like D. Lewis and D. Davidson, try to interprète non-declarative sentences by assigning them truth- conditions ; and the second one bears more resemblances with the Theory of Speech Acts, or with the position defended by E. Stenius. The first part of this study exposes the framework of the classical Universal Grammar as a scientific research programme, following the methodology of I. Lakatos. The second part deals with the two approaches just mentioned and examine their respective developments