Designing Adaptive Software Systems: A Requirements Engineering Perspective
Prof. John Mylopoulos, University of Trento / University of Toronto
Wednesday November 12th, 2014, 1pm.
Lassonde Building 3033 – LAS3033
Adaptive systems usually operationalize adaptation through a feedback loop, an architectural prosthesis that introduces monitoring, diagnosis and compensation functions to the system proper. We have been studying the requirements that lead to such feedback loop functionality.
In particular, we have introduced new classes of requirements, called respectively /awareness/ and /evolution/ requirements, which are best operationalized through feedback loops instead of collections of functions. These requirements are characterized by the fact that they refer to other requirements, quality constraints or domain assumptions, and their success or failure. We then discuss elicitation, modeling, formalization for awareness and evolution requirements and how to go from such requirements to feedback loops through a systematic process. In addition, we sketch a framework for monitoring, diagnosis and compensation grounded on requirements models.
This is joint work with Vitor Souza (UFES Brazil), Kostas Angelopoulos (UniTN Italy) and Alexei Lapouchnian (UToronto Canada).
About the Speaker. John Mylopoulos holds a professor emeritus position at the Universities of Toronto and Trento. He earned a PhD degree from Princeton University in 1970 and joined the Department of Computer Science at the University of Toronto that year. His research interests include conceptual modelling, requirements engineering, data semantics and knowledge management. Mylopoulos is a fellow of the Association for the Advancement of Artificial Intelligence (AAAI) and the Royal Society of Canada (Academy of Sciences). He has served as programme/general chair of international conferences in Artificial Intelligence, Databases and Software Engineering, including IJCAI (1991), Requirements Engineering (1997), and VLDB (2004). Mylopoulos is currently leading an advanced grant from the European Research Council for a project titled “Lucretius: Foundations for Software Evolution”.