Ontological Specification of Performance Models for Multi-agent Systems