| Presentation | 2016-07-13 A Method to Revise Message Ordering in Sequence Diagram Kozo Okano, Satoshi Harauchi, Yosuke Tajima, Shinpei Ogata, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | For software specification, a lot of methods have been proposed in order to localize defects and to fixdefects automatically. Fast identification of such a defect is strongly desired. This report proposes a method toidentify ambiguousness of message ordering in a sequence diagram which is frequently used in specification of a target system to development. The proposed method detects such ambiguousness and proposes fixed diagrams for a given sequence diagram with designated objects which are not changed their design specification. In order to search exhaustively ambiguousness, we use model checking techniques. The behavior of a given sequence diagram is translated into a model and ambiguousness is represented in logic expressions to be checked. The proposed system also gives the location and fixed diagrams to a user. The system comprises part of UML 2.0. Thus we can express some of interaction operators. Experiment results show usefulness of our approach. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Sequence Diagram / Design Verification / Model Checking |
| Paper # | SS2016-2,KBSE2016-8 |
| Date of Issue | 2016-07-06 (SS, KBSE) |
| Conference Information | |
| Committee | KBSE / SS / IPSJ-SE |
|---|---|
| Conference Date | 2016/7/13(3days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
| Vice Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) |
| Secretary | Fumihiro Kumeno(Shinshu Univ.) / Akio Nakata(Nippon Inst. of Tech.) / (Tokyo Inst. of Tech.) |
| Assistant | Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Method to Revise Message Ordering in Sequence Diagram |
| Sub Title (in English) | |
| Keyword(1) | Sequence Diagram |
| Keyword(2) | Design Verification |
| Keyword(3) | Model Checking |
| 1st Author's Name | Kozo Okano |
| 1st Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 2nd Author's Name | Satoshi Harauchi |
| 2nd Author's Affiliation | Mitsubishi Electric Corporation(Mitsubishi Electric Corp.) |
| 3rd Author's Name | Yosuke Tajima |
| 3rd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 4th Author's Name | Shinpei Ogata |
| 4th Author's Affiliation | Shinshu University(Shinshu Univ.) |
| Date | 2016-07-13 |
| Paper # | SS2016-2,KBSE2016-8 |
| Volume (vol) | vol.116 |
| Number (no) | SS-127,KBSE-128 |
| Page | pp.pp.7-12(SS), pp.7-12(KBSE), |
| #Pages | 6 |
| Date of Issue | 2016-07-06 (SS, KBSE) |