Presentation | 2015-06-17 Choreography Realization by Re-constructible Decomposition of Acyclic Relations 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 referred 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 an acyclic relation. A new notion called re-constructible decomposition of acyclic relations is introduced; a necessary and sufficient condition for a decomposition to be re-constrictible is shown. The condition provides lower and upper bounds of the acyclic relation for the behavioral model. Thus the degree of freedom for behavioral models increases; developing algorithms of synthesizing an intelligible model for users becomes possible. It is also expected that the condition is applied to the case where choreography is given by a set of acyclic relations. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | SOA / model-based development / communication diagram / state machine / choreography realization problem |
Paper # | CAS2015-2,VLD2015-9,SIP2015-33,MSS2015-2 |
Date of Issue | 2015-06-10 (CAS, VLD, SIP, MSS) |
Conference Information | |
Committee | MSS / CAS / SIP / VLD |
---|---|
Conference Date | 2015/6/17(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Otaru University of Commerce |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | System, signal processing and related topics |
Chair | Satoshi Yamane(Kanazawa Univ.) / Satoshi Tanaka(Murata) / Osamu Houshuyama(NEC) / Yusuke Matsunaga(Kyushu Univ.) |
Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) / Toshihiko Takahashi(Niigata Univ.) / Makoto Nakashizuka(Chiba Inst. of Tech.) / Masahiro Okuda(Univ. of Kitakyushu) / Takashi Takenana(NEC) |
Secretary | Morikazu Nakamura(Yamaguchi Univ.) / Toshihiko Takahashi(Toshiba) / Makoto Nakashizuka(Hitachi) / Masahiro Okuda(Tohoku Univ.) / Takashi Takenana(NEC) |
Assistant | Hideki Kinjo(Okinawa Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) / Takamichi Miyata(Chiba Inst. of Tech.) / Ittetsu Taniguchi(Ritsumeikan Univ.) |
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 | ENG-JTITLE |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Choreography Realization by Re-constructible Decomposition of Acyclic Relations |
Sub Title (in English) | |
Keyword(1) | SOA |
Keyword(2) | model-based development |
Keyword(3) | communication diagram |
Keyword(4) | state machine |
Keyword(5) | choreography realization problem |
1st Author's Name | Toshiyuki Miyamoto |
1st Author's Affiliation | Osaka University(Osaka Univ.) |
Date | 2015-06-17 |
Paper # | CAS2015-2,VLD2015-9,SIP2015-33,MSS2015-2 |
Volume (vol) | vol.115 |
Number (no) | CAS-87,VLD-88,SIP-89,MSS-90 |
Page | pp.pp.7-12(CAS), pp.7-12(VLD), pp.7-12(SIP), pp.7-12(MSS), |
#Pages | 6 |
Date of Issue | 2015-06-10 (CAS, VLD, SIP, MSS) |