Placeholder text

Go to cart

Formalizzazione e verifica dei modelli dello stile architettonico del software

By Dwivedi, Ashish Kumar

Formalizzazione e verifica dei modelli dello stile architettonico del software

By Dwivedi, Ashish Kumar

- Default Title
Description
In questo studio vengono descritti modelli formali di sistemi ATM utilizzando linguaggi basati sugli stati quali Z, B e Alloy, nonché linguaggi basati sugli eventi quali Monterey Phoenix. La verifica dei modelli viene effettuata mediante strumenti automatizzati, ovvero Z/EVES, Atelier B e Alloy Analyzer rispettivamente per le specifiche Z, B e Alloy. Inoltre, è stata presentata un'analisi comparativa delle diverse caratteristiche mostrate dai vari approcci formali. L'architettura software svolge un ruolo importante nella progettazione di alto livello di un sistema in termini di componenti, connettori e configurazioni. Il principale elemento costitutivo dell'architettura software è uno stile architettonico che fornisce una semantica di progettazione specifica per il dominio. Nell'analisi di stili architettonici complessi, nel nostro lavoro abbiamo cercato di formalizzare uno stile complesso, ad esempio C2 (componente e connettore), utilizzando il linguaggio di specifica formale Alloy. Per la verifica della coerenza delle notazioni di modellazione, viene utilizzato lo strumento di verifica dei modelli, ad esempio Alloy Analyzer.
Product details
Binding:
Paperback
Number of Pages:
88
Publication Date:
2025-09-06
Publisher:
Edizioni Sapienza
Languages:
Original: Italian
ISBN10:
6202428767
ISBN13:
9786202428767
GPSR Manufacturer Reference:
[email protected]
Weight:
149 g
Height:
150 cm
Width:
220 cm
Thickness:
6 cm
Buy on Amazon
Currently sold out