Presentation | 2011/11/10 A UML Subset for Design and Verification of Systems Based on SOA Yasuwo HASEGAWA, Hayato NIIMURA, Toshiyuki MIYAMOTO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | SOA has received attension as an architecture which enables developping information systems in a short time. For efficient development of systems based on SOA, a formal expressive framework is needed to integrate seamlessly design and verification. In this paper, we propose a subset of UML including communication diagrams and state machine diagrams. It enables us to uniformly describe choreography where synchronous and asynchronous communications coexist and behavioral model of services. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | SOA / UML / communication diagram / state machine diagram / synchronous and asynchronous / behavior model |
Paper # | MSS2011-48,CAS2011-79 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2011/11/10(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 UML Subset for Design and Verification of Systems Based on SOA |
Sub Title (in English) | |
Keyword(1) | SOA |
Keyword(2) | UML |
Keyword(3) | communication diagram |
Keyword(4) | state machine diagram |
Keyword(5) | synchronous and asynchronous |
Keyword(6) | behavior model |
1st Author's Name | Yasuwo HASEGAWA |
1st Author's Affiliation | Graduate School of Engineering, Osaka University() |
2nd Author's Name | Hayato NIIMURA |
2nd Author's Affiliation | Graduate School of Engineering, Osaka University |
3rd Author's Name | Toshiyuki MIYAMOTO |
3rd Author's Affiliation | Graduate School of Engineering, Osaka University |
Date | 2011/11/10 |
Paper # | MSS2011-48,CAS2011-79 |
Volume (vol) | vol.111 |
Number (no) | 294 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |