| Presentation | 2009-11-27 Inter-Model Consistency between UML Class and Sequence Models Akitoshi Takaya, Yoshiyuki Shinkawa, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | UML class diagrams and sequence diagrams are widely used to model a system from a static or a dynamic aspect respectively. When these diagrams depict the same problem domain, they must be consistent, however they have different syntax and semantics, and therefore it is difficult to evaluate the consistency. This paper proposes a technique to evaluate the consistency between them using the SPIN model checker, by mapping VDM-SL based specification of class methods into sequence diagrams. we use state invariants in the sequence diagrams and the pre- and post-conditions of VDM-SL as the consistency metrics. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Model Verification / UML / Promela / LTL / SPIN / VDM-SL |
| Paper # | SWIM2009-16 |
| Date of Issue |
| Conference Information | |
| Committee | SWIM |
|---|---|
| Conference Date | 2009/11/20(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 | Software Interprise Modeling (SWIM) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Inter-Model Consistency between UML Class and Sequence Models |
| Sub Title (in English) | |
| Keyword(1) | Model Verification |
| Keyword(2) | UML |
| Keyword(3) | Promela |
| Keyword(4) | LTL |
| Keyword(5) | SPIN |
| Keyword(6) | VDM-SL |
| 1st Author's Name | Akitoshi Takaya |
| 1st Author's Affiliation | Graduate School of Science & Technology, Ryukoku University() |
| 2nd Author's Name | Yoshiyuki Shinkawa |
| 2nd Author's Affiliation | Graduate School of Science & Technology, Ryukoku University |
| Date | 2009-11-27 |
| Paper # | SWIM2009-16 |
| Volume (vol) | vol.109 |
| Number (no) | 298 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |