Description languages for the lifecycle activities of services in the cloud domain: A systematic mapping protocol
Journal Title: MASKANA - Year 2017, Vol 8, Issue 4
Abstract
Activities of a service life cycle require from developers the systematic reasoning about their related aspects. Specification languages are used in software engineering to improve the quality and delivery time of software systems by offering notations and abstractions that ease the reasoning about different aspects in a domain problem. Among various distinctive approaches, which propose specification languages, we are interested in those that support and enable the analytical reasoning about activities of the service life cycle in the cloud applications development domain. This work presents a protocol for the systematic mapping that provides guidance to gather evidence of specification languages that support the service life cycle activities in a cloud application domain, identify the issues that those specification languages have addressed and gaps in the existing research.
Authors and Affiliations
Jorge Bermeo, Miguel Zúñiga, Lizandro Solano
Keywords
Related Articles
- EP ID EP42243
- DOI -
- Views 192
- Downloads 0
Aplicabilidad de los modelos NAM y DBM para estimar caudales en subcuencas alto andinas de Ecuador
El modelo Mecanicista Basado en Datos (DBM), método híbrido que puede emplearse para la predicción de caudales, y el Nedbor-Afstromnings Model (NAM), modelo hidrológico conceptual agregado, se utilizaron para estudiar...
Integración de fuentes de datos, tecnologías semánticas y bus de servicios empresarial
Actualmente las organizaciones disponen de diferentes sistemas de información para soportar su modelo de negocio. Generalmente la incorporación de estos sistemas se ha realizado sin seguir un proceso riguroso para dete...
La clasificación de universidades como herramienta de gestión universitaria
El reciente debate sobre la clasificación de universidades ha producido preocupación entre los miembros de la comunidad académica ecuatoriana. El que las universidades ecuatorianas no produzcan ganadores de Premios Nobel...
Análisis de rendimiento y profiling del modelo WRF en un clúster HPC
El modelo de investigación y pronóstico climático (WRF) es un sistema completamente funcional de modelado que permite realizar investigación atmosférica y predicción meteorológica. WRF fue desarrollado con énfasis en l...
Control HSMC para regulación de glucosa sanguínea
Este artículo propone una nueva estrategia de control basada en medidas continuas de glucosa y un controlador por modo deslizante que se habitúa (HSMC). El HSMC es desarrollado, combinando la ley de control por modo de...