This paper describes a verification scheme for service specifications and presents verification results for prototype system. Verified specifications are described by information sequence charts, which describe the communicating states between users and the messages between a user and a network. The verification scheme consists of two steps: macro sequence verification, which treats rough transitions of states, and transition procedure verification, which treats procedure of all messages. A prototype verification system demonstrates that this scheme can detect about 90% of errors in a specification within 4.4 seconds.
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.
Copy
Mitsuhiro OKAMOTO, Yoshihiro NIITSU, "A Verification Scheme for Service Specifications Described by Information Sequence Charts" in IEICE TRANSACTIONS on Communications,
vol. E75-B, no. 10, pp. 978-985, October 1992, doi: .
Abstract: This paper describes a verification scheme for service specifications and presents verification results for prototype system. Verified specifications are described by information sequence charts, which describe the communicating states between users and the messages between a user and a network. The verification scheme consists of two steps: macro sequence verification, which treats rough transitions of states, and transition procedure verification, which treats procedure of all messages. A prototype verification system demonstrates that this scheme can detect about 90% of errors in a specification within 4.4 seconds.
URL: https://global.ieice.org/en_transactions/communications/10.1587/e75-b_10_978/_p
Copy
@ARTICLE{e75-b_10_978,
author={Mitsuhiro OKAMOTO, Yoshihiro NIITSU, },
journal={IEICE TRANSACTIONS on Communications},
title={A Verification Scheme for Service Specifications Described by Information Sequence Charts},
year={1992},
volume={E75-B},
number={10},
pages={978-985},
abstract={This paper describes a verification scheme for service specifications and presents verification results for prototype system. Verified specifications are described by information sequence charts, which describe the communicating states between users and the messages between a user and a network. The verification scheme consists of two steps: macro sequence verification, which treats rough transitions of states, and transition procedure verification, which treats procedure of all messages. A prototype verification system demonstrates that this scheme can detect about 90% of errors in a specification within 4.4 seconds.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - A Verification Scheme for Service Specifications Described by Information Sequence Charts
T2 - IEICE TRANSACTIONS on Communications
SP - 978
EP - 985
AU - Mitsuhiro OKAMOTO
AU - Yoshihiro NIITSU
PY - 1992
DO -
JO - IEICE TRANSACTIONS on Communications
SN -
VL - E75-B
IS - 10
JA - IEICE TRANSACTIONS on Communications
Y1 - October 1992
AB - This paper describes a verification scheme for service specifications and presents verification results for prototype system. Verified specifications are described by information sequence charts, which describe the communicating states between users and the messages between a user and a network. The verification scheme consists of two steps: macro sequence verification, which treats rough transitions of states, and transition procedure verification, which treats procedure of all messages. A prototype verification system demonstrates that this scheme can detect about 90% of errors in a specification within 4.4 seconds.
ER -