PAS: Especificación del prototipo