Integrating Semantically Configurable State-machine Models in a C Programming Environment

dc.contributor.authorLuo, Zhaoyi
dc.date.accessioned2015-10-02T14:50:00Z
dc.date.available2015-10-02T14:50:00Z
dc.date.issued2015-10-02
dc.date.submitted2015
dc.description.abstractModel-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.urihttp://hdl.handle.net/10012/9787
dc.language.isoenen
dc.pendingfalse
dc.publisherUniversity of Waterloo
dc.subjectModel-driven engineeringen
dc.subjectBSMLen
dc.subjectmbeddren
dc.subjectDSLen
dc.subjectState-machine modelling languageen
dc.subject.programComputer Scienceen
dc.titleIntegrating Semantically Configurable State-machine Models in a C Programming Environmenten
dc.typeMaster Thesisen
uws-etd.degreeMaster of Mathematicsen
uws-etd.degree.departmentComputer Science (David R. Cheriton School of)en
uws.peerReviewStatusUnrevieweden
uws.scholarLevelGraduateen
uws.typeOfResourceTexten

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Luo_Zhaoyi.pdf
Size:
2.66 MB
Format:
Adobe Portable Document Format

License bundle

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