Model Consistency Checking in MDA Development
Guangquan Zhang · Journal of Chongqing Institute of Technology · 2007
In order to implement integration and inter-operation among various middleware platforms,OMG puts forward The Model Driven Architecture(MDA),a standard model-based system structure,which defines two kinds of models: Platform Independent Model(PIM) and Platform Specific Model(PSM).Requirement model and design model are obtained though integrating use-case diagram,class diagram,and sequence diagram in UML,the formal semantics of class diagram and sequence diagram,and the harmony conditions are proposed.Then the consistency checking is done to provide the basis for the model-driven development.