Formal Description of Services Interfaces of SMAL Services in Services Computing Environment . IJIEE. 2012;2(3):379-382. Accessed May 24, 2026. https://ijiee.org/index.php/ijiee/article/view/131