José M. Álvarez Palomo Associate Professor 32750 jmalvarez@uma.es Personal Website Model based Specification, Analysis and Testing Application Management for Cloud-Fog-Edge Other Applications