Li , Zonghua and Ye , Zhengwei. (2024). Transforming a Formal Business Process Model Into a Service Interaction Model. Journal of Information and Computing Science. 16 (2). 134-147. doi: