AMENITIES: Metodologia de modelado de sistemas cooperativos