System for verification of software application models in strings of software development tools

摘要

The system has application models as instances of a meta model describing the structure of models of a software application and interfaces installed on all tools. A verifier framework has a manager and verifiers with groups of formulated conditions and application model rules for testing model elements. Models are verified for compatibility with conditions and rules by a checking model using the meta model, resulting in condition/rule violations. The system has application models forming instances of a meta model that describes the structure of models of a software application and interfaces to the models and is installed on all tools. A verifier framework has a verifier manager and several verifiers, each with a group of formulated conditions and application model rules for testing model elements. Software models are verified with respect to compatibility with the conditions and rules by a checking model using the meta model and resulting in condition or rule violations.