# TransformingBPMN Processes toSBVR Process Rules with
## 6 Experimental Evaluation
\begin{table}
\begin{tabular}{l c} \hline \hline
**SBVR Process Rule** & **Process Rule Pattern** \\ \hline It is permitted that customer _sends_ order request _to_ provider. & \(\mathbf{T_{9}}\) \\ It is obligatory that order _is received when provider _receives_ order request _from_ customer. & \(\mathbf{T_{7}}\) \\ \hline It is obligatory that received order _is produced_ when order _is received._ & \(\mathbf{T_{3}}\) \\ It is obligatory that provider _emulates_ extra conditionsfanger order _is received_ and if order _has_ extra conditions. & \(\mathbf{T_{3}}\) \\ \hline It is permitted that provider _amplayes_ order only if received order _is provided_ to provider. & \(\mathbf{T_{7}}\) \\ It is permitted that provider _reuluates_ extra conditionsonly if received order _is provided_ to provider. & \(\mathbf{T_{7}}\) \\ \hline It is obligatory that order request _is rejectedafter_ provider _analyzes_ order and (provider _reuluates_ extra conditionsf order _has_ extra conditions) and if order _cannot be fulfilled._ & _Cascading gateways_ \\ It is obligatory that provider _calculates_ order estimateafter provider _analyzes_ order and (provider _reuluates_ extra conditionsf order _has_ extra conditions) and if not(order _cannot be fulfilled_). & _Cascading gateways_ \\ \hline It is obligatory that provider _sends message to_ customerwhen order request _is rejected._ & \(\mathbf{T_{9}}\) \\ It is permitted that customer _receives message: from_ provider. & \(\mathbf{T_{9}}\) \\ It is obligatory that order estimate _is produced_ when provider _calculates_ order estimate. & \(\mathbf{T_{7}}\) \\ It is obligatory that order estimate _is sent_ after provider _calculates_ order estimate. & \(\mathbf{T_{1}}\) \\ It is permitted that order estimate _is sent_ only if order estimate _is provided to_ provider. & \(\mathbf{T_{7}}\) \\ It is obligatory that provider _sends_ order estimate approval requestto customerwhen order estimate _is sent._ & \(\mathbf{T_{9}}\) \\ It is obligatory that customer _receives_ order estimate approval requestfrom_ provider. & \(\mathbf{T_{4}}\) \\ It is permitted that order estimate _is unacceptable_ order estimate _is sent._ & \(\mathbf{T_{9}}\) \\ It is permitted that customer _sends_ order estimate _rejectionto_ provider. & \(\mathbf{T_{9}}\) \\ It is obligatory that order estimate _is unacceptable_ when provider _receives_ order estimate rejection_from_ customer. & \(\mathbf{T_{9}}\) \\ It is permitted that customer _sends_ order estimate approvalto provider. & \(\mathbf{T_{9}}\) \\ It is obligatory that order request _is terminated_ after order estimate _is unacceptable._ & \(\mathbf{T_{1}}\) \\ It is obligatory that provider _schedules_ order production after order estimate _is approved._ & \(\mathbf{T_{5}}\) \\ It is obligatory that provider _schedules_ order delivery dateafter order estimate _is approved._ & \(\mathbf{T_{7}}\) \\ It is obligatory that scheduler orders _produced_ when provider _schedules_ order production. & \(\mathbf{T_{7}}\) \\ It is obligatory that order _is ready for productionafter_ provider _schedules_ order production and provider _schedules_ order delivery date. & \(\mathbf{T_{5}}\) \\ \hline \hline \end{tabular}
\end{table} 
Table 3: A set of SBVR process rules extracted from the business process “Order Registration”. models using the defined set of transformation rules and the cascading gateways' algorithm. The acquired sets were then carefully compared to detect any conflicting situations. As natural language-related preprocessing is outside the scope of this paper, grammatical inconsistencies or ambiguities were not considered during the evaluation of the obtained results. Then, a single benchmark set of process rules was produced. After that, the automatic process rules extraction from the provided source BPMN models using the developed solution was performed to acquire automatic extraction results (Table 4).