paola Paola inverardi is professor at the Department of Information Engineering Computer Science and Mathematics – University of L’Aquila.

From 2013, she is Rector of the University of L’Aquila. Inverardi received an honorary PhD in computer science from Malardalen University. Her research focuses on software specification and verification of concurrent and distributed systems, deduction systems, and software architectures. Current research interests mainly concentrate in the field of software architectures addressing the verification, analysis and synthesis of software architecture and software architecture means like mediators and connectors. Recently she is working on the design and development of mobile resource aware applications. On these topics she collaborates with several national and international companies. Furthermore, she has been and is local coordinator of a number of national and Euopean research projects for a global funding from past and on-going grants greater than five milions euros. Paola Inverardi has (co-)authored over 170 publications in international journals and conference and workshop proceedings. She is a member of ACM Europe Council and of Academia Europaea. Paola Inverardi received the prestigious 2013 IEEE TCSE Distinguished Service Award for outstanding and sustained contributions to software engineering community.


Automated Integration of Service-oriented Software Systems

In the near future we will be surrounded by a virtually infinite number of software applications that provide services in the digital space. This situation radically changes the way software will be produced and used: (i) software is increasingly produced according to specific goals and by integrating existing software; (ii) the focus of software production will be shifted towards reuse of third-parties software, typically black-box, that is often provided without a machine readable documentation. The evidence underlying this scenario is that the price to pay for this software availability is a lack of knowledge on the software itself, notably on its interaction behaviour. A producer will operate with software artefacts that are not completely known in terms of their functional and non-functional characteristics. The general problem is therefore directed to the ability of interacting with the artefacts to the extent the goal is reached. This is not a trivial problem given the virtually infinite interaction protocols that can be defined at application level. Different software artefacts with heterogeneous interaction protocols may need to interoperate in order to reach the goal. In this talk focuses on techniques and tools for integration code synthesis, which are able to deal with partial knowledge and automatically produce correct-by-construction service-oriented systems with respect to functional goals. The research approach we propose builds around two phases: elicit and integrate. The first concerns observation theories and techniques to elicit functional behavioural models of the interaction protocol of black-box services. The second deals with compositional theories and techniques to automatically synthesize appropriate integration means to compose the services together in order to realize a service choreography that satisfies the goal.