Skip to Main Content
As the consensus of using web services as an alternative to traditional deployment models has been growing during the last years, also new techniques to face the new arisen problems have been developed. In this work, we present the design of a conference management system by using a composition of web services as deployment model. We bring our attention about the management of contributions observing several time restrictions, which are checked via formal methods. This formal verification allows us to conclude when the design is “correct”, that is, when the requirements gathered in the analysis are fulfilled by the design.