Show simple item record

dc.contributor.authorLuo, Zhaoyi
dc.contributor.authorAtlee, Joanne M. 15:46:20 (GMT) 15:46:20 (GMT)
dc.description.abstractIn model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine DSLs for creating executable models that have a complex execution semantics. In this paper, we present BSML-mbeddr, which imbeds a large subset of BSML within the mbeddr C programming environment, thereby extending mbeddr with language constructs for extended, semantically configurable state-machines. We also report on three case studies that exercise the expressiveness of BSML-mbeddr, assess the integrability of BSML-mbeddr into mbeddr, and demonstrate the need to provide support for state-machine models with different execution semantics.en
dc.description.sponsorshipNSERC Discovery Grant, 155243-12 || Ontario Research Fund, RE05-044en
dc.titleBSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environmenten
dc.typeConference Paperen
dcterms.bibliographicCitationZhaoyi Luo and Joanne M. Atlee. 2016. BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment. In Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016). ACM, New York, NY, USA, 105-117. DOI:en
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