“Formal Description of Services Interfaces of SMAL Services in Services Computing Environment ”, IJIEE, vol. 2, no. 3, pp. 379–382, May 2012, Accessed: Oct. 26, 2026. [Online]. Available: https://ijiee.org/index.php/ijiee/article/view/131