From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification

摘要: Modeling languages such as UML and OCL find more application in the early stages of today's system design. Validation verification, i.e.i¾źchecking correctness respective models, gains interest. Since these offer various description means a huge set constructs, existing approaches for this purpose only support restricted subset constructs often focus on dedicated well verification tasks. To overcome this, we follow idea using model transformations to unify different base model. In course transformation, complex language are expressed by small so-called core elements order interface with wide range engines complementary strengths weaknesses. paper, provide detailed introduction proposed its corresponding transformations.