|
UWSpace >
University of Waterloo >
Electronic Theses and Dissertations (UW) >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10012/4030
|
| Title: | Framework-Specific Modeling Languages |
| Authors: | Antkiewicz, Michal |
| Keywords: | FSMLs
frameworks
framework-specific models
reverse engineering
forward engineering
round-trip engineering
modeling
static analysis
incremental code transformation |
| Approved Date: | 24-Sep-2008 |
| Date Submitted: | 12-Sep-2008 |
| Abstract: | Framework-specific modeling languages (FSMLs) help developers build applications
based on object-oriented frameworks. FSMLs formalize abstractions and rules of the framework's application programming interfaces (APIs) and can express models of how applications use an API. Such models, referred to as framework-specific models, aid developers in understanding, creating, and evolving application code.
We present the concept of FSMLs, propose a way of specifying their abstract syntax and semantics, and show how such language specifications can be interpreted to provide reverse, forward, and round-trip engineering of framework-specific models and framework-based application code.
We present a method for engineering FSMLs that was extracted post-mortem from the
experience of building four such languages. The method is driven by the use cases that the FSMLs under development are to support. We present the use cases, the overall process, and its instantiation for each language. The presentation focuses on providing concrete examples for engineering steps, outcomes, and challenges. It also provides strategies for making engineering decisions.
The presented method and experience are aimed at framework developers and tool
builders who are interested in engineering new FSMLs. Furthermore, the method represents a necessary step in the maturation of the FSML concept. Finally, the presented work offers a concrete example of software language engineering.
FSML engineering formalizes existing domain knowledge that is not present in language form and makes a strong case for the benefits of such formalization.
We evaluated the method and the exemplar languages. The evaluation is both empirical and analytical. The empirical evaluation involved measuring the precision and recall of reverse engineering and verifying the correctness or forward and round-trip
engineering. The analytical evaluation focused on the generality of the method. |
| Program: | Computer Science (Software Engineering) |
| Department: | Electrical and Computer Engineering |
| Degree: | Doctor of Philosophy |
| URI: | http://hdl.handle.net/10012/4030 |
| Appears in Collections: | Faculty of Engineering Theses and Dissertations
Electronic Theses and Dissertations (UW)
|
This item is protected by original copyright
|
All items in UWSpace are protected by copyright, with all rights reserved.
|
