dc.contributor.author | Day, Nancy A. | |
dc.contributor.author | Vakili, Amirhossein | |
dc.date.accessioned | 2020-07-06 18:46:38 (GMT) | |
dc.date.available | 2020-07-06 18:46:38 (GMT) | |
dc.date.issued | 2016-05 | |
dc.identifier.uri | https://doi.org/10.1145/2896982.2896990 | |
dc.identifier.uri | http://hdl.handle.net/10012/16032 | |
dc.description | © ACM 2016. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in MiSE '16: Proceedings of the 8th International Workshop on Modeling in Software Engineering https://doi.org/10.1145/2896982.2896990. | en |
dc.description.abstract | We motivate and present a proposal for how to represent the syntax of behavioural models written in extended finite-state machine languages with hierarchical states (e.g., the Statecharts family) in SMT-LIB. By including the state structure explicitly in the SMT-LIB model, our goal is to facilitate effective automated deductive reasoning, which can exploit the structure found in the state hierarchy. We present a novel method that combines deep and shallow encoding techniques to describe models that have both state hierarchy and use the rich datatypes found in SMT-LIB. Our representation permits varying semantics to be chosen for the syntax recognizing the rich variety of semantics that exist for this family of modelling languages. We hope that discussion of these representation issues will facilitate model sharing for investigation of analysis techniques. | en |
dc.description.sponsorship | Natural Sciences and Engineering Research Council of Canada | en |
dc.language.iso | en | en |
dc.publisher | ACM | en |
dc.subject | theory of computation | en |
dc.subject | logic | en |
dc.title | Representing hierarchical state machine models in SMT-LIB | en |
dc.type | Conference Paper | en |
dcterms.bibliographicCitation | Nancy A. Day and Amirhossein Vakili. 2016. Representing hierarchical state machine models in SMT-LIB. In Proceedings of the 8th International Workshop on Modeling in Software Engineering (MiSE ’16). Association for Computing Machinery, New York, NY, USA, 67–73. DOI:https://doi.org/10.1145/2896982.2896990 | en |
uws.contributor.affiliation1 | Faculty of Mathematics | en |
uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
uws.typeOfResource | Text | en |
uws.peerReviewStatus | Reviewed | en |
uws.scholarLevel | Faculty | en |
uws.scholarLevel | Graduate | en |