Modelos de Conocimiento Basados en Ontologías para la ...

Capítulo 2. El software en ingeniería de control
se presentará la evolución de estas herramientas en cuanto a la forma en la que
implementan la representación de la información, de modo que se puedan
comprobar las diferentes aproximaciones al problema, así como las tendencias
actuales. Prácticamente en todos los casos existen experiencias relacionadas con la
aplicación de las ideas provenientes del campo de la ingeniería del conocimiento y
las ontologías, pero se ha preferido dejar estas exposiciones para la sección 3.5,
una vez que se haya introducido el concepto de ontología.
2.2.1 Los lenguajes de modelado y simulación
La evolución del software CACSD en su componente de representación simbólica
ha estado marcada en gran medida por los aspectos relacionados con las tareas de
modelado y simulación, en definitiva por la necesidad de reducir tiempos y costes
en esas tareas con la ayuda del ordenador. Esta evolución puede resumirse con la
de los lenguajes de programación dedicados a estos fines. Se puede citar CSSL o
ACSL (Michel y Gauthier Associates, 1996) como la herramienta y lenguaje
estándar para representar sistemas de ecuaciones diferenciales ordinarias que
describen la dinámica de sistemas continuos. La aparición de herramientas como
DYMOLA (Elmqvist, 1978), supusieron la posibilidad de representar estas
ecuaciones diferenciales sin establecer la causalidad a priori, lo que dio opción a
que un mismo modelo pudiese ser usado en problemas diferentes. OMOLA
(Mattson et. al., 1993) surgió como un sucesor de DYMOLA en el que se utilizan
las técnicas de creación de software orientado a objetos para crear un lenguaje de
modelado gráfico y modular. Esto permitió, por primera vez, la reutilización de un
modelo de un problema en otro diferente. La posibilidad de crear librerías de
objetos y componentes permitió construir herramientas que pudiesen ser utilizadas
para diferentes dominios físicos y sistemas en los que se mezclan varios de esos
dominios. MODELICA (Mattson y Elmqvist, 1997) es un ejemplo de herramienta
que pretende unificar los aspectos de modelado de sistemas que contengan
componentes mecánicos, eléctricos, electrónicos, hidráulicos, térmicos, de control,
de potencia o relacionados con procesos industriales.
Esta evolución en las herramientas y lenguajes de modelado y simulación dio
lugar a la conclusión de que, para manejar la complejidad en un modelo, es
imprescindible contar con mecanismos que permitan reutilizar las estructuras de
modelado existentes. Para que esto sea posible es necesario, por un lado, contar
con un mecanismo de representación de alto nivel (los objetos y componentes en
este caso) y, por otro, crear formatos de representación estandarizados a los que
todos los desarrolladores se puedan remitir al crear sus modelos.
15