CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Projects  \  Project Page Login  
   
banner bottom
File Top
Qais - Quantitative analysis of interacting systems: foundations and algorithms

Technical Note:

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.


{ Project Info }

Coordinated by: Departamento de Informática - Escola de Engenharia, Universidade do Minho

Project Type: PN ( National basic research or R&D projects )

Funding Entity: FCT / MCTES

Total Funding Amount: 105.384,00 Keuro


Start Date: 2012-01-01 / Efective Start Date: 2012-01-01

End Date: 2014-12-31 / Efective End Date: 2014-12-31


Project Web Page



{ CITI Participations }
File Bottom