The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them.
@inproceedings{CoutoC:2019, author = {R. Couto and J.C. Campos}, title = {IVY 2 - A model-based analysis tool}, booktitle = {The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019}, abstract = {The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them.}, year = {2019}, pages = {5:1--5:6}, publisher = {ACM}, doi = {10.1145/3319499.3328228} }
Generated by mkBiblio 2.6.26