domingo, 13 de diciembre de 2015

Modelo Formal
María Jesús Lamarca Lapuente. Hipertexto: El nuevo concepto de documento en la cultura de la imagen.

A Formal Model of Hypertext o modelo Formal fue desarrollado en 1990 por Danny B. Lange dentro del taller sobre Hypertext Standardization, organizado por el National Institute of Standars and Technology. El modelo se define formalmente como especificación del lenguaje VDM (Vienna Development Method)
La motivación central para la definición de este modelo formal fue la falta de métodos para el intercambio y comunicación entre los sistemas de hipertextos existentes. Las investigaciones sobre hipertexto a menudo se dirigían hacia la interfaz de usuario y su implementación. Hasta ese momento hubo muy pocos intentos para suministrar una base formal. David Lange eligió el Vienna Development Method (VDM), porque éste soportaba el desarrollo máximo-mínimo de sistemas de software especificados en una notación apropiada para su verificación formal. 
Como el modelo Dexter, el modelo de Lange pone énfasis en la estructura de datos de los hiperdocumentos. Por consiguiente, Lange llama a esto un modelo de datos de hipertexto. Este modelo de datos define nodosenlacesestructuras de red, etc. El modelo va más lejos que el modelo de Dexter al analizar dentro de los nodos de un hiperdocumento para encontrar rastros (slots), botones (buttons)  y campos (fiels). El modelo de datos básico se extiende aún más hasta constituir un verdadero modelo orientado a objetos. 

Como resultado de la importancia dada al modelo de datos, en este modelo se excluyen la presentación del hipertexto y la navegación semántica. Las aplicaciones podrían solamente operar en un hiperdocumento a través de operaciones especificadas y los objetos de datos podrían no ser conscientes de las aplicaciones y sus relaciones semánticas.  Por medio de la adición de los aspectos de persistencia del modelo orientado a objetos, se puede obtener un modelo de base de datos orientado a objetos.  De esta manera podrían solventarse la distribución, gestión de la versión y el control  de acceso dentro del dominio de los sistemas de gestión de objetos.

Existe un gran inconveniente en el modelo de Lange y radica en el fuerte énfasis que da a la información textual. Esto posibilita describir de forma más detallada la estructura interna de los nodos, pero la consecuencia es que el modelo no satisface la descripción de sistemashipermedia. Por otro lado, algunas de las descripciones detalladas en el modelo reducen la generalidad de éste, incluso para los sistemas puramente hipertextuales basados en el texto. 


 

Bibliografía:

 BJøRNER, D. and  JONES, C.B. Formal Specification & Software Development. Pretice-Hall International, 1982. [Volver]
 DE BRA, A. Formal Model of Hypertext. Eindhoven University of Technology.  http://wwwis.win.tue.nl/
 LANGE, D.B. A Formal Model of Hypertext, NIST Hypertext Standardization Workshop, February 1990. [Volver]
 LANGE, D. "An object-oriented design approach for developing hypermedia information systems". Journal of Organizational Computing and Electronic Commerce, 6(3). 1996.

 LANGE, D. "A Formal Approach to Hypertext using Post-Prototype Formal Specification". VDM Europe 1990.  

No hay comentarios:

Publicar un comentario