Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2011.06b
  • /
  • Pages.189-192
  • /
  • 2011
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

The Transformation of BPEL into Onion Visual Language For Model-Checking of BPEL

BPEL의 모델 체킹을 위한 BPEL의 Onion Visual Language 변환

  • Woo, Su-Jeong (Dept. of Computer Engineering, Chonbuk University) ;
  • Choe, Jae-Hong (Dept. of Computer Engineering, Chonbuk University) ;
  • On, Jin-Ho (Dept. of Computer Engineering, Chonbuk University) ;
  • Lee, Moon-Kun (Dept. of Computer Engineering, Chonbuk University)
  • 우수정 (전북대학교 컴퓨터공학부) ;
  • 최재홍 (전북대학교 컴퓨터공학부) ;
  • 온진호 (전북대학교 컴퓨터공학부) ;
  • 이문근 (전북대학교 컴퓨터공학부)
  • Published : 2011.06.29

⟨ Previous Next ⟩

Abstract

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 BPEL에 의해 여러 서비스들이 새로운 웹 서비스로 조합 되어지며, 서비스가 제대로 동작하는지를 검증하기 위해 Petri nets, Abstract State Machine(ASM), BPECalculus 등의 검증 방법을 사용한다. 이러한 검증 방법은 BPEL을 사용하여 새로 만들어진 웹 서비스들이 안정적으로 동작하는지를 검증하는 것으로, 웹 서비스 설계와 검증이 서로 분리되어 있다. 본 논문에서는 명세, 분석 및 검증의 전 과정에서 프로세스의 포함관계, 상태정보, Interaction, Mobility 등을 그래프로 표현하며, 한 단계의 그래프를 통하여 시스템 전체의 복잡도 및 시스템의 행위를 예측할 수 있는 Onion Visual Language(OVL)을 사용하여 BPEL로 설계 되는 클라우드 웹 서비스들을 OVL로 변환 후 이를 분석 및 검증한다. 추후 OVL은 서로 다른 클라우드 안에서의 웹 서비스 재사용을 위한 동일성 검증을 위한 방법으로 사용될 수 있다.

Keywords

Acknowledgement

Supported by : 한국연구재단