Marcin Paprzycki · @marcinpaprzycki
14 followers · 199 posts · Server masto.ai

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).

Open Access: tinyurl.com/244f7pcb

#webservices #framework #imds

Last updated 2 years ago