BPMN process model checking using traceability

Model transformation is a method for transforming elements of one Meta model into other Meta model elements. System like software or business model checking is significant research domain. Question is that when Model Transformation is performed for transforming a model to another model how much accu... View More