International Workshop on Automated Specification and Verification of Web Sites最新文献

筛选

英文中文

Incremental Construction of Counterexamples in Model Checking Web Documents Web文档模型检查中反例的增量构造

International Workshop on Automated Specification and Verification of Web Sites Pub Date : 1900-01-01 DOI: 10.29007/c8jt

Franz Weitl, S. Nakajima

{"title":"Incremental Construction of Counterexamples in Model Checking Web Documents","authors":"Franz Weitl, S. Nakajima","doi":"10.29007/c8jt","DOIUrl":"https://doi.org/10.29007/c8jt","url":null,"abstract":"A new algorithm for incrementally generating counterexamples for the temporal description logic ALCCTL is presented. ALCCTL is a decidable combination of the description logic ALC and computation tree logic CTL that is expressive for content- and structure-related properties of web documents being verified by model checking. In the case of a specification violation, existing model checkers provide a single counterexample which may be large and complex. We extend existing algorithms for generating counterexamples in two ways. First, a coarse counterexample is generated initially that can be refined subsequently to the desired level of detail in an incremental manner. Second, the user can choose where and in which way a counterexample is refined. This enables the interactive step-by-step analysis of error scenarios according to the user’s interest. We demonstrate in a case study on a web-based training document that the proposed approach reveals more errors and explains the cause of errors more precisely than the counterexamples of existing model checkers. In addition, we demonstrate that the proposed algorithm is sufficiently fast to enable smooth interaction even in the case of large documents.","PeriodicalId":233765,"journal":{"name":"International Workshop on Automated Specification and Verification of Web Sites","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128017229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

EasyChair 安乐椅

International Workshop on Automated Specification and Verification of Web Sites Pub Date : 1900-01-01 DOI: 10.29007/n94r

A. Voronkov

引用次数: 12

首页上一页