Construcción basada en ontologías del Léxico Extendido del Lenguaje

El éxito de un proceso de desarrollo de software depende en gran medida de la calidad de los documentos de especificación de sus requerimientos. Si bien, la especificación de los requerimientos en lenguaje natural facilita la comunicación con los "involucrados" (stakeholders), se dificulta la evaluación de la consistencia de los mismos. Por lo tanto, se requiere de modelos formales que faciliten esta evaluación. Las ontologías han surgido como herramientas para crear dichos modelos formales, sin embargo, la mayoría de las ontologías de documentos de requerimientos existentes son solo simples taxonomías. En esta propuesta se presenta un marco de trabajo basado en ontologías para la construcción del Léxico Extendido del Lenguaje (LEL). Dicho marco de trabajo se compone de un metamodelo del LEL basado en una ontología "pesada", es decir compuesta por axiomas de integridad y de derivación; y de una heurística para la construcción de un LeL a partir de dicha ontología. Además, se plantea una discusión sobre las ventajas y dificultades de dicho marco de trabajo mediante un caso de estudio.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Construcción basada en ontologías del Léxico Extendido del Lenguaje

El éxito de un proceso de desarrollo de software depende en gran medida de la calidad de los documentos de especificación de sus requerimientos. Si bien, la especificación de los requerimientos en lenguaje natural facilita la comunicación con los "involucrados" (stakeholders), se dificulta la evaluación de la consistencia de los mismos. Por lo tanto, se requiere de modelos formales que faciliten esta evaluación. Las ontologías han surgido como herramientas para crear dichos modelos formales, sin embargo, la mayoría de las ontologías de documentos de requerimientos existentes son solo simples taxonomías. En esta propuesta se presenta un marco de trabajo basado en ontologías para la construcción del Léxico Extendido del Lenguaje (LEL). Dicho marco de trabajo se compone de un metamodelo del LEL basado en una ontología "pesada", es decir compuesta por axiomas de integridad y de derivación; y de una heurística para la construcción de un LeL a partir de dicha ontología. Además, se plantea una discusión sobre las ventajas y dificultades de dicho marco de trabajo mediante un caso de estudio.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Semi-Automated Development of Conceptual Models from Natural Language Text

The process of converting natural language specifications into conceptual models requires detailed analysis of natural language text, and designers frequently make mistakes when undertaking this transformation manually. Although many approaches have been used to help designers translate natural language text into conceptual models, each approach has its limitations. One of the main limitations is the lack of a domain-independent ontology that can be used as a repository for entities and relationships, thus guiding the transition from natural language processing into a conceptual model. Such an ontology is not currently available because it would be very difficult and time consuming to produce. In this thesis, a semi-automated system for mapping natural language text into conceptual models is proposed. The model, which is called SACMES, combines a linguistic approach with an ontological approach and human intervention to achieve the task. The model learns from the natural language specifications that it processes, and stores the information that is learnt in a conceptual model ontology and a user history knowledge database. It then uses the stored information to improve performance and reduce the need for human intervention. The evaluation conducted on SACMES demonstrates that (1) designers’ creation of conceptual models is improved when using the system comparing with not using any system, and that (2) the performance of the system is improved by processing more natural language requirements, and thus, the need for human intervention has decreased. However, these advantages may be improved further through development of the learning and retrieval techniques used by the system

Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot

Le développement d'un système a pour objectif de répondre à des exigences. Aussi, le succès de sa réalisation repose en grande partie sur la phase de spécification des exigences qui a pour vocation de décrire de manière précise et non ambiguë toutes les caractéristiques du système à développer.Les spécifications d'exigences sont le résultat d'une analyse des besoins faisant intervenir différentes parties. Elles sont généralement rédigées en langage naturel (LN) pour une plus large compréhension, ce qui peut mener à diverses interprétations, car les textes en LN peuvent contenir des ambiguïtés sémantiques ou des informations implicites. Il n'est donc pas aisé de spécifier un ensemble complet et cohérent d'exigences. D'où la nécessité d'une vérification formelle des spécifications résultats.Les spécifications LN ne sont pas considérées comme formelles et ne permettent pas l'application directe de méthodes vérification formelles.Ce constat mène à la nécessité de transformer les spécifications LN en spécifications formelles.C'est dans ce contexte que s'inscrit cette thèse.La difficulté principale d'une telle transformation réside dans l'ampleur du fossé entre spécifications LN et spécifications formelles.L'objectif de mon travail de thèse est de proposer une approche permettant de vérifier automatiquement des spécifications d'exigences utilisateur, écrites en langage naturel et décrivant le comportement d'un système.Pour cela, nous avons exploré les possibilités offertes par un modèle de représentation fondé sur un formalisme logique.Nos contributions portent essentiellement sur trois propositions :1) une ontologie en OWL-DL fondée sur les logiques de description, comme modèle de représentation pivot permettant de faire le lien entre spécifications en langage naturel et spécifications formelles; 2) une approche d'instanciation du modèle de représentation pivot, fondée sur une analyse dirigée par la sémantique de l'ontologie, permettant de passer automatiquement des spécifications en langage naturel à leur représentation conceptuelle; et 3) une approche exploitant le formalisme logique de l'ontologie, pour permettre un passage automatique du modèle de représentation pivot vers un langage de spécifications formelles nommé Maude.The main objective of system development is to address requirements. As such, success in its realisation is highly dependent on a requirement specification phase which aims to describe precisely and unambiguously all the characteristics of the system that should be developed. In order to arrive at a set of requirements, a user needs analysis is carried out which involves different parties (stakeholders). The system requirements are generally written in natural language to garantuee a wider understanding. However, since NL texts can contain semantic ambiguities, implicit information, or other inconsistenties, this can lead to diverse interpretations. Hence, it is not easy to specify a set of complete and consistent requirements, and therefore, the specified requirements must be formally checked. Specifications written in NL are not considered to be formal and do not allow for a direct application of formal methods. We must therefore transform NL requirements into formal specifications. The work presented in this thesis was carried out in this framework. The main difficulty of such transformation is the gap between NL requirements and formal specifications. The objective of this work is to propose an approach for an automatic verification of user requirements which are written in natural language and describe a system's expected behaviour. Our approach uses the potential offered by a representation model based on a logical formalism. Our contribution has three main aspects: 1) an OWL-DL ontology based on description logic, used as a pivot representation model that serves as a link between NL requirements to formal specifications; 2) an approach for the instantiation of the pivot ontology, which allows an automatic transformation of NL requirements to their conceptual representations; and 3) an approach exploiting the logical formalism of the ontology in order to automatically translate the ontology into a formal specification language called Maude.PARIS11-SCD-Bib. électronique (914719901) / SudocSudocFranceF