Show simple item record

dc.contributor.authorLuo, Zhaoyi
dc.date.accessioned2015-10-02 14:50:00 (GMT)
dc.date.available2015-10-02 14:50:00 (GMT)
dc.date.issued2015-10-02
dc.date.submitted2015
dc.identifier.urihttp://hdl.handle.net/10012/9787
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_US
dc.language.isoenen_US
dc.publisherUniversity of Waterloo
dc.subjectModel-driven engineeringen_US
dc.subjectBSMLen_US
dc.subjectmbeddren_US
dc.subjectDSLen_US
dc.subjectState-machine modelling languageen_US
dc.titleIntegrating Semantically Configurable State-machine Models in a C Programming Environmenten_US
dc.typeMaster Thesisen
dc.pendingfalse
dc.subject.programComputer Scienceen_US
uws-etd.degree.departmentComputer Science (David R. Cheriton School of)en
uws-etd.degreeMaster of Mathematicsen
uws.typeOfResourceTexten
uws.peerReviewStatusUnrevieweden
uws.scholarLevelGraduateen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


UWSpace

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