Placeholder text

Go to cart

Formalización y verificación de modelos de estilo arquitectónico de software

By Dwivedi, Ashish Kumar

Formalización y verificación de modelos de estilo arquitectónico de software

By Dwivedi, Ashish Kumar

0 - Default Title
Description
En este estudio se describen modelos formales de sistemas ATM utilizando lenguajes basados en estados, como Z, B y Alloy, así como lenguajes basados en eventos, como Monterey Phoenix. La verificación de modelos se lleva a cabo mediante herramientas automatizadas, a saber, Z/EVES, Atelier B y Alloy Analyzer para especificaciones Z, B y Alloy, respectivamente. Además, se ha presentado un análisis comparativo de las diferentes características que muestran los distintos enfoques formales. La arquitectura de software desempeña un papel importante en el diseño de alto nivel de un sistema en términos de componentes, conectores y configuraciones. El principal componente de la arquitectura de software es un estilo arquitectónico que proporciona una semántica de diseño específica del dominio. En el análisis de estilos arquitectónicos complejos, en nuestro trabajo se ha intentado formalizar un estilo complejo, por ejemplo, C2 (componente y conector), utilizando el lenguaje de especificación formal Alloy. Para la comprobación de la coherencia de las notaciones de modelado, se utiliza la herramienta de verificación de modelos, por ejemplo, Alloy Analyzer.
Product details
Binding:
Paperback
Number of Pages:
88
Publication Date:
2025-09-06
Publisher:
Ediciones Nuestro Conocimiento
Languages:
Original: Spanish
ISBN10:
6202436239
ISBN13:
9786202436236
GPSR Manufacturer Reference:
[email protected]
Weight:
149 g
Height:
150 cm
Width:
220 cm
Thickness:
6 cm
Buy on Amazon
Currently sold out