Esta línea de investigación analiza las principales características que debe poseer un lenguaje de especificación de agentes, con el objetivo de cubrir las necesidades relacionadas con la implementación de sistemas multi-agente. En este trabajo se plantean las caracteríısticas mas importantes que debe poseer un lenguaje de implementación de agentes y se analizan dos alternativas de lenguajes de implementación de agente que utilizan un lenguaje formal para la especificación de sus agentes.