The analysis and development of a novel approach to asphalt pavement modeling, able to attend the need to predict the failure according to technical and non-technical criteria in a highway, is a hard task, namely in terms of the huge amount of possible scenarios. Indeed, the current state-of-the-art for service-life prediction is at empiric and empiric-mechanistic levels, and does not provide any suitable answer even for a single failure criteria. Consequently, it is imperative to achieve qualified models and qualitative reasoning methods, in particular due to the need to have firstclass environments at our disposal where defective information is at hand. To fulfill this goal, this paper presents a dynamic and formal model oriented to fulfill the task of making predictions for multi-failure criteria, in particular