Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives

Yoshiaki KAKUDA; Masahide NAKAMURA; Tohru KIKUNO

Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives

Yoshiaki KAKUDA, Masahide NAKAMURA, Tohru KIKUNO

Full Text Views

0

Share
Cite this

Summary :

In the conventional protocol synthesis, it is generally assumed that primitives in service specifications cannot be executed simultaneously at different Service Access Points (SAPs). Thus if some primitives are executed concurrently, then protocol errors of unspecified receptions occur. In this paper, we try to extend a class of service specifications from which protocol specifications are synthesized by the previous methods. We first introduce priorities into primitives in protocol specification so that it always selects exactly one primitive of the highest priority from a set of primitives that can be executed simultaneously, and executes it. Then, based on this execution ordering, we propose a new protocol synthesis method which can avoid protocol errors due to message collisions, communication competitions and so on. By applying the proposed synthesis method, we can automatically synthesize a protocol specifications from a given service specification which includes an arbitraty number of processes and allows parallel execution of primitives.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E77-A No.10 pp.1634-1645

Publication Date: 1994/10/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications)

Category

Cite this

Copy

Yoshiaki KAKUDA, Masahide NAKAMURA, Tohru KIKUNO, "Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives" in IEICE TRANSACTIONS on Fundamentals, vol. E77-A, no. 10, pp. 1634-1645, October 1994, doi: .
Abstract: In the conventional protocol synthesis, it is generally assumed that primitives in service specifications cannot be executed simultaneously at different Service Access Points (SAPs). Thus if some primitives are executed concurrently, then protocol errors of unspecified receptions occur. In this paper, we try to extend a class of service specifications from which protocol specifications are synthesized by the previous methods. We first introduce priorities into primitives in protocol specification so that it always selects exactly one primitive of the highest priority from a set of primitives that can be executed simultaneously, and executes it. Then, based on this execution ordering, we propose a new protocol synthesis method which can avoid protocol errors due to message collisions, communication competitions and so on. By applying the proposed synthesis method, we can automatically synthesize a protocol specifications from a given service specification which includes an arbitraty number of processes and allows parallel execution of primitives.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e77-a_10_1634/_p

Copy

@ARTICLE{e77-a_10_1634,
author={Yoshiaki KAKUDA, Masahide NAKAMURA, Tohru KIKUNO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives},
year={1994},
volume={E77-A},
number={10},
pages={1634-1645},
abstract={In the conventional protocol synthesis, it is generally assumed that primitives in service specifications cannot be executed simultaneously at different Service Access Points (SAPs). Thus if some primitives are executed concurrently, then protocol errors of unspecified receptions occur. In this paper, we try to extend a class of service specifications from which protocol specifications are synthesized by the previous methods. We first introduce priorities into primitives in protocol specification so that it always selects exactly one primitive of the highest priority from a set of primitives that can be executed simultaneously, and executes it. Then, based on this execution ordering, we propose a new protocol synthesis method which can avoid protocol errors due to message collisions, communication competitions and so on. By applying the proposed synthesis method, we can automatically synthesize a protocol specifications from a given service specification which includes an arbitraty number of processes and allows parallel execution of primitives.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1634
EP - 1645
AU - Yoshiaki KAKUDA
AU - Masahide NAKAMURA
AU - Tohru KIKUNO
PY - 1994
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E77-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1994
AB - In the conventional protocol synthesis, it is generally assumed that primitives in service specifications cannot be executed simultaneously at different Service Access Points (SAPs). Thus if some primitives are executed concurrently, then protocol errors of unspecified receptions occur. In this paper, we try to extend a class of service specifications from which protocol specifications are synthesized by the previous methods. We first introduce priorities into primitives in protocol specification so that it always selects exactly one primitive of the highest priority from a set of primitives that can be executed simultaneously, and executes it. Then, based on this execution ordering, we propose a new protocol synthesis method which can avoid protocol errors due to message collisions, communication competitions and so on. By applying the proposed synthesis method, we can automatically synthesize a protocol specifications from a given service specification which includes an arbitraty number of processes and allows parallel execution of primitives.
ER -