METHOD TO VALIDATE CONSISTENCY OF COMPONENT BUSINESS MODEL MAPS

A method is described for using descriptive logic (DL) representations to validate consistency in component business model (CBM) maps. Semantic constraints are generated from a semantic model of a component business model meta-model and inconsistency conditions of CBM maps. The semantic model of the CBM meta-model is applied to transform CBM maps into corresponding semantic representations. An inference engine applies the semantic constraints to the semantic representations to determine inconsistencies between one CBM map and another and between a CBM map and the component business model meta-model.