Show simple item record

dc.contributor.authorDay, Nancy A.
dc.contributor.authorVakili, Amirhossein 18:46:38 (GMT) 18:46:38 (GMT)
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
dc.description.abstractWe 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.sponsorshipNatural Sciences and Engineering Research Council of Canadaen
dc.subjecttheory of computationen
dc.titleRepresenting hierarchical state machine models in SMT-LIBen
dc.typeConference Paperen
dcterms.bibliographicCitationNancy 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:
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages