Jeena. A.J and R.Vijaya Rajeswari, “BPEL based rule generator design and verification of secure service ”, IJIAREC, vol. 6, no. 2, pp. 2445–2457, Mar. 2018.