DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
| Autor: | Germán Regis, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Juan Pablo Galeotti, Marcelo F. Frias, César Cornejo, Simón Gutiérrez Brida, Nazareno Aguirre |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Spectrum analyzer
Theoretical computer science Syntax (programming languages) Programming language Computer science Alloy 020207 software engineering 02 engineering and technology engineering.material Translation (geometry) computer.software_genre Nondeterministic algorithm Condensed Matter::Materials Science Alloy Analyzer Sequential programming TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS 020204 information systems 0202 electrical engineering electronic engineering information engineering engineering computer Dynamic logic (digital electronics) |
| Zdroj: | ESEC/SIGSOFT FSE |
| Popis: | 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. Tool screencast, binaries and further details available in: http://dc.exa.unrc.edu.ar/tools/dynalloy |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|