CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa
Declarative specification and verification of modern software architecture patterns
Año: 2021
Idioma: Inglés
Resumen
In this work we explore FVS as an Architectural Description Language (ADL) with the possibility to perform formal verification of architectural behavior. We modeled and specified a collection of architectural patterns including typical ones such as publish/subscribe or blackboard as well as some more modern ones in emergent technologies such as embedded software or cloud computing. Using a model checker tool we were able to formally verify architectural patterns in a concrete case of study: a server’s room monitoring system. The results show the potential of our work in the ADL’s domain.
Integrantes
Fernando Asteasuain (Autor)
Martín Miguel Machuca (Autor)
Archivos
-
Fernando Asteasuain, Martín Miguel Machuca (2020). “Declarative Specification and Verification of Modern Software Architecture Patterns”. 8º Congreso Nacional de Ingeniería Informática – Sistemas de Información CoNaIISI 2020. Universidad Tecnológica Nacional, Facultad Regional San Francisco. San Francisco, Córdoba, Argentina. 5 y 6 de noviembre de 2020.
21- Asteasuain-Machuca - Declarative Specification and Verification of Modern Software Architecture Patterns - CONAIISI 2020.pdf