A research of Object Constraint Language used in PIM accurate modeling

Model-Driven Architecture (MDA) is a new software development method proposed by the OMG, which can automatically generate final complete application from the abstract model established against the business logic. It is based on UML and other industry-standard framework to support the software design and model visualization, storage and exchange, the core technology is the conversion between platform-independent model (PIM) and platform specific model (PSM). This paper analyzes the deficiencies in the process of MDA modeling, combines with Object Constraint Language (OCL) to complement dynamic semantics in PIM, establishes a precise enough platform-independent model of specific domain.