System and software development process model forming and certifying method, involves controlling conformity of metamodel and conformity of model relative to metamodel, and controlling compliance with rules specific to model

摘要

The method involves constructing a semi-formal model of system and software development process from a semi-formal metamodel. The semi-formal metamodel and the model are transformed into a metamodel and a formal model based on a mathematical language allowing verification by a preliminary mathematical procedure. Conformity of the metamodel and conformity of the model relative to the metamodel are controlled. Compliance with rules specific to the model is controlled.