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. The June 2012 Interview (Follow.Interviews-June-2012)

The June 2012 Interview

"Targeting scalable solutions for the ultra-large scale challenges of Future Internet choreographies"

CHOReOS Interview: Antonia Bertolino, Research Director of the Italian National Research Council (CNR), Pisa, Italy

How would you present the CHOReOS project?

CHOReOS is an ambitious and visionary project. Let me first explain the driving force behind the project. It is the Future Internet vision for services and things. Towards such a broad vision, the European Union is making huge R&D investments in Information and Communication Technology in sectors such as Service and Software engineering, Networking, Cloud computing and related domains. By pushing the envelope of concerted advancement in these sectors, the EU aims to take a leading role in shaping society in all sorts of areas such as business, education, welfare and even leisure.

What is the added value of CHOReOS?

We provide the core methodologies and tools that facilitate the dynamic development of large-scale distributed applications obtained from the loose interaction among independent third-party services. We propose an approach tailored for end-users centered on the notion of “choreography”, an abstract and decentralised way of aggregating co-operating parties and services.* We are developing a model-driven development process of choreographies and a supporting framework that we call the CHOReOS integrated development and runtime environment (IDRE). In addition, we are targeting scalable solutions for the ultra-large scale challenges of Future Internet choreographies that are multi-dimensional taking into account size, distribution, heterogeneity, and dynamism.

*A choreography is defined by a high-level specification of the desired (functional and non-functional) interaction protocol, but without a concrete refinement of component implementation and internals.

What is your role in the CHOReOS project?

I lead a team focused on Governance and Verification & Validation (V&V) support. This is one of four core R&D teams, which we call work packages. My team contributes to the IDRE with the infrastructure for:

  • Enabling QoS-driven governance at both choreography and service level, according to appropriate policies;
  • Performing appropriate off-line and on-line testing techniques, which are specifically conceived to validate service interactions against the specified choreography;
  • Allowing for multi-layered event-based monitoring to detect potential issues quickly and as a result trigger adaptation if necessary.

What is your vision going forward?

Our vision is based on a continuous on-line collaborative validation approach for current pervasive evolving applications. The key idea we leverage is that in SOA testing, activities must extend to post-deployment in the real execution context. Test invocations need to mix up with real invocations to the point that they become indistinguishable from one another. This of course raises complex challenges at both technical and business levels. Furthermore, it is only feasible on top of an agreed set of policies and rules aimed at supporting and governing the on-line V&V process. It is towards this vision that our work package puts together governance and V&V.

What exactly are you working on?

We are currently working on several contributions in parallel, including:

  • Participant Testing (Partes) strategy that can derive test cases for verifying the conformance of services to be composed within a choreography with the roles they are playing;
  • ServicePot, a V&V-enhanced service and choreography registry, which supports a policy for the ranking (based on testing results) of both individual services and choreographies;
  • Q4BPMN (Quality for BPMN), an approach addressing the lack of appropriate notations for expressing the non-functional requirements for a choreography in the OMG standard Business Process Model and Notation (BPMN). Q4BPMN allows a designer to directly annotate the BPMN with Quality requirements and supports a Model-driven approach to monitoring and analysis of such requirements at both design-time and runtime.

Where do these contributions lead to?

Through these contributions, we contribute to the CHOReOS Validation and Monitoring Framework. We obtain this framework from the integration of several original components that trigger, capture and analyze events and services interactions. Ultimately we aim at enabling a reliable and trustworthy user-centered ecosystem of cooperating services.

A word on yourself and your organization

The Institute of Information Science and Technologies (ISTI) is an institute of the Italian National Research Council (CNR), the main public research body of Italy. Located in the CNR Research Area of Pisa, ISTI is committed to scientific excellence in research and technology transfer over Networking, Knowledge Science and Technologies, Software Science and Technologies, Visual and High Performance Computing.

We have a long-term collaboration with a group from the University of Camerino, which is on the other side of Italy near the Adriatic Sea, on topics of service V&V. The collaboration between these two groups brings in a solid expertise and a long outstanding research curriculum in software V&V, testing and analysis. In CHOReOS we contribute with a holistic and integrated approach to guarantee the on-line testability of large scale choreographies for the Future Internet. Therefore, we will develop methodologies and tools for on-line V&V and will implement a concept of governance to enforce V&V rules and policies.

About  Antonia Bertolino

AntoniaBertolino.jpg Antonia Bertolino ( is a Research Director of the Italian National Research Council (CNR), in Pisa, Italy. She is a renowned researcher in the field of software engineering and more specifically testing. She investigates approaches for rigorous and automated model-based and security testing, for service-oriented and component-based test methodologies, as well as methods for evaluation of extra-functional properties of composite systems. Currently she is the CNR responsible for the European FP7 projects CHOReOS and CONNECT, while recently concluded projects include (Trusted Architecture for Securely Shared Services), FP6 Strep PLASTIC “Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication” and the Marie Curie RTN network TAROT (Training And Research On Testing). She serves as the Area Editor for Software Testing for the Elsevier Journal of Systems and Software; she is also an Associate Editor of Springer Empirical Software Engineering Journal, and of the IEEE Transactions on Software Engineering. She has chaired ACM ESEC/FSE 2007, CompArch CBSE 2011 and is currently the Program co-Chair for IEEE ICST 2012 and the ICSE 2012 NIER track. She serves regularly in the Programme Committees of the most renowned International conferences, as Joint ESEC-FSE, ICSE, ISSTA, Testcom-FATES, ICST. She has (co)authored over 100 papers in international journals and conferences. When not working on EU projects or scientific papers, she practices ballroom dancing and yoga.

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