TY - JOUR A1 - Sánchez Palma, Pedro AU - Letelier Torres, Patricio AU - Ramos Salavert, Isidro AU - Pastor López, Óscar T1 - Modelado conceptual con un lenguaje formal orientado a objeto Y1 - 1999 UR - http://hdl.handle.net/10317/712 AB - El modelado conceptual tiene por objetivo el establecer los requisitos funcionales del sistema. El modelo conceptual establece el vínculo entre el espacio del problema y el espacio de la solución, constituyendo la base para las tareas posteriores en el desarrollo del sistema de información. Los enfoques más populares para abordar el modelado conceptual están basados en notaciones informales, donde la verificación y validación suelen ser poco exhaustivas y difíciles de realizar. Los métodos formales ofrecen una mejora en estos aspectos pero su introducción en entornos industriales de desarrollo de software no se ha popularizado por carencia de métodos y herramientas adecuadas. OASIS es un enfoque formal para el modelado conceptual orientado a objeto. En OASIS, desde sus primeras versiones se ha puesto especial hincapié en su utilización como modelo subyacente en métodos y herramientas de aplicabilidad industrial. Así, siguiendo el modelo OASIS, se han desarrollado una serie de herramientas integradas en un entorno CASE y un método ad hoc denominadoOO-METHOD. Este artículo presenta algunas de las principales características incluidas en la última versión de OASIS. Se describen brevemente los conceptos generales del modelo OASIS y se recorren algunos aspectos del lenguaje de especificación asociado. KW - Lenguajes y Sistemas Informáticos KW - Ingeniería de requisitos KW - Modelo conceptual KW - Modelado orientado a objeto KW - OASIS LA - spa PB - Centro Latinoamericano de Estudios en Informática (CLEI) ER -