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 accurately it was performed. There is a method that I have used is Traceability to find out that natural language specifications accurately transformed to proposed business process model. Traceability is a method to find out that any specifications of natural language accurately transformed to proposed business process model. Traceability makes easy for users to trace the weight between different software engineering artifacts. Typically technique used for model checking very helpful to verify the correctness and accuracy of properties in a model. Our presented work presents an implementation of Traceability, a mechanism used to keep record between the Source model and Target model elements in model transformation framework. Traceability is a mechanism that can be used for instance level reverse transformation automatically. This type of applications for Traceability is essential for model transformation such as Semantics of Business Vocabulary and Rules (SBVR) to Business Process Modeling Notation (BPMN)· Our presented approach is inspired by Query View Transformation (QVT) that is formulated as an algorithm. This paper also reports on a case study that is based on model transformation in SBVR to BPMN, which uses new version of SiTra.