Examinando por Materia "goal"

Mostrando 1 - 2 de 2
  • Miniatura
    PublicaciónSólo datos
    REPRESENTACIÓN DE RELACIONES SEMÁNTICAS ENTRE PROBLEMAS Y OBJETIVOS MEDIANTE LÓGICA DE PREDICADOS (PREDICATE-LOGIC-BASED REPRESENTATION OF SEMANTIC RELATIONSHIPS BETWEEN GOALS AND PROBLEMS)
    (Fondo Editorial EIA - Universidad EIA, 2013-10-01) Zapata, Carlos Mario; Acevedo, Juan Fernando; Moreno, David Andrés
    El mundo organizacional siempre tendrá objetivos que alcanzar y se encontrará en el camino obstáculos que dificultan su consecución. El primer paso para resolver problemas y establecer objetivos es identificarlos y representarlos, lo cual casi siempre se hace por medio del lenguaje natural, evidenciando la carencia de métodos formales para el planteamiento de sus enunciados. Por ello, en este artículo se proponen estructuras para expresar objetivos y problemas de manera que se facilite su análisis y se puedan establecer relaciones semánticas y de consistencia entre ellos, empleando lógica de predicados, ya que este mecanismo permite una traducción directa desde lenguaje natural hacia una representación formal de frases para constatar la veracidad o falsedad del enunciado.Abstract: Organizational world will always have goals to reach and obstacles to fight, in order to reach those goals. Identifying and representing goals and problems are previous stages in solving problems and establishing goals. These tasks are commonly made in natural language, and no formal methods are used on them. For this reason, in this paper we propose first-order-predicate-logic structures for expressing goals and problems, so we can easily analyze them and establish semantic relationships and consistency among them, making a direct translation from natural language to a phrasal formal representation. This representation leads us to assess true-or-false value of statements.
  • Miniatura
    PublicaciónSólo datos
    VALIDACIÓN DEL MÉTODO PARA LA OBTENCIÓN AUTOMÁTICA DEL DIAGRAMA DE OBJETIVOS DESDE ESQUEMAS PRECONCEPTUALES
    (Fondo Editorial EIA - Universidad EIA, 2013-10-04) Zapata, Carlos Mario; Lezcano, Luis Alfonso; Tamayo, Paula Andrea
    Según el CDM (Custom Development Method), el desarrollo de aplicaciones de software suele empezar con una fase de definición, en la cual se determinan los procesos que se realizan en la organización que requiere el software, los problemas que motivan tal desarrollo y, especialmente, los objetivos asociados con las diferentes áreas de la organización. En esta fase, el diagrama de objetivos de KAOS (Knowledge Acquisition Automated Specification) se suele utilizar para describir los objetivos de alto nivel de la organización y dividirlos paulatinamente en subobjetivos hasta alcanzar los requisitos y expectativas de los interesados. El grupo de Ingeniería de Software de la Escuela de Sistemas de la Universidad Nacional de Colombia desarrolló un método para automatizar la obtención del diagrama de objetivos de KAOS a partir de esquemas preconceptuales, que son diagramas que describen los procesos y el vocabulario de una organización que desee desarrollar una aplicación de software. En este artículo se realiza la validación de dicho método, empleando para ello tres casos de estudio incluidos en la literatura especializada.Abstract: According to the Custom Development Method (CDM), the first phase of the software development process is commonly the definition phase. Processes related to the organization in which the software application is needed, problems that motivates the development process, and objectives associated with several organizational areas are determined in this phase. KAOS (Knowledge Acquisition Automated Specification) goal diagram is used in this phase to describe high-level organizational goals and then divide them into sub-objectives concerned with the stakeholder needs and expectations. Software Engineering group of the Escuela de Sistemas of the Universidad Nacional de Colombia developed a method to automate the KAOS goal diagram obtaining from Pre-conceptual Schemas, which are diagrams to describe the organizational processes and vocabulary linked with the software development. We use in this paper three case studies in order to validate such a method. The case studies are reported in specialized papers about this issue.