Formalização e verificação de modelos de estilo arquitetural de software [Portuguese]

By Ashish Kumar Dwivedi

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.

• Format: Paperback
• Language: Portuguese
• ISBN: 620243368X
• ISBN13: 9786202433686
• Release Date: September 2025
• Publisher: Edicoes Nosso Conhecimento
• Length: 88 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"