Presentation | 2019-07-31 A Study on Reconstructibility of Event Structures Marika Izawa, Toshiyuki Miyamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The choreography realization problem is a design problem of systems based on service-oriented architecture. In our previous studies, we assumed that choreography is given by a set of acyclic relations on the set of events. In this paper, we assume that choreography is given by event structures. In order to realize choreography, an event structure must satisfy a property called reconstructibility. In this paper, we study the condition that an event structure can be reconstructed. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | SOA / model-based development / event structure / reconstructibility / choreography realization problem |
Paper # | CAS2019-19,VLD2019-25,SIP2019-35,MSS2019-19 |
Date of Issue | 2019-07-23 (CAS, VLD, SIP, MSS) |
Conference Information | |
Committee | MSS / CAS / SIP / VLD |
---|---|
Conference Date | 2019/7/30(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Iwate Univ. |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) / Naoyuki Aikawa(TUS) / Nozomu Togawa(Waseda Univ.) |
Vice Chair | Atsuo Ozaki(Osaka Inst. of Tech.) / Yasuhiro Takashima(Univ. of Kitakyushu) / Kazunori Hayashi(Osaka City Univ) / Yukihiro Bandou(NTT) / Daisuke Fukuda(Fujitsu Labs.) |
Secretary | Atsuo Ozaki(Osaka Univ.) / Yasuhiro Takashima(Hokkaido Univ.) / Kazunori Hayashi(Hitachi) / Yukihiro Bandou(Yamanashi Univ.) / Daisuke Fukuda(Hiroshima Univ.) |
Assistant | Naoki Hayashi(Osaka Univ.) / Hiroki Sato(Sony LSI Design) / Motoi Yamaguchi(Renesas Electronics) / / Kazuki Ikeda(Hitachi) |
Paper Information | |
Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on VLSI Design Technologies |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Study on Reconstructibility of Event Structures |
Sub Title (in English) | |
Keyword(1) | SOA |
Keyword(2) | model-based development |
Keyword(3) | event structure |
Keyword(4) | reconstructibility |
Keyword(5) | choreography realization problem |
1st Author's Name | Marika Izawa |
1st Author's Affiliation | Osaka University(Osaka Univ.) |
2nd Author's Name | Toshiyuki Miyamoto |
2nd Author's Affiliation | Osaka University(Osaka Univ.) |
Date | 2019-07-31 |
Paper # | CAS2019-19,VLD2019-25,SIP2019-35,MSS2019-19 |
Volume (vol) | vol.119 |
Number (no) | CAS-153,VLD-154,SIP-155,MSS-156 |
Page | pp.pp.83-88(CAS), pp.83-88(VLD), pp.83-88(SIP), pp.83-88(MSS), |
#Pages | 6 |
Date of Issue | 2019-07-23 (CAS, VLD, SIP, MSS) |