Presenting the experimentation framework in which services can be specified and then formally analyzed for deadlock-freedom, achievement of process goals, and similar features: “An Experimentation Framework for Specification and Verification of Web Services” by Szymon Katra, Wiktor Daszczuk, Danny Czejdo. Proceedings of the 17th Conference on Computer Science and Intelligence Systems, ACSIS, Vol. 30, pages 913–917 (2022).
#webservices #framework #IMDS
Open Access: https://tinyurl.com/244f7pcb