Construcción de un modelo conceptual para gramáticas formales y máquinas abstractas con ontologías usando Protégé

Abstract

El presente trabajo describe el desarrollo de un modelo de representación conceptual de un dominio específico, en este caso teoría de gramáticas formales y máquinas abstractas, a través del modelado ontológico, una reciente rama de la inteligencia artificial. Este desarrollo es parte de un proyecto que nos permitirá comparar entre sí las diferentes metodologías y herramientas que suelen utilizarse en la etapa de relevamiento de requerimientos del proceso de desarrollo de software, y por otro lado, permitirá establecer el grado de correspondencia entre la conceptualización de las Máquinas y Gramáticas, ya que al existir un isomorfismo entre ambos dominios, éste debería continuar en los esquemas conceptuales resultantes de la aplicación de cada una de las metodologías comparadas.