Requirements 2010 - First International Workshop Requirements@run.time

Requirements-AT-run.time First International Workshop Requirements-AT-run.time
Nelly Bencomo (main contact) Lancaster University, UK
Dan Berry University of Waterloo, Canada
Anthony Finkelstein UCL, UK
Pete Sawyer Lancaster University, UK
Jon Whitle Lancaster University, UK

Requirements-AT-run.time will explore a radical challenge to the traditional view of requirements models as static, slowly-evolving and purely design-time entities. requirements-AT-run.time will explore the potential for run-time abstractions and models of requirements as a practical means to address the challenges posed by volatile or poorly-understood environmental contexts. These include (e.g.) business environments that are subject to dramatic and unforeseen economic conditions, or physical environments that may be remote and hostile to humans and computers. For such systems, detailed a-priori domain understanding is not achievable at design-time. This inevitably acts against the formulation of stable requirements. Rather, the requirements will need to be revised and reappraised over periods too short to be achieved by off-line adaptive maintenance. To achieve this, systems will need to maintain requirements models that are dynamic, run-time entities that support reasoning, some times with the aid of human, and sometimes not, so that the systems can respond in appropriate ways to changes in their environments. requirements-AT-run.time takes its cue from important recent work in a number of areas, including requirements monitoring, computational reflection, self-adaptive systems and multi-objective reasoning. Visit http://www.comp.lancs.ac.uk/~bencomo/RRT/ for further information.