ISR
Paola Inverardi
Email RSVP required to Rick Martin at remartin@uci.edu by Monday, February 19.
No cost to attend.
Click here for directions and parking information.
Designers are often faced with the problem of choosing among different functionally-equivalent software architectures. This choice is driven by non-functional factors such as performance, reliability, and topological/economical constraints. Among these, performance is one of the most influential factors addressed.
It has been claimed often that it is important to analyze the functional and non-functional behavior of the system under development as early as possible in the software life cycle. Software Architectures represent the first system abstraction that allow the effective validation of these properties. As far as performance is concerned, software architectures offer a first dynamic model of the system which should permit the validation of the gross-grain software architectural decisions. In this talk, I discuss approaches in the area and present a method that allows the derivation of a performance evaluation model, based on a Queueing Network Model (QNM), from a software architecture formal specification modeled as a Labeled Transition System (LTS).
Paola Inverardi is a full professor at University of L'Aquila. Previously she worked at IEI-CNR in Pisa and at Olivetti in Pisa. Since 1994, she has coordinated the Laurea Program in Computer Science at University of L'Aquila. Paola Inverardi's main research area is in the application of formal methods to software development. In recent years her research interests have concentrated mainly in the field of software architectures. She participates in several national and international research projects and cooperations, and she is at present coordinating a national project on "Software Architectures and Languages to Coordinate Distributed Mobile Components". She has authored over 60 journal and conference publications.
