Presentation | 2011-11-18 Consistency Analysis between UML State Machine and Activity Diagram Masato NOMURA, Yoshiyuki SHINKAWA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | UML activity diagram represents the behavior of a process including interactions between objects. On the other hand, state machine diagram describes the behavior of an individual object based on state transitions. Therefore, these diagrams related by the "whole and parts" relationship, and must be consistent each other. However, UML does not provides us with a way to evaluate this consistency. If there are consistencies between these diagrams, the system developed using these diagrams contains conflicts, which may cause several problems. This paper presents a rigorous way to define and evaluate the consistency between these diagrams, using Coloured Petri Nets (CPN) as a common notation. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | UML / State Machine Diagrams / Activity Diagrams / Coloured Petri Nets |
Paper # | SWIM2011-29 |
Date of Issue |
Conference Information | |
Committee | SWIM |
---|---|
Conference Date | 2011/11/11(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) | Consistency Analysis between UML State Machine and Activity Diagram |
Sub Title (in English) | |
Keyword(1) | UML |
Keyword(2) | State Machine Diagrams |
Keyword(3) | Activity Diagrams |
Keyword(4) | Coloured Petri Nets |
1st Author's Name | Masato NOMURA |
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 | 2011-11-18 |
Paper # | SWIM2011-29 |
Volume (vol) | vol.111 |
Number (no) | 308 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |