Validation of ebXML BPSS Instances Based on Semantic Constraints

의미제약 기반의 ebXML BPSS 사례 검증

In ebXML, a representative framework for electronic commerce, a BPS (Business Process Specification) should be finally defined as an instance of XML-version BPSS for the configuration of B2B (Business to Business) runtime systems . In order to define the instance more complete and consistent, it is required to validate all the semantic constraints on the instance . Due to the limitations of XML Schema constructs, however, current XML-version BPSS fails to specify formal semantic constraints completely. This paper presents how to find, express and reuse BPSS semantic constraints that could not be explicitly defined in the XML-version BPSS. The method facilitates the validation of XML-version BPSS instances easily with some useful guides for fixing violations of semantic constraints. Furthermore, B2B business processes can be standardized and applied more efficiently and effectively.

대표적인 전자거래 프레임워크인 ebXML에서 비즈니스 프로세스 명세(BPS: Business Process Specification)는 최종적으로 XML 버전의 BPSS( Business Process Specification Schema)를 준수하는 사례로서 규정되어야 한다. 보다 완전하고 일치되게 XML버전의 BPSS 사례를 정의하기 위해서는 모든 의미 제약을 검증하는 과정이 필수적이다. 그러나, XML Schema 구조체의 제약으로 인해서 XML버전의 BPSS는 이러한 의미 제약을 완벽하게 규정하고 있지 못하다. 이 논문에서는 최종적으로 실행될 XML 버전의 BPSS사례에 대한 검증을 지원하기 위해서, BPSS의 XML Schema에 표현되지 못한 의미 제약들을 체계적으로 발견하고, 이들을 명시적으로 표현하여 재활용하는 방법을 제시한다. 이러한 방법으로 XML 버전 BPSS 사례를 편리하게 검증하고, 오류 수정을 안내하며, 기업간 비즈니스 프로세스 표준화와 적용의 효율성을 증대시킬 수 있다.