Banner photography © Mark Wheadon

Software Architectures:
How Components can go Politely Social

Università degli Studi dell'Aquila


Software architectures (SA) serve many purposes. One of the most interesting characteristics of SA is their glue/connectivity nature that allows subsystems/components to interact, correctly. I will discuss this behavioral facet of SA in a historical perspective by also crossing the software engineering boundaries. Recent approaches in which SAs are instrumental to synthesize correct systems in an open world setting characterized by partial knowledge of the final system components provide a fresher interpretation of their role in the design of future software systems.


I am professor at the Department of Information Engineering Computer Science and Mathematics at University of L'Aquila. My research interests are in the field of the application of formal techniques to the development of software systems. These include 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 specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. On this topics I collaborate with several national and international companies. Recently I am working on the design and development of mobile resource aware applications. I'm member of ACM Europe Council, of Academia Europaea, and I received a Honorary Doctorate at Malardalen University.