Declarative specification and verification of modern software architecture patterns

dc.contributor.author Asteasuain, Fernando
dc.contributor.author Machuca, Martín Miguel
dc.date.accessioned 2022-12-14T12:40:11Z
dc.date.available 2022-12-14T12:40:11Z
dc.date.issued 2021-3
dc.description.abstract 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.
dc.identifier.citation Asteasuain, F.; Machucaz, M.M. (2020). Declarative specification and verification of modern software architecture patterns. En: Congreso Nacional de Ingeniería Informática y Sistemas de Información, CoNaIISI. 8. 5-6 nov 2020, Córdoba, Argentina. Memoria de trabajos. p.:27-33
dc.identifier.uri https://repositorio.uai.edu.ar/handle/123456789/621
dc.language.iso en
dc.publisher Universidad Tecnológica Nacional. Facultad Regional San Francisco
dc.subject software architecture
dc.subject architectural patterns
dc.subject formal verification
dc.title Declarative specification and verification of modern software architecture patterns
dc.type DOCUMENTOCONF
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0000134023.pdf
Size:
418.24 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: