Placeholder text

Go to cart

Formalização e verificação de modelos de estilo arquitetural de software

By Dwivedi, Ashish Kumar

Formalização e verificação de modelos de estilo arquitetural de software

By Dwivedi, Ashish Kumar

0 - Default Title
Description
Neste estudo, modelos formais do sistema ATM são descritos usando linguagens baseadas em estados, como Z, B e Alloy, bem como linguagens baseadas em eventos, como Monterey Phoenix. A verificação de modelos está a ser realizada por ferramentas automatizadas, a saber, Z/EVES, Atelier B e Alloy Analyzer para especificações Z, B e Alloy, respetivamente. Além disso, foi apresentada uma análise comparativa das diferentes características apresentadas por várias abordagens formais. A arquitetura de software desempenha um papel importante no design de alto nível de um sistema em termos de componentes, conectores e configurações. O principal elemento constitutivo da arquitetura de software é um estilo arquitetónico que fornece semântica de design específica do domínio. Na análise de estilos arquitetónicos complexos, foi feita uma tentativa no nosso trabalho de formalizar um estilo complexo, por exemplo, C2 (componente e conector), utilizando a linguagem de especificação formal Alloy. Para a verificação da consistência das notações de modelagem, é utilizada a ferramenta de verificação de modelos, por exemplo, Alloy Analyzer.
Product details
Binding:
Paperback
Number of Pages:
88
Publication Date:
2025-09-06
Publisher:
Edições Nosso Conhecimento
Languages:
Original: Portuguese
ISBN10:
620243368X
ISBN13:
9786202433686
GPSR Manufacturer Reference:
[email protected]
Weight:
149 g
Height:
150 cm
Width:
220 cm
Thickness:
6 cm
Buy on Amazon
Currently sold out