Invited Seminar Talk
Prof. John Mylopoulos, University of Trento
fellow of AAAI and the Royal Society of Canada (Academy of Sciences)
when: 24 November 2014, 11am
where: room Turing, 7th floor, Paris Descartes University, 45 Rue Des Saints Peres, Paris 75006
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).
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".
Hosted by: Themis Palpanas
List of past seminars