• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.258-264
• /
• 2006

웹 서비스 기반의 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 트랜잭션 관리를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 비즈니스 프로세스 관리 시스템들 간의 상호호환을 저해한다. 이를 해결하기 위하여 본 연구에서는 시맨틱스 기반의 트랜잭션 프로토콜을 제안한다. 시맨틱스 기반의 트랜잭션 프로토콜은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스(Operational Semantics)로 구성된다. 정적 시맨틱스는 프로토콜의 상태와 메시지를 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의한 모델로서, 트랜잭션 프로토콜에 대한 상호 이해도를 높일 수 있을 것으로 기대된다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)으로 정의한 모델로서, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 것으로 기대된다. 트랜잭션 프로토콜들간의 상호호환을 위하여 이러한 정적 시맨틱스와 동작 시맨틱스를 기반으로 하여 각 트랜잭션 프로토콜 및 중립 트랜잭션 프로토콜의 시맨틱스를 정의한다. 정의된 각 트랜잭션 프로토콜의 정적 시맨틱스는 중립 트랜잭션 프로토콜의 정적 시맨틱스와 온톨로지 기반의 매핑 관계를 형성한다. 중립 트랜잭션 프로토콜의 정적 시맨틱스를 매개로 한 온톨로지 매핑은 각 트랜잭션 프로토콜들 간의 상호호환을 지원할 것으로 기대된다.

• 한국전자거래학회지
• /
• 제11권2호
• /
• pp.93-110
• /
• 2006

웹 서비스를 기반으로 하는 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 이를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 트랜잭션 관리 시스템간의 상호 호환을 저해한다. 본 연구에서는 시맨틱스를 기반으로 비즈니스 트랜잭션 프로토콜을 정의한다. 제안된 시맨틱스에 기반한 비즈니스 트랜잭션은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스( Operational Semantics)를 기반으로 정의된다. 정적 시맨틱스는 상태와 메시지에 대한 의미들을 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의함으로써 비즈니스 트랜잭션 프로토콜의 개념들에 대한 표현의 이질성을 해결한다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)을 통해 정의함으로써 트랜잭션 운용에 대한 정형성(Formalism)을 얻을 수 있다. 또한 정적 시맨틱스에서 정의한 상태와 메시지를 동작 시맨틱스에서 참조하여 사용함으로써 트랜잭션 운용에 대한 이해도 높일 수 있다. 이를 통해 기존의 트랜잭션 프로토콜들간의 상호 호환성을 높이고 트랜잭션 프로토콜에 대한 상호 이해도를 높이며, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 수 있을 것으로 기대된다.

• 소프트웨어공학소사이어티 논문지
• /
• 제13권3호
• /
• pp.9-17
• /
• 2000

본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 공동추계학술대회
• /
• pp.309-314
• /
• 2005

$PICS^{1}$는 터넷 내용물을 선별적으로 볼 수 있게 해주는 기반구조로서, 선별 소프트웨어와 등급 서비스들 간에 효과적으로 동작할 수 있게 도와주는 기술규격이다. 또한 시맨틱 $PICS^{1}$은 팀 버너스 리가 창안한 차세대 웹 기술로서 온롤로지를 기반으로 웹 데이터를 기계가 인식하고 자원의 공유와 재사용이 가능하다는 장점을 가진다. 본 논문에서는 시맨틱 웹 개념을 도입한 지능형 무선 PICS 환경을 구현함으로서 개선된 무선 웹 서비스 환경을 제안한다. 그리고 사전 연구를 통해 구현된 무선 PICS 환경을 초석으로 온톨로지 기술언어인 RDF를 사용하여 지능형 PICS 환경을 구현한다. 끝으로 일반 웹에 시맨틱 웹 개념을 도입할 때 유념해야 할 스키마의 처리를 고려하고 PICS 환경에서 중심이 되는 PICS 레이블, PICS 규칙을 RDF 로 기술하여 데이터의 의미를 명확하게 하고 관리 능력을 향상시킨다.