| Presentation | 2017-01-26 A Study on Realizability of Choreography Given by Two Communication Diagrams Toshiki Kinoshita, Toshiyuki Miyamoto, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, for each service configuring the system from an abstract specification, which is reffered to as choreography, is known as the choreography realization problem. In this paper, we consider the condition for the behavioral model when choreography is given by two acyclic relations, and conflicts exist between scenarios. The condition is given by the length and number of cycles in the directed graph that represents combined relation of two scenarios. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | service-oreinted architecture / unified modeling language / choreography realization problem / automatic synthesis / model-based development |
| Paper # | MSS2016-61,SS2016-40 |
| Date of Issue | 2017-01-19 (MSS, SS) |
| Conference Information | |
| Committee | MSS / SS |
|---|---|
| Conference Date | 2017/1/26(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kyoto Institute of Technology |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Satoshi Yamane(Kanazawa Univ.) / Kazuhiro Ogata(JAIST) |
| Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) / Akio Nakata(Hiroshima City Univ.) |
| Secretary | Morikazu Nakamura(Yamaguchi Univ.) / Akio Nakata(Toshiba) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Software Science |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Study on Realizability of Choreography Given by Two Communication Diagrams |
| Sub Title (in English) | A Study on a Case where Conflicts Exist Between Scenarios |
| Keyword(1) | service-oreinted architecture |
| Keyword(2) | unified modeling language |
| Keyword(3) | choreography realization problem |
| Keyword(4) | automatic synthesis |
| Keyword(5) | model-based development |
| 1st Author's Name | Toshiki Kinoshita |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Toshiyuki Miyamoto |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2017-01-26 |
| Paper # | MSS2016-61,SS2016-40 |
| Volume (vol) | vol.116 |
| Number (no) | MSS-425,SS-426 |
| Page | pp.pp.25-30(MSS), pp.25-30(SS), |
| #Pages | 6 |
| Date of Issue | 2017-01-19 (MSS, SS) |