Projects funded by the R&D&I National Plan of the Spanish Governament

Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por ANS

Acronym:  BELI
Code:  TIN2015-70560-R (1813033035)
Amount:  101.800 €
Dates:  Jan 2016 - Dec 2018
Coordinator in the Univ. Seville: 
Research staff:  josemaria.garcia


Summary: 

La difusión y adopción de servicios ofrecidos en la nube está siendo rápida y de gran calado, cumpliendo e incluso superando en algunos
aspectos las expectativas más optimistas. La demanda de este tipo de servicios mantiene una tendencia alcista que fuerza a los
proveedores a mejorar en varias facetas, entre las que cabe destacar: valor añadido, grado de personalización y grado de confianza.
En cuanto al valor añadido, se ha pasado de ofrecer únicamente servicios computacionales en la nube (SaaS, PaaS o IaaS) a ofrecer
servicios híbridos que involucran software y personas en su realización. P.e., Uber es un servicio ofrecido en la nube cuya prestación la
realiza un conductor humano. En los BPaaS las personas y el software cooperan para proporcionar un servicio que abarca un proceso de
negocio completo. El grado de personalización de un servicio está reconocido como uno de sus factores clave de éxito, sobre todo,
cuando el precio de uso se ajusta según las características elegidas. Los servicios ofrecidos por Amazon (AWS) son un buen ejemplo de
servicios altamente configurables, p.e. el servicio de computación elástica (EC2) ofrece más de 17000 configuraciones y el servicio de
almacenamiento (S3) ofrece centenares. Finalmente, para mejorar el grado de confianza el uso de acuerdos de nivel de servicio (ANS o
SLA en inglés) empieza a ser obligatorio cuando los clientes son profesionales, empresas u otras organizaciones. Por ejemplo, los AWS
están regulados por SLAs que incluyen cláusulas de penalización contra Amazon.
En BELI, proponemos analizar los retos y oportunidades que servicios con algunas de estas características: híbridos, altamente
configurables y regulados por SLAs (H2CS: Hybrid, Highly-Configurable and driven by SLAs) plantean y fijamos como objetivo global
proporcionar modelos, técnicas y herramientas que permitan incrementar la agilidad para responder a cambios en el negocio y optimizar
el coste en todas las etapas del ciclo de vida. Los principios sobre los que se apoya BELI son: 1) definir modelos muy expresivos para
representar elementos cercanos al negocio (SLAs, configurabilidad, o precios, entre otros); 2) utilizar estos modelos como artefactos
software para desacoplarlos de la implementación del servicio; 3) automatizar la creación de casos de prueba del servicio que sean
eficaces y eficientes; 4) automatizar o guiar las decisiones durante su operación para optimizar costes, teniendo en cuenta el margen de
beneficios deseado y nivel de riesgo derivados de sus SLAs, y 5) considerar las personas al mismo nivel que los recursos

Support Organization

Solución SaaS integral para el diagnóstico automático en lenguaje natural de problemas IT y resolución semi-automática de los mismos, en base a políticas de seguridad de cortafuegos

Acronym:  SaaS Firewall
Code:  IPT-2012-0890-390000
Amount:  178.200 €
Dates:  Jul 2012 - Dec 2015
Coordinator in the Univ. Seville: 


Summary: 

El principal objetivo del presente proyecto es crear un servicio SaaS que proporcione las herramientas necesarias para el diagnóstico y la resolución semi-automática de problemas de rendimiento en aplicaciones web complejas, basándose en la inspección del código de las aplicaciones y las políticas de seguridad de los cortafuegos. Para ello se combinarán diferentes tecnologías que junto con los resultados de investigación darán lugar al desarrollo de un servicio que facilite a las empresas el diagnóstico de rendimiento de sus aplicaciones en infraestructuras Cloud.




Support Organization

Tecnologías Avanzadas para Procesos como Servicios

Acronym:  TAPAS
Code:  TIN2012-32273
Amount:  216.711 €
Dates:  Jan 2013 - Dec 2015
Coordinator:  antonio.ruiz


Summary: 

