-
 
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 nodos, enlaces,
estructuras 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 sistemas
hipermedia. 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.
-
| 
