状态转移模型演化构建的基础

Proceedings. 7th International Workshop on Principles of Software Evolution, 2004. Pub Date : 2004-09-06 DOI:10.1109/IWPSE.2004.1334779

Toshiaki Aoki, T. Katayama

{"title":"状态转移模型演化构建的基础","authors":"Toshiaki Aoki, T. Katayama","doi":"10.1109/IWPSE.2004.1334779","DOIUrl":null,"url":null,"abstract":"We are working on the verification of object-oriented design models using a theorem proving system HOL. One of big problems to verify software is that the cost of interactive proofs to be done during the verification is very expensive. To reduce that cost, we are proposing an approach which allows us to reuse proofs and construct models evolutionally. We focus on evolutionary construction of the models and propose foundations to deal with it.","PeriodicalId":359040,"journal":{"name":"Proceedings. 7th International Workshop on Principles of Software Evolution, 2004.","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Foundations for evolutionary construction of state transition models\",\"authors\":\"Toshiaki Aoki, T. Katayama\",\"doi\":\"10.1109/IWPSE.2004.1334779\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We are working on the verification of object-oriented design models using a theorem proving system HOL. One of big problems to verify software is that the cost of interactive proofs to be done during the verification is very expensive. To reduce that cost, we are proposing an approach which allows us to reuse proofs and construct models evolutionally. We focus on evolutionary construction of the models and propose foundations to deal with it.\",\"PeriodicalId\":359040,\"journal\":{\"name\":\"Proceedings. 7th International Workshop on Principles of Software Evolution, 2004.\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. 7th International Workshop on Principles of Software Evolution, 2004.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWPSE.2004.1334779\",\"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. 7th International Workshop on Principles of Software Evolution, 2004.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWPSE.2004.1334779","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们正在使用一个定理证明系统HOL来验证面向对象的设计模型。验证软件的一个大问题是，在验证过程中进行交互证明的成本非常昂贵。为了降低成本，我们提出了一种方法，该方法允许我们重用证明并逐步构建模型。重点讨论了模型的演化构建，并提出了处理模型演化的基础。

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

查看原文本刊更多论文

Foundations for evolutionary construction of state transition models

We are working on the verification of object-oriented design models using a theorem proving system HOL. One of big problems to verify software is that the cost of interactive proofs to be done during the verification is very expensive. To reduce that cost, we are proposing an approach which allows us to reuse proofs and construct models evolutionally. We focus on evolutionary construction of the models and propose foundations to deal with it.

求助全文

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

来源期刊

Proceedings. 7th International Workshop on Principles of Software Evolution, 2004.

自引率

0.00%

发文量