Ben Lamine, Rihab; Ben Jemaa, Raoudha; Ben Amor, Ikram Amous - In: International Journal of Information Technology and Web … 13 (2018) 4, pp. 14-34
This article proposes a formal specification method for Web services composition based on context-aware semantic …-based systems is increasing, hence the need for formal specification and verification approaches of such systems. The authors seek …