Towards a methodology for lifelong validation of service compositions

Abstract

We argue that the dynamic nature of compositions in serviceoriented architectures requires re-thinking the whole lifetime of an application, from requirements, to design and implementation, to deployment, to operation. In particular, the traditional boundary between design time and run time is blurring. Validation, which traditionally pertains to design time, must now extend to run time. This position paper digs into the requirements and outlines a research agenda, based on the experience gained in previous research projects, to engineer dependable service compositions.

Service Variability Patterns

“…Higher complexity of involved services may lead to inconsistency in application due to rules. Algorithms for validation [15] can also be used to find inconsistent or contradictory rules. Scalability is also an issue for complex applications, routing rules may increase in size and their management become difficult.…”

Sistema basado en reglas para la validación del despliegue de servicios

“…Esto ha dado lugar al desarrollo de iniciativas destinadas a verificar si la solución tomada es correcta y satisface los requisitos impuestos durante el diseño de la aplicación. En [3] se define una metodología a través de la cual validar la composición de los servicios de sistemas que presentan una arquitectura orientada a servicios. Mientras que Tibermacine et al proponen en [29] establecer una serie de restricciones a tener en cuenta durante el diseño de la arquitectura de la aplicación para asegurar que la repuesta del sistema es la adecuada durante su despliegue.…”

Lifelong verification of dynamic service compositions

“…An outlook on the adoption of this methodology in the context of generic service compositions has been proposed in [8].…”