Even though the formal method community tends to overlook the problem, formal methods are sometimes difficult to use and not accessible to average users. On one hand, this is due to the intrinsic complexity of the methods and, therefore, some level of required expertise is unavoidable. On the other hand, however, the methods are sometimes hard to use because of lack of a user-friendly tool support. In this paper, we present our experience in addressing usability when developing a framework for the Abstract State Machines (ASMs) formal method. In particular, we discuss how we enhanced modeling, validation, and verification activities of an ASM-based development process. We also provide a critical review of which of our efforts have been more successful as well as those that have not obtained the results we were expecting. Finally, we outline other directions that we believe could further lower the adoption barrier of the method.
Addressing usability in a formal development environment / P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Formal Methods : FM 2019 International Workshops[s.l] : Springer, 2020. - ISBN 9783030549930. - pp. 61-76 (( Intervento presentato al 3. convegno World Congress on Formal Methods tenutosi a Porto nel 2019.
|Titolo:||Addressing usability in a formal development environment|
|Parole Chiave:||Abstract State Machines; ASMETA; Usability; Formal methods|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||2020|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1007/978-3-030-54994-7_6|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|
File in questo prodotto:
|afford2019_postProceedings.pdf||Post-print, accepted manuscript ecc. (versione accettata dall'editore)||Administrator Richiedi una copia|
|Arcaini2020_Chapter_AddressingUsabilityInAFormalDe.pdf||Publisher's version/PDF||Administrator Richiedi una copia|