Especificación de la red móvil mediante un enfoque formal similar a wp
Ver/
Citación
Comparte este contenido
Fecha
2005-12-01Otros contribuidores
Metadatos
Mostrar el registro completo del ítemDocumentos PDF
Resumen
El documento tiene como objetivo proporcionar un sistema formal, motivado por la condición previa más débil de Dijkstra
lógica, para especificar la red móvil. El documento muestra cómo se puede especificar la movilidad utilizando un
enfoque basado en el estado y la transición, que permite que los hosts móviles sean tratados como nodos en un
sistema distribuido estructurado estáticamente tradicional. Otro objetivo es razonar formalmente sobre la
posibles comportamientos de un sistema formado por componentes móviles. El procedimiento de entrega sirve
como una ilustración para la notación. La contribución del artículo es el desarrollo de un estilo de
modelado y razonamiento sobre las propiedades temporales que permite una
análisis exhaustivo de los sistemas móviles.
Palabras clave
Innovaciones tecnológicas; Ciencia de los computadores; Desarrollo de tecnología; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y las comunicacionesKeywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Weakest precondition; Mobile computing; Specification verification; Safety; HandoverEnlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 6 Núm. 2 (2005): Revista Colombiana de Computación; 1-19
Enlace a este registro en el Repositorio Institucional UNAB
http://hdl.handle.net/20.500.12749/9021
Comentarios