Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols
Summary :
Distributed execution of a service often means that various places compete for the right to progress. If they exchange the right by explicit communication, there is a continuous flow of protocol messages. If the maximum transit delay of the communication medium is short, a better solution is to restrict progress of places to their individual time windows. The paper describes how to derive such time-sharing-based multi-party protocols for well-formed services specified in LOTOS/T+. The method is compositional with respect to the structure of the given service specification, supporting alternative, sequential, interrupt and parallel composition of services.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E86-A No.9 pp.2405-2412
- Publication Date
- 2003/09/01
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- PAPER
- Category
- Concurrent Systems
Authors
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
Monika KAPUS-KOLAR, "Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols" in IEICE TRANSACTIONS on Fundamentals,
vol. E86-A, no. 9, pp. 2405-2412, September 2003, doi: .
Abstract: Distributed execution of a service often means that various places compete for the right to progress. If they exchange the right by explicit communication, there is a continuous flow of protocol messages. If the maximum transit delay of the communication medium is short, a better solution is to restrict progress of places to their individual time windows. The paper describes how to derive such time-sharing-based multi-party protocols for well-formed services specified in LOTOS/T+. The method is compositional with respect to the structure of the given service specification, supporting alternative, sequential, interrupt and parallel composition of services.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e86-a_9_2405/_p
Copy
@ARTICLE{e86-a_9_2405,
author={Monika KAPUS-KOLAR, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols},
year={2003},
volume={E86-A},
number={9},
pages={2405-2412},
abstract={Distributed execution of a service often means that various places compete for the right to progress. If they exchange the right by explicit communication, there is a continuous flow of protocol messages. If the maximum transit delay of the communication medium is short, a better solution is to restrict progress of places to their individual time windows. The paper describes how to derive such time-sharing-based multi-party protocols for well-formed services specified in LOTOS/T+. The method is compositional with respect to the structure of the given service specification, supporting alternative, sequential, interrupt and parallel composition of services.},
keywords={},
doi={},
ISSN={},
month={September},}
Copy
TY - JOUR
TI - Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2405
EP - 2412
AU - Monika KAPUS-KOLAR
PY - 2003
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E86-A
IS - 9
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - September 2003
AB - Distributed execution of a service often means that various places compete for the right to progress. If they exchange the right by explicit communication, there is a continuous flow of protocol messages. If the maximum transit delay of the communication medium is short, a better solution is to restrict progress of places to their individual time windows. The paper describes how to derive such time-sharing-based multi-party protocols for well-formed services specified in LOTOS/T+. The method is compositional with respect to the structure of the given service specification, supporting alternative, sequential, interrupt and parallel composition of services.
ER -
English
