서지주요정보
Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증
서명 / 저자 Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증 / Jeong-Hun Choi.
저자명 Choi, Jeong-Hun ; 최정훈
발행사항 [대전 : 한국과학기술원, 2003].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8014422

소장위치/청구기호

학술문화관(문화관) 보존서고

DCS 03003

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

초록정보

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.

지능망 서비스의 신속한 도입을 위한 해결책으로 서비스생성환경이라는 개념이 등장했다. 그러나 지능망 서비스는 실시간에서 동작하는 분산서비스로직이라는 점에서 설계 및 관리가 매우 어려운 특성을 지니고 있으므로 현실적으로 신속하고 신뢰성있는 서비스의 생성이 가능하게 되기 위해서는 여전히 많은 연구가 필요하다. 특히 서비스 생성과 관련한 가장 어려운 부분은 서비스 명세서의 자동변환을 통한 서비스 코드의 생성 기술과 생성된 서비스에 대한 서비스상호작용 분석을 포함한 검증 기술이다. 본 논문에서는 서비스의 생성 및 서비스 상호작용 발견을 포함한 검증을 위하여 지능망 서비스의 총괄적 특성 및 분산 특성의 양면을 고려한 새로운 통합적 접근 방법을 제안하고 있다. 본 논문의 서비스 생성 방법은 지능망 서비스의 병행 조합 및 동기화에 기반한 방법으로서 확장성을 지닌 서비스 명세에 적용가능한 컴포넌트 기반 분산 서비스 로직의 형태를 지닌다. 이를 위해서 정형화된 서비스 명세 방법 및 컴포넌트에 기반한 서비스 독립 기능 블록들의 조합 방법인 자동 변환 메커니즘과 같은 새로운 연구 결과들을 설명한다. 또한 명세로부터 자동변환된 컴포넌트 기반 서비스와 일치하는 CMPN(Constraints-based Modular Petri-net) 모델을 수립하고 페트리네트 슬라이스와 논문에서 새로이 정의한 property net을 이용하여 서비스 상호작용 분석을 할 수 있는 통합적 방법을 설명한다.

서지기타정보

서지기타정보
청구기호 {DCS 03003
형태사항 vii, 95 p. : 삽도 ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 최정훈
지도교수의 영문표기 : Yong-Rae Kwon
지도교수의 한글표기 : 권용래
학위논문 학위논문(박사) - 한국과학기술원 : 전산학전공,
서지주기 Reference : p. 85-91
주제 Intelligent Network
Service creation
feature interaction
verification
Petri net
지능망
서비스 생성
서비스 상호작용
검증
페트리네트
QR CODE qr code