?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Validating+the+Consistency+of+Specification+Rules&rft.creator=Hoang%2C+Thai+Son&rft.creator=Itoh%2C+Shinji&rft.creator=Oyama%2C+Kyohei&rft.creator=Miyazaki%2C+Kunihiko&rft.creator=Kuruma%2C+Hironobu&rft.creator=Sato%2C+Naoto&rft.subject=Business&rft.subject=Other&rft.subject=Other&rft.description=This+paper+focuses+on+the+consistency+analysis+of+specification+rules%2C+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%2C+we+develop+a+novel+algorithm+using+SMT+solvers+for+fast+enumeration+of+MUSes%2C+an+essential+component+for+practical+validation+of+rules'+consistency.+We+evaluate+the+algorithm+using+publicly+available+benchmarks.+Finally%2C+we+apply+our+developed+technique+to+check+consistency+of+specifications+rules+of+examples+extracted+from+actual+case+studies.&rft.publisher=N%2FA&rft.date=2015-01-09&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F465%2F1%2Fruleval-techrep.pdf&rft.identifier=++Hoang%2C+Thai+Son+and+Itoh%2C+Shinji+and+Oyama%2C+Kyohei+and+Miyazaki%2C+Kunihiko+and+Kuruma%2C+Hironobu+and+Sato%2C+Naoto++(2015)+Validating+the+Consistency+of+Specification+Rules.++Technical+Report.+N%2FA.++++(Unpublished)++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F465%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>