Integrating Semantically Configurable State-machine Models in a C Programming Environment
dc.contributor.author | Luo, Zhaoyi | |
dc.date.accessioned | 2015-10-02T14:50:00Z | |
dc.date.available | 2015-10-02T14:50:00Z | |
dc.date.issued | 2015-10-02 | |
dc.date.submitted | 2015 | |
dc.description.abstract | Model-driven engineering is a popular software-development methodology, which requires suitable domain-specific modelling languages (DSLs) to create models. A DSL requires flexible semantics depending on the domain knowledge. Among DSLs, Big-Step Modelling Languages (BSML) is a family of state-machine modelling languages that vary semantically. In BSML, a model can respond to an environmental input with a big-step which comprises a sequence of small-steps, each of which represents the execution of a set of transitions. The semantics of BSMLs are decomposed into mostly orthogonal semantic aspects with a wide range of semantic options. With configurable semantics, the modeller is able to choose the proper option for each semantic aspect, thus to fulfil their per domain/model semantic requirements. In this thesis we present BSML-mbeddr, a state-machine modelling language with hierarchical states, concurrent regions and configurable semantics, which has implemented a large subset of BSML within the mbeddr C programming language environment. mbeddr is a DSL workbench which provides a tool suite that supports the incremental construction of modular DSLs on top of C, together with a set of predefined DSLs. By implementing on mbeddr, BSML-mbeddr is integrated into mbeddr-C that supports programs made with heterogeneous languages, including a combination of programming language and modelling language. | en |
dc.identifier.uri | http://hdl.handle.net/10012/9787 | |
dc.language.iso | en | en |
dc.pending | false | |
dc.publisher | University of Waterloo | |
dc.subject | Model-driven engineering | en |
dc.subject | BSML | en |
dc.subject | mbeddr | en |
dc.subject | DSL | en |
dc.subject | State-machine modelling language | en |
dc.subject.program | Computer Science | en |
dc.title | Integrating Semantically Configurable State-machine Models in a C Programming Environment | en |
dc.type | Master Thesis | en |
uws-etd.degree | Master of Mathematics | en |
uws-etd.degree.department | Computer Science (David R. Cheriton School of) | en |
uws.peerReviewStatus | Unreviewed | en |
uws.scholarLevel | Graduate | en |
uws.typeOfResource | Text | en |