Bermeo Conto, Jorge LuisZúñiga Prieto, Miguel ÁngelSolano Quinde, Lizandro Damián2019-07-302019-07-302019978-3-030-05532-518650929http://dspace.ucuenca.edu.ec/handle/123456789/33135https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85059748463&origin=inwardSpecification languages offer abstractions and notations that facilitate the systematic and analytical reasoning about important aspects in a specific domain problematic. In a software engineering process domain, the usage of specification languages improve the quality and delivery time of the artefacts generated during the execution of the process activities. Cloud applications, or cloud services, are service-oriented applications whose consumption is constantly growing; however, their development require support for new roles and activities. In this work we are interested in knowing how specification languages are being used by researchers and practitioners to support the development of cloud services. This work presents a systematic mapping that provides guidance to determine the current state and to characterize the specification languages that support the service life cycle activities in a cloud services development domain.Specification languages offer abstractions and notations that facilitate the systematic and analytical reasoning about important aspects in a specific domain problematic. In a software engineering process domain, the usage of specification languages improve the quality and delivery time of the artefacts generated during the execution of the process activities. Cloud applications, or cloud services, are service-oriented applications whose consumption is constantly growing; however, their development require support for new roles and activities. In this work we are interested in knowing how specification languages are being used by researchers and practitioners to support the development of cloud services. This work presents a systematic mapping that provides guidance to determine the current state and to characterize the specification languages that support the service life cycle activities in a cloud services development domain.es-ESCloud ApplicationsCloud ServicesModel Driven DevelopmentService Life CycleSpecification LanguagesSystematic Mapping ProtocolARTÍCULO DE CONFERENCIA10.1007/978-3-030-05532-5_6