Presentation | 2012-01-26 On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics Yasuwo HASEGAWA, Toshiyuki MIYAMOTO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | On developing information system, the methodology to realize required specifications by combine unit parts of system called services is called Service Oriented Architecture (SOA). As a framework to support SOA, we study a method to transform UML communication diagrams, which describe choreography, to state machines, which are behavioral models of services. And we proposed cbUML as a subset of UML for the framework. In this paper, we describe an algorithm to transform communication diagrams to state machines of cbUML, and study the relation of event sequences defined by each models. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | SOA / UML / communication diagram / choreography / state machine diagram / behavior model / formal semantics |
Paper # | MSS2011-59,SS2011-44 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2012/1/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 | 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) | On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics |
Sub Title (in English) | |
Keyword(1) | SOA |
Keyword(2) | UML |
Keyword(3) | communication diagram |
Keyword(4) | choreography |
Keyword(5) | state machine diagram |
Keyword(6) | behavior model |
Keyword(7) | formal semantics |
1st Author's Name | Yasuwo HASEGAWA |
1st Author's Affiliation | Graduate School of Engineering, Osaka University() |
2nd Author's Name | Toshiyuki MIYAMOTO |
2nd Author's Affiliation | Graduate School of Engineering, Osaka University |
Date | 2012-01-26 |
Paper # | MSS2011-59,SS2011-44 |
Volume (vol) | vol.111 |
Number (no) | 405 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |