Apparatus and method for provider verification based on Object Constraint Language

摘要

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.