A Study on Re-Constructibility of Event Structures

• IZAWA Marika

  Graduate School of Engineering, Osaka University

• MIYAMOTO Toshiyuki

  Graduate School of Engineering, Osaka University

抄録

The choreography realization problem is a design challenge for systems based on service-oriented architecture. In our previous studies, we studied the problem on a case where choreography was given by one or two scenarios and was expressed by an acyclic relation of events; we introduced the notion of re-constructibility as a property of acyclic relations to be satisfied. However, when choreography is defined by multiple scenarios, the resulting behavior cannot be expressed by an acyclic relation. An event structure is composed of an acyclic relation and a conflict relation. Because event structures are a generalization of acyclic relations, a wider class of systems can be expressed by event structures. In this paper, we propose the use of event structures to express choreography, introduce the re-constructibility of event structures, and show a necessary condition for an event structure to be re-constructible.

収録刊行物

• IEICE Transactions on Information and Systems

  IEICE Transactions on Information and Systems E103.D (8), 1810-1813, 2020-08-01

  一般社団法人 電子情報通信学会

キーワード

• SOA
• model-based development
• event structure
• re-constructibility
• choreography realization problem

詳細情報

• CRID: 1390003825203411584
• NII論文ID: 130007883622
• DOI: 10.1587/transinf.2019fol0002
• ISSN: 17451361
• ISSN: 09168532
• Web Site: https://www.jstage.jst.go.jp/article/transinf/E103.D/8/E103.D_2019FOL0002/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可