Especificación de la red móvil mediante un enfoque formal similar a wp
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 ho...
- Autores:
-
Kumar Singh, Awadhesh
Ghanekar, Umesh
Bandyopadhyay, Anup Kumar
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2005
- Institución:
- Universidad Autónoma de Bucaramanga - UNAB
- Repositorio:
- Repositorio UNAB
- Idioma:
- spa
- OAI Identifier:
- oai:repository.unab.edu.co:20.500.12749/9021
- Acceso en línea:
- http://hdl.handle.net/20.500.12749/9021
- Palabra 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 comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Weakest precondition
Mobile computing
Specification verification
Safety
Handover
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
Condición previa más débil
Computación móvil
Especificación
Verificación
Seguridad
Entregar
- Rights
- License
- Derechos de autor 2005 Revista Colombiana de Computación
Summary: | 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. |
---|