BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment

dc.contributor.authorLuo, Zhaoyi
dc.contributor.authorAtlee, Joanne M.
dc.date.accessioned2019-12-23T15:46:20Z
dc.date.available2019-12-23T15:46:20Z
dc.date.issued2016-11
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.identifier.urihttps://doi.org/10.1145/2997364.2997372
dc.identifier.urihttp://hdl.handle.net/10012/15373
dc.language.isoenen
dc.publisherACMen
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
uws.peerReviewStatusRevieweden
uws.scholarLevelFacultyen
uws.scholarLevelGraduateen
uws.typeOfResourceTexten

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
SLE16.pdf
Size:
316.71 KB
Format:
Adobe Portable Document Format
Description:

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.47 KB
Format:
Item-specific license agreed upon to submission
Description: