IEICE TRANSACTIONS on Fundamentals
Realizability of Choreography Given by Two Scenarios
Summary :
For a service-oriented architecture-based system, the problem of synthesizing a concrete model (i.e., behavioral model) for each peer configuring the system from an abstract specification-which is referred to as choreography-is known as the choreography realization problem. A flow of interaction of peers is called a scenario. In our previous study, we showed conditions and an algorithm to synthesize concrete models when choreography is given by one scenario. In this paper, we extend the study for choreography given by two scenarios. We show necessary and sufficient conditions on the realizability of choreography under both cases where there exist conflicts between scenarios and no conflicts exist.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E101-A No.2 pp.345-356
- Publication Date
- 2018/02/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E101.A.345
- Type of Manuscript
- Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
- Category
Authors
Toshiki KINOSHITA
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
Toshiki KINOSHITA, Toshiyuki MIYAMOTO, "Realizability of Choreography Given by Two Scenarios" in IEICE TRANSACTIONS on Fundamentals,
vol. E101-A, no. 2, pp. 345-356, February 2018, doi: 10.1587/transfun.E101.A.345.
Abstract: For a service-oriented architecture-based system, the problem of synthesizing a concrete model (i.e., behavioral model) for each peer configuring the system from an abstract specification-which is referred to as choreography-is known as the choreography realization problem. A flow of interaction of peers is called a scenario. In our previous study, we showed conditions and an algorithm to synthesize concrete models when choreography is given by one scenario. In this paper, we extend the study for choreography given by two scenarios. We show necessary and sufficient conditions on the realizability of choreography under both cases where there exist conflicts between scenarios and no conflicts exist.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E101.A.345/_p
Copy
@ARTICLE{e101-a_2_345,
author={Toshiki KINOSHITA, Toshiyuki MIYAMOTO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Realizability of Choreography Given by Two Scenarios},
year={2018},
volume={E101-A},
number={2},
pages={345-356},
abstract={For a service-oriented architecture-based system, the problem of synthesizing a concrete model (i.e., behavioral model) for each peer configuring the system from an abstract specification-which is referred to as choreography-is known as the choreography realization problem. A flow of interaction of peers is called a scenario. In our previous study, we showed conditions and an algorithm to synthesize concrete models when choreography is given by one scenario. In this paper, we extend the study for choreography given by two scenarios. We show necessary and sufficient conditions on the realizability of choreography under both cases where there exist conflicts between scenarios and no conflicts exist.},
keywords={},
doi={10.1587/transfun.E101.A.345},
ISSN={1745-1337},
month={February},}
Copy
TY - JOUR
TI - Realizability of Choreography Given by Two Scenarios
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 345
EP - 356
AU - Toshiki KINOSHITA
AU - Toshiyuki MIYAMOTO
PY - 2018
DO - 10.1587/transfun.E101.A.345
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E101-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2018
AB - For a service-oriented architecture-based system, the problem of synthesizing a concrete model (i.e., behavioral model) for each peer configuring the system from an abstract specification-which is referred to as choreography-is known as the choreography realization problem. A flow of interaction of peers is called a scenario. In our previous study, we showed conditions and an algorithm to synthesize concrete models when choreography is given by one scenario. In this paper, we extend the study for choreography given by two scenarios. We show necessary and sufficient conditions on the realizability of choreography under both cases where there exist conflicts between scenarios and no conflicts exist.
ER -
English
