Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 333
  • Download : 0
The notion of a Service Creation Environment (SCE) has emerged as a feasible solution to rapid deployment of the Intelligent Network services. Nevertheless, the SCE still requires much enhancements to be used for rapid and reliable service creation in practice. The Intelligent Network service as a distributed service logic working in real-time is complex to design and manage. The major difficulties with service creation are associated with automatic translation of a service specification and verification of a generated service including feature interactions. It is noted that a more general and user-oriented interface, formalization of specification considering concurrency and distribution aspects of services and platforms, and an integrated specification and analysis processes are desired for the service creation and verification. We propose a new approach for the service creation and detection of feature interactions considering both global and distributed characteristics of the Intelligent Network services. Our service creation approach is based on a parallel composition and synchronization of the Intelligent Network services in the component based service logic to support the incremental service specification. Some new important mechanisms and activities, such as a formalization of service specification and description, an automatic translation mechanism, and a composition method of Service Independent building Blocks using component-based transformations are provided. We also propose a service verification method for detecting feature interactions, which transforms components of services into Constraints-based Modular Petri-nets and provides a method of analyzing feature interactions by using Petri net slices and property nets.
Advisors
Kwon, Yong-Raeresearcher권용래researcher
Description
한국과학기술원 : 전산학전공,
Publisher
한국과학기술원
Issue Date
2003
Identifier
181189/325007 / 000925581
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 전산학전공, 2003.2, [ vii, 95 p. ]

Keywords

verification; feature interaction; Service creation; Intelligent Network; Petri net; 페트리네트; 검증; 서비스 상호작용; 서비스 생성; 지능망

URI
http://hdl.handle.net/10203/32842
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=181189&flag=dissertation
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0