| Presentation | 2012-01-26 Architectual Point Mapping for Bidirectional Traceability between Design and Code Naoyasu UBAYASHI, Yasutaka KAMEI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Well-designed architecture leads to high-quality systems. However, it is not easy to design architecture reflecting the intention of developers and implement the result of design as a program while preserving the architectural correctness. To deal with this problem, this paper proposes two novel ideas: Archpoint (Architectural point) and Archmapping (Archpoint Mapping). Archpoints are points for representing the essence of architectural design in terms of behavioral and structural aspects. Archmapping is a mechanism for checking the bidirectional traceability between design and code. The traceability can be verified by checking whether archpoints in design are consistently mapped to program points in code. For this checking, we use an SMT (Satisfiability Modulo Theories) solver. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Architecture / bidirectional traceability / architectural point / SMT solver |
| Paper # | MSS2011-57,SS2011-42 |
| Date of Issue |
| Conference Information | |
| Committee | MSS |
|---|---|
| Conference Date | 2012/1/19(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Mathematical Systems Science and its applications(MSS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Architectual Point Mapping for Bidirectional Traceability between Design and Code |
| Sub Title (in English) | |
| Keyword(1) | Architecture |
| Keyword(2) | bidirectional traceability |
| Keyword(3) | architectural point |
| Keyword(4) | SMT solver |
| 1st Author's Name | Naoyasu UBAYASHI |
| 1st Author's Affiliation | Faculty of Information Science and Electrical Engineering, Kyushu University() |
| 2nd Author's Name | Yasutaka KAMEI |
| 2nd Author's Affiliation | Faculty of Information Science and Electrical Engineering, Kyushu University |
| Date | 2012-01-26 |
| Paper # | MSS2011-57,SS2011-42 |
| Volume (vol) | vol.111 |
| Number (no) | 405 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |