DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Baik, Jong-moon | - |
dc.contributor.advisor | 백종문 | - |
dc.contributor.author | Lim, Seong-Yong | - |
dc.contributor.author | 임성용 | - |
dc.date.accessioned | 2011-12-14T02:29:55Z | - |
dc.date.available | 2011-12-14T02:29:55Z | - |
dc.date.issued | 2010 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=455182&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/40128 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 소프트웨어공학 프로그램, 2010.08, [ vi, 51 p. ] | - |
dc.description.abstract | To achieve a new web service functionality based on already existing web services, we need to describe a web service composition which consists of not only a set of interface collaborations among the web services but also a set of internal behaviors of the web services like a business process. But the description of a web service composition should be verified in terms of the correctness or time-related properties while representing internal and external behaviors which are written in xml-based standards, such as WSBPEL or WS-CDL. In this paper, a verification method is proposed which evaluates the choreography and the composition of the orchestrations for a web service composition. For that purpose, this paper provides a transformation method from orchestration descriptions and a choreography description to a set of formal state-based models. Moreover, we suggest analysis guidelines to evaluate the static and dynamic properties of the expecting web service composition through checking the simulation results. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | DEVS | - |
dc.subject | WS-CDL | - |
dc.subject | WSBPEL | - |
dc.subject | Simulation | - |
dc.subject | 시뮬레이션 | - |
dc.subject | 웹서비스조합 | - |
dc.subject | 웹서비스 | - |
dc.subject | Verification | - |
dc.title | (A) verification method for web service composition based on discrete event system modeling and simulation | - |
dc.title.alternative | 이산사건시스템 모델링 및 시뮬레이션 기반 웹 서비스 조합 검증 방법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 455182/325007 | - |
dc.description.department | 한국과학기술원 : 소프트웨어공학 프로그램, | - |
dc.identifier.uid | 020084312 | - |
dc.contributor.localauthor | Baik, Jong-moon | - |
dc.contributor.localauthor | 백종문 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.