However the transformation from PIM to PSM depends greatly on the accurate definition of the transformation rules.

• 要实现PIM到PSM的自动转换,关键在于变换规则的精确定义。