An Innovative Approach to e-public Tendering Based on Model Checking☆

Abstract The public construction sector has recently started to put more effort into cost savings and improvement of efficiency. Therefore, public clients have started to promote new strategies, embracing innovative approaches such as Building Information Modelling (BIM) and e-Procurement. Tendering plays a key role for the success of the overall process; however, the selection of the best contractor is still a difficult task. The paper investigates how tendering can be integrated with Model Checking in order to control the compliance between the client's requirements and bidders’ offers within a digital environment. The research shows that, although the BIM is still not widely adopted in tendering procedures, Model Checking tools are already available to support the jury, as well as bidders. Moreover, even though BIM can be implemented in several procurement procedures, it is more effective if a collaborative and integrated behaviour is promoted. Results can help increase public clients’ awareness of the limits and potentials of an innovative approach and to set BIM requirements and guidelines.