Text this: Formalización de sistemas multiagentes