CHOReOS was an FP7 project. It is now fully completed. This website is kept open for information purpose only, it is not updated. Please visit CHOReVOLUTION the project that takes over from CHOReOS. University of Camerino (About.UniCamerino)

University of Camerino

The University of Camerino is one of the oldest universities in Italy, having been established in 1334. The computer science curriculum has been started in Camerino in 2000; currently it has more than 500 active students. Each year more then 100 students enrol for the bachelor degree and around 40 for the master degree. Four years ago University of Camerino set up also a PhD school on computer science. The computer science division is strongly active on several projects mainly at the regional and national level.

Expertise brought to CHOReOS

During the last years, the Computer Science Department of University of Camerino acquired a considerable experience in the area of analysis, design, functional and non-functional
requirements verification (both formal by mathematical tools and through testing techniques), developing and validation of software systems of high complexity (distributed, mobile, real-time, efficient, secure and embedded). The main research areas that can be of interest for CHOReOS, in which Unicam research members are active, are:

  • Formal and semi-formal methods for specification and verification of software systems,
  • Workflow and middleware to support flexible workflow engines,
  • Testing of Service Oriented Architecture Systems.

Contribution to CHOReOS

Contribution to CHOReOS: University of Camerino will be involved in WP4 in defining and setting adaptive MBT strategies and mechanisms for on-line testing. In particular taking advantage of the broad experience on definition and usage of formal model for verification purpose, Unicam research members will investigate on formalisms to be used for defining service adaptive behaviour and techniques to derive test cases for on-line testing. Correspondingly Unicam will investigate and develop mechanisms for putting in place defined strategies.
Finally University of Camerino will collaborate in setting up the dissemination material with reference V&V strategies and run-time infrastructure as described in WP9.

Team Members

filenameFlavio CorradiniFlavio CorradiniCHOReOSAndreaPolini.pngAndrea Polini

UE Logos


CHOReOS is a project of the FP7 European program: FP7-ICT-2009-5 - Objective 1.2 (grant agremment n° 257178)

This wiki is licensed under a Creative Commons 2.0 license - Legal Notice
XWiki Enterprise 5.4.6 - Documentation
Site maintained by