BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
dc.contributor.author | Luo, Zhaoyi | |
dc.contributor.author | Atlee, Joanne M. | |
dc.date.accessioned | 2019-12-23T15:46:20Z | |
dc.date.available | 2019-12-23T15:46:20Z | |
dc.date.issued | 2016-11 | |
dc.description.abstract | In 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.sponsorship | NSERC Discovery Grant, 155243-12 || Ontario Research Fund, RE05-044 | en |
dc.identifier.uri | https://doi.org/10.1145/2997364.2997372 | |
dc.identifier.uri | http://hdl.handle.net/10012/15373 | |
dc.language.iso | en | en |
dc.publisher | ACM | en |
dc.title | BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment | en |
dc.type | Conference Paper | en |
dcterms.bibliographicCitation | Zhaoyi 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.affiliation1 | Faculty of Mathematics | en |
uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
uws.peerReviewStatus | Reviewed | en |
uws.scholarLevel | Faculty | en |
uws.scholarLevel | Graduate | en |
uws.typeOfResource | Text | en |