Qais - Quantitative analysis of interacting systems: foundations and algorithms
Jan 2012 - Dec 2014
In recent years, there has been an increasing interest in studying the behavior of software systems from a quantitative perspective. Such an interest is actually driven by concrete challenges coming from the engineering practice. It is widely recognized that to suitably meet these challenges requires the development of both solid foundations and derived techniques. Such is the starting point of this project. The envisaged contributions are placed at three different levels. First, from a foundational perspective, we propose to advance the state of the art in the theory of metric behavioural equivalences. Secondly, we intend to make the theory operational by developing efficient algorithms to compute the distance between two systems. Such algorithms will be rendered as plug-ins to the core of a prototype tool and its effectiveness tested in an exisiting service-oriented software system. As a third contribution, on the applications side, we intend to add the quantitative dimension (theory and techniques) to Reo, a component based specification language, and use such an enriched framework to analyze and transform service-oriented systems.
PN
Departamento de Informática - Escola de Engenharia, Universidade do Minho
