This paper presents a language called SAL (Service Addition Language) which is used to describe protocol-oriented service specifications for communications software. This language has the following features:
(1) Formal representation of the message sequence diagram: An individual service can be specified in an algebraic form of message sequence diagrams which are widely used in service design.
(2) Separate description of services: New services to be added can be specified without the necessity of referring to the existing services. The
(3) Transformability into CCITT SDL (Specification and Description Language) document: As new service specifications are integrated with existing ones, functional specifications in SDL are automatically extended to implement the new along with the existing services. This is also done by the synthesizer.
The algorithm is presented, which detects inconsistent relations between services, and a considerable amount of effort for service addition is shown to be automatable by introducing SAL. SAL and its supporting utilities are intended to be integrated into a development and maintenance environment called a Systems Design Environment (SDE) for communications software. SDE has a utility which generates program codes for the processes defined by the SDL documents which are derived from SAL description.
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
Haruhisa ICHIKAWA, Masaki ITOH, Masashi SHIBASAKI, "Protocol-Oriented Service Specifications and Their Transformation into CCITT Specification and Description Language" in IEICE TRANSACTIONS on transactions,
vol. E69-E, no. 4, pp. 524-535, April 1986, doi: .
Abstract: This paper presents a language called SAL (Service Addition Language) which is used to describe protocol-oriented service specifications for communications software. This language has the following features:
(1) Formal representation of the message sequence diagram: An individual service can be specified in an algebraic form of message sequence diagrams which are widely used in service design.
(2) Separate description of services: New services to be added can be specified without the necessity of referring to the existing services. The
(3) Transformability into CCITT SDL (Specification and Description Language) document: As new service specifications are integrated with existing ones, functional specifications in SDL are automatically extended to implement the new along with the existing services. This is also done by the synthesizer.
The algorithm is presented, which detects inconsistent relations between services, and a considerable amount of effort for service addition is shown to be automatable by introducing SAL. SAL and its supporting utilities are intended to be integrated into a development and maintenance environment called a Systems Design Environment (SDE) for communications software. SDE has a utility which generates program codes for the processes defined by the SDL documents which are derived from SAL description.
URL: https://global.ieice.org/en_transactions/transactions/10.1587/e69-e_4_524/_p
Copy
@ARTICLE{e69-e_4_524,
author={Haruhisa ICHIKAWA, Masaki ITOH, Masashi SHIBASAKI, },
journal={IEICE TRANSACTIONS on transactions},
title={Protocol-Oriented Service Specifications and Their Transformation into CCITT Specification and Description Language},
year={1986},
volume={E69-E},
number={4},
pages={524-535},
abstract={This paper presents a language called SAL (Service Addition Language) which is used to describe protocol-oriented service specifications for communications software. This language has the following features:
(1) Formal representation of the message sequence diagram: An individual service can be specified in an algebraic form of message sequence diagrams which are widely used in service design.
(2) Separate description of services: New services to be added can be specified without the necessity of referring to the existing services. The
(3) Transformability into CCITT SDL (Specification and Description Language) document: As new service specifications are integrated with existing ones, functional specifications in SDL are automatically extended to implement the new along with the existing services. This is also done by the synthesizer.
The algorithm is presented, which detects inconsistent relations between services, and a considerable amount of effort for service addition is shown to be automatable by introducing SAL. SAL and its supporting utilities are intended to be integrated into a development and maintenance environment called a Systems Design Environment (SDE) for communications software. SDE has a utility which generates program codes for the processes defined by the SDL documents which are derived from SAL description.
keywords={},
doi={},
ISSN={},
month={April},}
Copy
TY - JOUR
TI - Protocol-Oriented Service Specifications and Their Transformation into CCITT Specification and Description Language
T2 - IEICE TRANSACTIONS on transactions
SP - 524
EP - 535
AU - Haruhisa ICHIKAWA
AU - Masaki ITOH
AU - Masashi SHIBASAKI
PY - 1986
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E69-E
IS - 4
JA - IEICE TRANSACTIONS on transactions
Y1 - April 1986
AB - This paper presents a language called SAL (Service Addition Language) which is used to describe protocol-oriented service specifications for communications software. This language has the following features:
(1) Formal representation of the message sequence diagram: An individual service can be specified in an algebraic form of message sequence diagrams which are widely used in service design.
(2) Separate description of services: New services to be added can be specified without the necessity of referring to the existing services. The
(3) Transformability into CCITT SDL (Specification and Description Language) document: As new service specifications are integrated with existing ones, functional specifications in SDL are automatically extended to implement the new along with the existing services. This is also done by the synthesizer.
The algorithm is presented, which detects inconsistent relations between services, and a considerable amount of effort for service addition is shown to be automatable by introducing SAL. SAL and its supporting utilities are intended to be integrated into a development and maintenance environment called a Systems Design Environment (SDE) for communications software. SDE has a utility which generates program codes for the processes defined by the SDL documents which are derived from SAL description.
ER -