公开(公告)号：KR1020080050266A

公开(公告)日：2008-06-05

申请号：KR1020070077501

申请日：2007-08-01

Applicant: 한국전자통신연구원

Inventor： 변일수 ,  안창원 ,  박종근 ,  데스몬드프레드릭 ,  우영춘 ,  김명준

IPC: G06F9/06 ,  G06F9/00

Abstract: An OCL(Object Constraint Language)-based provider verifying apparatus and a method for the same are provided to define a profile in an OCL and achieve a provider in a WBEM(Web Based Enterprise Management) architecture in accordance with the profile, and automatically verify whether the provider is able to sufficiently reflect constraint conditions. An OCL-based provider verifying apparatus includes a profile(40), wherein a data model and constraint conditions for achieving a provider are described in an OCL, a data model storing unit(30) providing a data model by using a WBEM architecture(10) including the provider, and an OCL-based verifier(20) verifying the provider by referring to the data model storing unit in accordance with the profile. The OCL-based verifier includes a syntax parsing unit(21) parsing syntax of the profile, a grammar analyzing unit(22) analyzing grammar of the parsed syntax, and a meaning analyzing unit(23) confirming whether the provider satisfies the data model and the constraint conditions, by referring to the data model storing unit in accordance with an analysis result of the grammar analyzing unit.

Abstract translation: 提供了一种基于OCL（对象约束语言）的提供者验证装置及其方法，用于在OCL中定义配置文件，并根据配置文件实现WBEM（基于Web的企业管理）架构中的提供商，并自动验证 提供者是否能够充分反映约束条件。 基于OCL的提供者验证装置包括简档（40），其中在OCL中描述用于实现提供者的数据模型和约束条件，数据模型存储单元（30）通过使用WBEM架构（10 ）和基于OCL的验证器（20），其根据该简档参考数据模型存储单元验证提供商。 基于OCL的验证器包括语法分析单元（21），解析简档的语法，分析解析语法的语法的语法分析单元（22），以及确定提供者是否满足数据模型的意义分析单元（23） 约束条件，通过根据语法分析单元的分析结果参考数据模型存储单元。

公开(公告)号：KR100901702B1

公开(公告)日：2009-06-08

申请号：KR1020070077501

申请日：2007-08-01

Applicant: 한국전자통신연구원

Inventor： 변일수 ,  안창원 ,  박종근 ,  데스몬드프레드릭 ,  우영춘 ,  김명준

IPC: G06F9/06 ,  G06F9/00

Abstract: 본 발명은 OCL 기반의 프로바이더 검증 장치 및 방법에 관한 것으로, 프로바이더를 보다 정확하고 효율적으로 검증할 수 있도록 하기 위하여, 프로바이더를 구현하기 위한 데이터 모델 및 제약 조건이 OCL(Object Constraint Language)로 기술된 프로파일; 상기 프로바이더를 포함하는 WBEM(Web Based Enterprise Management) 아키텍쳐를 이용하여 데이터 모델을 제공하는 데이터 모델 저장소; 및 상기 프로파일에 따라 상기 데이터 모델 저장소를 참조하여 상기 프로바이더를 검증하는 OCL 기반 검증기를 포함하여 구성되며, 이에 의하여 검증 동작이 자동화될 뿐 만 아니라 프로바이더의 의미론적 준수성 여부도 확인할 수 있도록 한다.