A method for mapping between ASMs and implementation language
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2010.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/57985 |
| _version_ | 1826204389765808128 |
|---|---|
| author | Wang, David Cheng-Ping |
| author2 | I. Kristina Lundqvist and R. John Hansman. |
| author_facet | I. Kristina Lundqvist and R. John Hansman. Wang, David Cheng-Ping |
| author_sort | Wang, David Cheng-Ping |
| collection | MIT |
| description | Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2010. |
| first_indexed | 2024-09-23T12:54:18Z |
| format | Thesis |
| id | mit-1721.1/57985 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T12:54:18Z |
| publishDate | 2010 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/579852019-04-12T21:55:31Z A method for mapping between ASMs and implementation language Wang, David Cheng-Ping I. Kristina Lundqvist and R. John Hansman. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Aeronautics and Astronautics. Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2010. Cataloged from PDF version of thesis. Includes bibliographical references (p. 193-196). One of the challenges of model-based engineering is traceability: the ability to relate the set of models developed during the design stages to the implemented system. This thesis develops a language specific method for creating bidirectional traceability, a mapping between model and implementation, suitable for tracing requirements from model through implementation and vice versa. The mapping is created as a byproduct of code generation and reverse engineering, and can be used to subsequently synchronize changes between the model and implementation. The creation of the mapping is specifically demonstrated through generating Java code from an abstract state machine (ASM) based modeling language, called the Timed Abstract State Machine (TASM) language. This code generation process involves a series of three transformations. The first transformation creates a specialised System Dependency Graph (SDG) called a TASM SDG from a TASM specification. (cont.) The second uses Triple Graph Grammars to transform the TASM SDG to a Java SDG (JSDG). The applied grammars are saved as the mapping information. The third transformation procedurally generates Java code. In order to make this methodology possible, this thesis introduces the TASM SDG, as well as a novel algorithm, generally applicable to ASM languages, that explicates state transitions. The approach presented extends the bidirectional traceability capabilities inherent in the TASM language to Java. The code generation technique is demonstrated using an industrial case study from the automotive domain, an Electronic Throttle Controller (ETC). by David Cheng-Ping Wang. S.M. 2010-09-01T13:41:06Z 2010-09-01T13:41:06Z 2010 2010 Thesis http://hdl.handle.net/1721.1/57985 639288594 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 196 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Aeronautics and Astronautics. Wang, David Cheng-Ping A method for mapping between ASMs and implementation language |
| title | A method for mapping between ASMs and implementation language |
| title_full | A method for mapping between ASMs and implementation language |
| title_fullStr | A method for mapping between ASMs and implementation language |
| title_full_unstemmed | A method for mapping between ASMs and implementation language |
| title_short | A method for mapping between ASMs and implementation language |
| title_sort | method for mapping between asms and implementation language |
| topic | Aeronautics and Astronautics. |
| url | http://hdl.handle.net/1721.1/57985 |
| work_keys_str_mv | AT wangdavidchengping amethodformappingbetweenasmsandimplementationlanguage AT wangdavidchengping methodformappingbetweenasmsandimplementationlanguage |