The objective of the Intelligent Network (IN) concept is to rapidly and flexibly add new services without upgrading the complicated switching systems. To realize that concept in the real telecommunication system, the systems must have an environment for the creation of new services and an architecture for execution of those services. This paper proposes an environment for service creation in advanced telecommunication systems such as the IN. The service creation environment provides means to verify the new service specifications and to create executable specification. To facilitate the verification as well as to model the system resources, the service specifications are formally described by means of High-Level nets, Coloured Petri nets (CP-nets). Specifying services in CP-nets gives the capability for modeling many kinds of systems resources over the network. Especially colour plays effective roles to define both the executer of services and resourses clearly. Since IN architecture allows customers to define their own services, it is difficult to verify the services defined by different customers. Therefore, it is important to define the customers services formally at the specification level. The verification method in this paper is based on the pure net analysis technique. It is, however, extended to handle CP-nets. A customized service is verified for the integration with other services and with other customers' services. The verified services are called Service Scenarios. A software architecture in which services can be executed is also discussed. The system consists of Scenario Database, Scenario Interpreter, and Functional Execution. By simulating the service scenarios, the customized services are executed.
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
Haruo HASEGAWA, Nahomi KIKUCHI, Yoshihiro UEDA, "Toward a Service Creation and Execution Environment Using High-Level Nets for Advanced Telecommunication Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E74-A, no. 10, pp. 3152-3158, October 1991, doi: .
Abstract: The objective of the Intelligent Network (IN) concept is to rapidly and flexibly add new services without upgrading the complicated switching systems. To realize that concept in the real telecommunication system, the systems must have an environment for the creation of new services and an architecture for execution of those services. This paper proposes an environment for service creation in advanced telecommunication systems such as the IN. The service creation environment provides means to verify the new service specifications and to create executable specification. To facilitate the verification as well as to model the system resources, the service specifications are formally described by means of High-Level nets, Coloured Petri nets (CP-nets). Specifying services in CP-nets gives the capability for modeling many kinds of systems resources over the network. Especially colour plays effective roles to define both the executer of services and resourses clearly. Since IN architecture allows customers to define their own services, it is difficult to verify the services defined by different customers. Therefore, it is important to define the customers services formally at the specification level. The verification method in this paper is based on the pure net analysis technique. It is, however, extended to handle CP-nets. A customized service is verified for the integration with other services and with other customers' services. The verified services are called Service Scenarios. A software architecture in which services can be executed is also discussed. The system consists of Scenario Database, Scenario Interpreter, and Functional Execution. By simulating the service scenarios, the customized services are executed.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e74-a_10_3152/_p
Copy
@ARTICLE{e74-a_10_3152,
author={Haruo HASEGAWA, Nahomi KIKUCHI, Yoshihiro UEDA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Toward a Service Creation and Execution Environment Using High-Level Nets for Advanced Telecommunication Systems},
year={1991},
volume={E74-A},
number={10},
pages={3152-3158},
abstract={The objective of the Intelligent Network (IN) concept is to rapidly and flexibly add new services without upgrading the complicated switching systems. To realize that concept in the real telecommunication system, the systems must have an environment for the creation of new services and an architecture for execution of those services. This paper proposes an environment for service creation in advanced telecommunication systems such as the IN. The service creation environment provides means to verify the new service specifications and to create executable specification. To facilitate the verification as well as to model the system resources, the service specifications are formally described by means of High-Level nets, Coloured Petri nets (CP-nets). Specifying services in CP-nets gives the capability for modeling many kinds of systems resources over the network. Especially colour plays effective roles to define both the executer of services and resourses clearly. Since IN architecture allows customers to define their own services, it is difficult to verify the services defined by different customers. Therefore, it is important to define the customers services formally at the specification level. The verification method in this paper is based on the pure net analysis technique. It is, however, extended to handle CP-nets. A customized service is verified for the integration with other services and with other customers' services. The verified services are called Service Scenarios. A software architecture in which services can be executed is also discussed. The system consists of Scenario Database, Scenario Interpreter, and Functional Execution. By simulating the service scenarios, the customized services are executed.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - Toward a Service Creation and Execution Environment Using High-Level Nets for Advanced Telecommunication Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 3152
EP - 3158
AU - Haruo HASEGAWA
AU - Nahomi KIKUCHI
AU - Yoshihiro UEDA
PY - 1991
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E74-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1991
AB - The objective of the Intelligent Network (IN) concept is to rapidly and flexibly add new services without upgrading the complicated switching systems. To realize that concept in the real telecommunication system, the systems must have an environment for the creation of new services and an architecture for execution of those services. This paper proposes an environment for service creation in advanced telecommunication systems such as the IN. The service creation environment provides means to verify the new service specifications and to create executable specification. To facilitate the verification as well as to model the system resources, the service specifications are formally described by means of High-Level nets, Coloured Petri nets (CP-nets). Specifying services in CP-nets gives the capability for modeling many kinds of systems resources over the network. Especially colour plays effective roles to define both the executer of services and resourses clearly. Since IN architecture allows customers to define their own services, it is difficult to verify the services defined by different customers. Therefore, it is important to define the customers services formally at the specification level. The verification method in this paper is based on the pure net analysis technique. It is, however, extended to handle CP-nets. A customized service is verified for the integration with other services and with other customers' services. The verified services are called Service Scenarios. A software architecture in which services can be executed is also discussed. The system consists of Scenario Database, Scenario Interpreter, and Functional Execution. By simulating the service scenarios, the customized services are executed.
ER -