IEICE TRANSACTIONS on Information
A Study on Re-Constructibility of Event Structures
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E103-D No.8 pp.1810-1813
- Publication Date
- 2020/08/01
- Publicized
- 2020/03/27
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.2019FOL0002
- Type of Manuscript
- Special Section LETTER (Special Section on Formal Approaches)
- Category
- Formal Approaches
Authors
Marika IZAWA
Osaka University
Toshiyuki MIYAMOTO
Osaka University
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Marika IZAWA, Toshiyuki MIYAMOTO, "A Study on Re-Constructibility of Event Structures" in IEICE TRANSACTIONS on Information,
vol. E103-D, no. 8, pp. 1810-1813, August 2020, doi: 10.1587/transinf.2019FOL0002.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2019FOL0002/_p
Copy
@ARTICLE{e103-d_8_1810,
author={Marika IZAWA, Toshiyuki MIYAMOTO, },
journal={IEICE TRANSACTIONS on Information},
title={A Study on Re-Constructibility of Event Structures},
year={2020},
volume={E103-D},
number={8},
pages={1810-1813},
abstract={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.},
keywords={},
doi={10.1587/transinf.2019FOL0002},
ISSN={1745-1361},
month={August},}
Copy
TY - JOUR
TI - A Study on Re-Constructibility of Event Structures
T2 - IEICE TRANSACTIONS on Information
SP - 1810
EP - 1813
AU - Marika IZAWA
AU - Toshiyuki MIYAMOTO
PY - 2020
DO - 10.1587/transinf.2019FOL0002
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E103-D
IS - 8
JA - IEICE TRANSACTIONS on Information
Y1 - August 2020
AB - 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.
ER -
English
