Abstract
To guarantee the success of a construction project, a detailed process model specification is essential. The peculiarities of the domain, like the high number of details, the participation of multiple parties with different strategic goals, and the need of flexibility, make generic process modelling languages unsuitable. For this reason, the PRECISE methodology has been recently introduced by a group of civil engineers. PRECISE introduces a domain-specific graphical language, successfully employed in real construction projects. However, currently the language suffers of some limitations and ambiguities that prevents the development of tools for supporting the project management and possibly implementing automatic functionalities. In this paper, we highlight the problems related to the language and propose an extension to overcome them. The resulting language can then be formalized in Linear Temporal Logic formula over finite traces, paving the way for the development of (automatic) supporting tools. Copyright © by the paper's authors. Copying permitted only for private and academic purposes.