IVY 2:基于模型的分析工具

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems Pub Date : 2019-06-18 DOI:10.1145/3319499.3328228

Rui Couto, J. C. Campos

{"title":"IVY 2:基于模型的分析工具","authors":"Rui Couto, J. C. Campos","doi":"10.1145/3319499.3328228","DOIUrl":null,"url":null,"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.","PeriodicalId":185267,"journal":{"name":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","volume":"67 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"IVY 2: a model-based analysis tool\",\"authors\":\"Rui Couto, J. C. Campos\",\"doi\":\"10.1145/3319499.3328228\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":185267,\"journal\":{\"name\":\"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems\",\"volume\":\"67 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-06-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3319499.3328228\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3319499.3328228","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

IVY工作台是一个基于模型的工具，支持交互式计算系统的正式验证。它采用基于插件的体系结构来支持灵活的开发模型。多年来，所选择的体系结构解决方案暴露出许多限制，这是由于对某些采用的解决方案的技术弃用和对要支持的验证过程的更好理解造成的。本文介绍了对原有插件基础结构的重新设计和实现，并提出了该工具的新版本:IVY 2。它描述了原始解决方案和新体系结构的局限性，新体系结构采用Java模块系统来解决这些问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

IVY 2: a model-based analysis tool

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

自引率

0.00%

发文量