The growing demand of business--driven IT systems as well as the good welcome Software as a Service has received (Saas) has led to the creation of a special kind of SaaS known as Process as a Service (PRaaS). In it, the provider gives everything a business process needs in its lifecycle: modelling, usage, customisation and execution just like any other service. In PRaaS, service users can access some predefined processes, customise them according to their needs and run them all from the cloud. All of this is regulated by Service Level Agreements.

The global aim of TAPAS is to tackle some of the challenges that arise from the development and exploitation of this new kind of services and in particular of the challenges related to the higher level specifications which are harder to find in current solutions: high configurability, advanced analysis, automated auditing and governing regulated by Service Level Agreements (SLA). As an additional aim, the goal is to certify the right working order of some of the solutions developed through automatically generated test cases.

Support Organization

reSearching on intElligent Tools for Internet of services

Acronym:  SETI
Code:  TIN2009-07366 (1813033020,2009/1531)
Amount:  176.902 €
Dates:  Oct 2009 - Sep 2012
Coordinator:  antonio.ruiz


Summary: 

The global goal of SETI is to deal with some challenges emerged from the widespread use of quality models in software development processes and the technological demands for giving support to the so-called Future Internet. Dealing with these challenges makes it necessary to review the current development methodologies and runtime platforms in order to develop, maintain and exploit highly-adaptive service-based applications as fast, reliable and economic as possible. For that purpose, four main goals are considered in SETI: to develop a reference architecture for ALM (Application Lifecycle Management) environments that makes easier its compliance with software development process models, which integrates existing tools as far as possible and keeps the traceability between devices; to develop techniques for managing some variability aspects of the ALM environment, the execution platform and the products developed both at design-time and run-time; to develop techniques for managing business processes in accordance with business policies that may even encompass different organizations and lastly, to develop extensions for the service-oriented runtime platform (SOA) to be able to quickly respond to changes in the processes and in the preferences of the users to which it gives support. To make the developed tools reliable, scalable and adaptable, our design is based on a service-oriented architecture and on already existing intelligent techniques from automated reasoning and soft-computing to represent and reason about the models of several different artifacts: business models, feature models, service-level agreements, etc.

Support Organization

Advanced Methods and Tools for Requirements Engineering

Acronym:  MENHIR
Code:  TIC97-0593-C05-03
Amount:  43.272 €
Dates:  Mar 1997 - Mar 2000
Coordinator:  isidro.ramos


Summary: 

The aim of the project is the design and development of an environment supporting the production of correct, reusable and maintenable software (i.e., quality software) through the whole software development lifecycle ( from analysis to maintenance); we will use logic, algebraic and categorical formalism to deal with the models that integrate a software product in three aspects: state, behavior and communication.

One will be able to make quality control test by automatic prototyping of the software requirements (due to the availability of operational semantics for the specifications languages). The environment will use the Object-Oriented Model along the lifecycle, will be homogeneous and will have incorporated the software evolution aspects in an intrinsic way.

The methodology supporting the process of software construction will have two foundations: a epistemological one based on the General System Theory, and a technological one taking into account the so-called industrial methods (like OMT, Fusion and others). The generated products will be of two kinds: visual applications (built using tools like Delphi, Power Builder, Cosmos) and object-oriented environments (VisualWorks, Gemstone,...) providing solutions to the lack of analysis and design support of those tools, and prototypes built on declarative environments (like KBMS1, OBJ3, etc. ) allowing software engineers to validate software properties. The environment will provide a unique metaphor for the production, validation, reuse, evolution and use of software, that will be implemented using intuitive interaction mechanisms based on the state-of-the-art on visual programming and operating systems.

Partners: 

This research project attracted the attention a many research groups in Spain. Below, you can find a complete list:

-The Object-Oriented Conceptual Modeling and Databases Group, from the Valencia Technical University.
-The Software Engineering Group, from the University of Murcia.
-The Software Engineering Research Group, from the University of Seville.
-The Distributed Group, from the University of Seville, too.
-The Software Specification, Development and Evolution Group, from the University of Granada.
-The MECANO Group, from the University of Valladolid.

Many industrial corporations were also attracted by the MENHIR research project. Below, you can find a (almost complete) list:

