Formal Specification and Implementation of Computational aggregation functions

This paper recalls some criticisms to the currently-in-use definition of aggregation function, concerning, firstly, the lack of conditions that guarantee the conceptual harmonization of the sequence of operators and, second, the possibility of the so defined functions being not practically implementable. In order to address such criticisms, an alternative definition was proposed in a previous work from a computational approach. Here, we go one step further by giving a definition of the formal specification of an aggregation function. This enables to introduce a first classification of aggregation rules.