Presentation | 2012-11-02 A Study on Modeling and Analysis in Model-Based Development Yusuke CHIBA, Toshimitsu INOMATA, Yoshikazu ARAI, Shintaro IMAI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we considered an analytical method for UML models in the model based development. We attempted to transform UML models to Petri nets and analyze it. From this result, we concluded that the analysis method with Petri nets is effective to analyze the property that is satisfied by UML models, consistency between models and model equivalence. Our method decreases reworking in lower process through the quality assurance of software design in upper process. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Model-Based Development / UML / Discrete Event Systems / Petri Nets |
Paper # | CAS2012-58,MSS2012-38 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2012/10/25(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) | A Study on Modeling and Analysis in Model-Based Development |
Sub Title (in English) | |
Keyword(1) | Model-Based Development |
Keyword(2) | UML |
Keyword(3) | Discrete Event Systems |
Keyword(4) | Petri Nets |
1st Author's Name | Yusuke CHIBA |
1st Author's Affiliation | Graduate School of Software and Information Science, Iwate Prefectural University() |
2nd Author's Name | Toshimitsu INOMATA |
2nd Author's Affiliation | Graduate School of Software and Information Science, Iwate Prefectural University |
3rd Author's Name | Yoshikazu ARAI |
3rd Author's Affiliation | Graduate School of Software and Information Science, Iwate Prefectural University |
4th Author's Name | Shintaro IMAI |
4th Author's Affiliation | Graduate School of Software and Information Science, Iwate Prefectural University |
Date | 2012-11-02 |
Paper # | CAS2012-58,MSS2012-38 |
Volume (vol) | vol.112 |
Number (no) | 274 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |