Abstract:The architecture of the repository system metadata is hierarchical ,multi-layer ,dynamically changed and complicated ;the prevailing repository system specifications provide insufficiently support for validating well-formedness constraints ,so how to check well-formedness constraints for MOF (meta object facility ) metadata repository systems becomes a difficult problem .This paper presents an approach which can reasoning on the well-formedness constraints in the different layers , thus the operations that may violate the constraints can be determined automatically .Firstly ,a group of inner activities which are more accurate and adaptable than establishment activities provided by MOF are proposed .We define the correspondence between inner activities and establishment activities .Then we research how to reasoning on the constraints directly so that the incoherent inner activities can be detected .At last ,we research how to deduce potentially incoherent operations by determining the establishment activities that potentially violate the constraints and testing whether these activities are included in the operations . Our approach can improve the efficiency of well-formedness constraint checking because the precise set of constraints that will be violated by operations can be reduced in the actual checking process .In addition ,our method also helps to the constraint design process since we can discard the constraint if we find it can never be violated by any operations .

Consistency Checking for Semantic-Oriented Metadata Models

Semantically Configurable Consistency Analysis for Class and Object Diagrams

OntCheck: an Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Ontology-Based inconsistency management of software requirements specifications

A Consistency Checking Approach for System Architecture

Detecting of Requirements Inconsistency: an Ontology-Based Approach

Method for Ontology Conflict Checking Based on Heuristic Rules

Reasoning on Constraints for Incoherent Operations in Metadata Repository Systems

Supporting Automatic Model Inconsistency Fixing.

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.

An Automatic and Unified Consistency Verification Rule and Method of SG-CIM Model

Semantic Consistency in Collaborative Business Processes

A Semantic Web Approach to Validating Semistructured Data

A systematic review of UML model consistency management

Multi-view Consistency in UML

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.

Model checking dynamic UML consistency

Enhanced Semantic Access to Formal Software Models.

The Semantic Consistency In Cooperative Design Editing

Consistency checking of concurrent models for scenario-based specifications