creators_name: Hoang, Thai Son creators_name: Itoh, Shinji creators_name: Oyama, Kyohei creators_name: Miyazaki, Kunihiko creators_name: Kuruma, Hironobu creators_name: Sato, Naoto creators_id: hoang.thaison.ex@hitachi.com creators_id: shinji.itoh.wn@hitachi.com creators_id: kyohei.oyama.ec@hitachi.com creators_id: kunihiko.miyazaki.zt@hitachi.com creators_id: hironobu.kuruma.zg@hitachi.com creators_id: naoto.sato.je@hitachi.com type: monograph datestamp: 2015-01-09 04:20:00 lastmod: 2015-04-20 11:17:51 metadata_visibility: show title: Validating the Consistency of Specification Rules ispublished: unpub subjects: deploy_industrial_bus subjects: deploy_method_other subjects: deploy_tooldev_other full_text_status: public monograph_type: technical_report abstract: This paper focuses on the consistency analysis of specification rules, those expressing relationships between input and expected output of systems. We identify the link between Minimal Inconsistent Sets (MISes) of rules and Minimal Unsatisfiable Subsets (MUSes) of constraints. Furthermore, we develop a novel algorithm using SMT solvers for fast enumeration of MUSes, an essential component for practical validation of rules' consistency. We evaluate the algorithm using publicly available benchmarks. Finally, we apply our developed technique to check consistency of specifications rules of examples extracted from actual case studies. date: 2015-01-09 publisher: N/A citation: Hoang, Thai Son and Itoh, Shinji and Oyama, Kyohei and Miyazaki, Kunihiko and Kuruma, Hironobu and Sato, Naoto (2015) Validating the Consistency of Specification Rules. Technical Report. N/A. (Unpublished) document_url: http://deploy-eprints.ecs.soton.ac.uk/465/1/ruleval-techrep.pdf