Pros-Req was a coordinated project founded by Spanish government (TIN2010-19130-C02-00) that was conducted from January 2010 to December 2013,

GESSI group coordinated the project, in which it parcipated als the PROS Research Center of the Universitat Politècnica de València.


Introduction. Service Science (also known as “Service Science, Management and Engineering”, SSME) is, more than a new discipline, an interdisciplinary approach to the study, design, and implementation of services systems – complex systems in which specific arrangements of people and technologies take actions that provide value for others. The service sector is the largest economy sector in the industrialized countries and also an emerging and growing sector in developing countries. Provision of new services and service innovation are usually based on IT technologies. The term SOC (Service Oriented Computing) is again an umbrella covering all the computing aspects used to implement IT-intensive service-oriented systems (that is, service-oriented specification and design, service-oriented architectures, web services, cloud computing, etc.), and is one of the most active research areas in computing. This project was about service-oriented software systems.

Objective. The goal of the ProS-Req project was to define, design and implement a software production process for service-oriented software systems. The production process was be based on: 1) Modelling the functional and non-functional requirements of the services offered by a system; 2) Transformation of these requirements into a testable service-oriented architecture models ready to be used as starting point by later code generation processes.

Project achievements:

1) We studied and developed methods and tools for supporting the elicitation and modelling of requirements that may be used in the scope of service oriented systems;

2) We specified modelling languages suitable for service oriented systems and we defined transformation rules based on model-driven approaches, for which adequate tool support has been implemented;

3) We proposed methods and tools for helping in the identification of software arquitectures suitable to specific non-functional requirements. An ontology that covers the arquitectural elements and the concepts around decision making during architectural design has been also proposed;

4) We developed testing and monitoring techniques that may be used in service oriented systems;

5) We proposed and conducted a first validation of reusable knowledge on the stages of requirements engineering and architectural modelling in form of patterns, taxonomies and ontologies, supporting the decision-making processes needed in the project.