Presentation | 2010-02-26 Description and Verification of Time Constraints in UML Sequence Diagrams Yoshihiro YASUDA, Yoshiyuki SHINKAWA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In UML2.0, it is possible to describe time constraints in sequence diagrams. However it seems difficult to validate or verify the constraints, since no capability is provided by UML for this verification. Therefore, we need to use appropriate tools that can verify the time constraints. This paper presents a verification process for the time constraints in UML sequence diagrams using UPPAAL. Since UPPAAL is based on timed automata, the sequence diagrams have to be transformed into timed automata. We propse two different transformation rules for the verification. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | |
Paper # | SWIM2009-24 |
Date of Issue |
Conference Information | |
Committee | SWIM |
---|---|
Conference Date | 2010/2/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 | Software Interprise Modeling (SWIM) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Description and Verification of Time Constraints in UML Sequence Diagrams |
Sub Title (in English) | |
Keyword(1) | |
1st Author's Name | Yoshihiro YASUDA |
1st Author's Affiliation | Department of Science and Engineering, Ryukoku University() |
2nd Author's Name | Yoshiyuki SHINKAWA |
2nd Author's Affiliation | Department of Science and Engineering, Ryukoku University |
Date | 2010-02-26 |
Paper # | SWIM2009-24 |
Volume (vol) | vol.109 |
Number (no) | 430 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |