Ponencia en Congreso:
DynAlloy analyzer: a tool for the specification and analysis of Alloy models with dynamic behaviour

Vista sencilla de ítem
dc.contributor.authorRegis, Germán
dc.contributor.authorCornejo, César
dc.contributor.authorGutiérrez Brida, Simón
dc.contributor.authorPolitano, Mariano
dc.contributor.authorRaverta, Fernando
dc.contributor.authorPonzio, Pablo
dc.contributor.authorAguirre, Nazareno
dc.contributor.authorGaleotti, Juan Pablo
dc.contributor.authorFrías, Marcelo
dc.date.accessioned2019-09-24T14:17:27Z
dc.date.available2019-09-24T14:17:27Z
dc.date.issued2017-09
dc.description.abstract"We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and extends their syntax with a particular idiom, inspired in dynamic logic, for the description of dynamic behaviours, understood as sequences of states over standard Alloy models, in terms of programs. The syntax is broad enough to accommodate abstract dynamic behaviours, e.g., using nondeterministic choice and finite unbounded iteration, as well as more concrete ones, using standard sequential programming constructions. The analysis of DynAlloy models resorts to the analysis of Alloy models, through an optimized translation that often makes the analysis more efficient than that of typical ad-hoc constructions to capture dynamism in Alloy."en
dc.identifier.isbn978-1450-351-05-8
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/1764
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/10.1145/3106237.3122826
dc.subjectALLOYen
dc.subjectVALIDACION DE SOFTWAREes
dc.subjectRESPUESTA DINAMICAes
dc.subjectLENGUAJES DE ESPECIFICACIONes
dc.subjectVERIFICACION DE SOFTWAREes
dc.titleDynAlloy analyzer: a tool for the specification and analysis of Alloy models with dynamic behaviouren
dc.typePonencias en Congresoses
dc.typeinfo:eu-repo/semantics/acceptedVersion
dspace.entity.typePonencia en Congreso
itba.description.filiationFil: Regis, Germán. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Cornejo, César. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Gutiérrez Brida, Simón. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Politano, Mariano. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Raverta, Fernando. Universidad Nacional de Córdoba; Argentina.
itba.description.filiationFil: Ponzio, Pablo. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Galeotti, Juan Pablo. Universidad de Buenos Aires; Argentina.
itba.description.filiationFil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Regis_2017_ponencia.pdf
Tamaño:
555.99 KB
Formato:
Adobe Portable Document Format
Descripción:
Ponencia_Regis
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
1.6 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Ingeniería Informática