Model Checking Technology Research And Implementation In MDA

Model Driven Architecture is a new service creation approach which launched by OMG in 2002.In the past five years, MDA technology has developed very fast and it has been applied in Telecom, Aerospace, Banking and Hospital industries. As a new service creation approach, MDA has received increasing attention in recent years. It would be great significance to bring the MDA service creation approach into the Telecom service creation field.Model checking is a critical technology in Model Driven Service-creation approach. This paper has investigated the technology and designed a model checking rule database based on model checking technology framework. It makes the model checking engine and model checking rule separately, in this way can make the models more reusable and simplify the model checking engine's development.