| Título : |
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude |
| Tipo de documento: |
documento electrónico |
| Autores: |
Ölveczky, Peter Csaba, Autor |
| Mención de edición: |
1 ed. |
| Editorial: |
London [UK] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
XVIII, 313 p. 17 ilustraciones, 6 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-1-4471-6687-0 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Ingeniería de software Simulación por ordenador Teoría de las máquinas Red de computadoras Modelado por computadora Lenguajes formales y teoría de los autómatas Redes de comunicación informática |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro de texto probado en el aula proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro utiliza Maude, un lenguaje de reescritura basado en lógica y una herramienta de simulación y verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación funcional y orientado a objetos. Temas y características: Introduce la especificación algebraica clásica y la teoría de reescritura de términos, incluido el razonamiento sobre terminación, confluencia y propiedades ecuacionales. Cubre el modelado orientado a objetos de sistemas distribuidos utilizando lógica de reescritura, así como lógica temporal para especificar los requisitos que debe satisfacer un sistema. Proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafíos de diseño. Los ejemplos incluyen sistemas distribuidos clásicos como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de líder y algoritmos de ejecución mutua. Contiene una gran cantidad de ejercicios, incluidos ejercicios más amplios adecuados para proyectos de cursos, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y resultará invaluable para cualquier estudiante. buscando una introducción fácil de leer a la especificación formal, la lógica y los sistemas de inferencia, y las técnicas automatizadas de verificación de modelos. Dr. Peter Csaba Ölveczky es profesor del Departamento de Informática de la Universidad de Oslo, Noruega. . |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude [documento electrónico] / Ölveczky, Peter Csaba, Autor . - 1 ed. . - London [UK] : Springer, 2017 . - XVIII, 313 p. 17 ilustraciones, 6 ilustraciones en color. ISBN : 978-1-4471-6687-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ingeniería de software Simulación por ordenador Teoría de las máquinas Red de computadoras Modelado por computadora Lenguajes formales y teoría de los autómatas Redes de comunicación informática |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro de texto probado en el aula proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro utiliza Maude, un lenguaje de reescritura basado en lógica y una herramienta de simulación y verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación funcional y orientado a objetos. Temas y características: Introduce la especificación algebraica clásica y la teoría de reescritura de términos, incluido el razonamiento sobre terminación, confluencia y propiedades ecuacionales. Cubre el modelado orientado a objetos de sistemas distribuidos utilizando lógica de reescritura, así como lógica temporal para especificar los requisitos que debe satisfacer un sistema. Proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafíos de diseño. Los ejemplos incluyen sistemas distribuidos clásicos como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de líder y algoritmos de ejecución mutua. Contiene una gran cantidad de ejercicios, incluidos ejercicios más amplios adecuados para proyectos de cursos, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y resultará invaluable para cualquier estudiante. buscando una introducción fácil de leer a la especificación formal, la lógica y los sistemas de inferencia, y las técnicas automatizadas de verificación de modelos. Dr. Peter Csaba Ölveczky es profesor del Departamento de Informática de la Universidad de Oslo, Noruega. . |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Designing Reliable Distributed Systems