-TransTOOLS, S.A., which is a leading Spanish company interested in both object-related research and in the development of high-quality, large applications
-Consoft, S.A., which is a leading Spanish company centred in large e-business products. It's a member of the CHG Business Holding.
-Ideal Objects, S.A., which is a member of the ITG Holding centred in providing its customers with efficient component-based large business applications.
BASE, S.A.

External evaluators: 

This project was evaluated by several external referees. Below you can fid a complete list:

- Prof. Dr. Stefano Ceri, from The Politecnico di Milano.
- Prof. Dr. Mario Piattini, who is a member of the Grupo ALARCOS of the University of Castilla-La Mancha.
- Prof. Dr. Roel Wieringa, from the University of Twente.

Nuevos Métodos y Herramientas para la Automatización del Desarrollo de Aplicaciones de Comercio Electrónico

Acronym:  ZOCO
Code:  TIC2000-1106-C02-01
Amount:  40.392 €
Dates:  Dec 2000 - Dec 2003
Coordinator:  miguel.toro


Summary: 

Subproyecto del proyecto coordinado Nuevos Métodos y Herramientas para la Automatizaci?n del Desarrollo de Aplicaciones de Comercio Electrónico y su Integración con Sistemas de Información Geográfica (GEOZOCO)

Agile Development and Maintenance of Web-Services-Based Applications

Acronym:  AGILWEB
Code:  TIC2003-02737-C02-01
Amount:  191.200 €
Dates:  Nov 2003 - Nov 2006
Coordinator:  miguel.toro
Technical staff:  antoniomanuel.g...


Summary: 

The web-services technology is paving the way for a new generation of web applications that tend to integrate services provided by several companies. This technology is changing applications substantially, and it is so modern that there are no methodologies or developments tools in which quality is the backbone. This is why we think that it is necessary to offer new applied results to enable the development of optimal web-services-based applications. The goal of this project is to develop a framework composed of techniques, tools, and components to enable the agile development and maintenance of such applications.

Partners: 

We've embarked upon this challenging research project with some of the members of the Grupo ALARCOS, which is composed of a number of people from the University of Castilla-La Mancha who are interested in geographical information systems, advanced database systems and software engineering, as well.

This research project is very interesting to the industry. That's why we have attracted the attention of Telvent, S.A., and Isotrol, S.A. which are leading Spanish IT corporations.

Software Factories for Systems with Web Service-Oriented Architectures

Acronym:  WEB-FACTORIES
Code:  TIN2006-00472 (18.13.03.30.13, 2006/1419)
Amount:  229.200 €
Dates:  Oct 2006 - Sep 2009
Coordinator:  antonio.ruiz


Summary: 

The current information system demands have made business–driven development (BDD) of flexible, service–oriented architectured (SOA) systems one of the main challenges in software engineering. This new challenge have raised the need of reviewing current methodologies and runtime platforms in order to develop, maintain and exploit this new kind of systems in a faster, more reliable and more economic way.

For that purpose, two main goals are considered in this project. The first goal is to develop a framework composed by methodologies, techniques and tools using a software factory approach for BDD/SOA systems development. This approach, that integrates concepts from other fields like requirements engineering, product lines, model–driven development, etc., is based on configuring development environments in a similar way to industrial production lines, in order to produce and maintain, quickly and economically, multiple versions of a product, namely BDD/SOA systems.

The second goal is to develop a number of techniques and components in order to provide advanced facilities in the current web services platforms; namely, matchmaking of composite web services, semantic search of web services and automatic negotiation and procurement of service–level agreements (SLA). These facilities should allow the development of BDD/SOA systems that will be able to react quickly to changes in user requirements and to the appearance of new service offers.

Partners: 

The degree of implication of all EPOs (Entes Promotores Observadores, Observer and Promoter Companies) that are interested in the results of this project make evident that the addressed problems are indeed novel and, at the same time, real–world problems. These EPO's are Telvent S.A., Isotrol, Ximetrix, Sadiel, S.A.which are leading Spanish IT corporations and Department of Innovation, Science and Enterprise.

Syndicate content