DSpace Repository

Exploring Architectural Model Checking with Declarative Specifications

Show simple item record

dc.contributor.author Asteasuain, Fernando
dc.contributor.author Tarulla, Francisco
dc.date.accessioned 2024-08-08T15:59:30Z
dc.date.available 2024-08-08T15:59:30Z
dc.date.issued 2017
dc.identifier.isbn 978-950-34-1539-9
dc.identifier.other http://sedici.unlp.edu.ar/handle/10915/63796
dc.identifier.uri https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3501
dc.description Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description Fil: Tarulla, Francisco. Universidad de Buenos Aires. Departamento de Computación; Argentina.
dc.description.abstract In this work we explore the FVS language in the context of architectural behavior model checking. FVS holds desirable characteristics for this particular domain. Its flexible notation enables the possibility of performing behavioral exploration when denoting the properties to be satisfied. In addition, FVS expressive power capable of denoting ω-regular properties is useful to denote behavior in a higher level of abstraction. These are two key activities when specifying and validating a system architecture. Given that FVS specifications can be translated into B¨uchi automata they can be used as input in a validation tool like model checkers. In this sense, we conducted industrial relevant case studies to apply our approach in concrete examples.
dc.format.mimetype application/pdf
dc.language.iso eng
dc.publisher Red de Universidades con Carreras en Informática
dc.rights info:eu-repo/semantics/openAccess
dc.subject Software Architectures
dc.subject Model checking
dc.subject Requirements/Specifications
dc.title Exploring Architectural Model Checking with Declarative Specifications
dc.type info:eu-repo/semantics/conferenceObject
dc.type info:ar-repo/semantics/documento de conferencia
dc.type info:eu-repo/semantics/publishedVersion
dcterms.license http://creativecommons.org/licenses/by-nc-sa/4.0/
local.eventos.nombregeneral Congreso Argentino de Ciencias de la Computación
local.eventos.numero XXIII
local.eventos.lugar Argentina


Files in this item

This item appears in the following Collection(s)

  • Trabajos presentados a eventos
    Comunicaciones y presentaciones realizadas en eventos científicos (congresos, encuentros, simposios, jornadas, etc.).

Show simple item record

Search DSpace


Browse

My Account

Statistics