Requirements reflection: Requirements as runtime entities

Proceedings - International Conference on Software Engineering

Volumn 2, Issue , 2010, Pages 199-202

  Bencomo, Nelly ^a   Whittle, Jon ^a   Sawyer, Pete ^a   Finkelstein, Anthony ^b   Letier, Emmanuel ^b  

^a LANCASTER UNIVERSITY   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

reflection; requirements; runtime; self adaptive systems

Indexed keywords

COMPUTATIONAL REFLECTION; ENVIRONMENTAL CONDITIONS; REQUIREMENTS MONITORING; RESEARCH CHALLENGES; RUNTIME; RUNTIMES; SELF-ADAPTIVE SYSTEM; SELF-MANAGING; SOFTWARE SYSTEMS; WELL-ESTABLISHED TECHNIQUES;

ADAPTIVE SYSTEMS; COMPUTER SOFTWARE; SOFTWARE ARCHITECTURE;

REFLECTION;

EID: 77954721043     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1810295.1810329     Document Type: Conference Paper

References (26)

1. N. Bencomo, G. Blair, and R. France. Guest editor's introduction: Models@run.time. IEEE Software, 2009.
2. L. Capra, G. Blair, C. Mascolo, W. Emmerich, and P. Grace. Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review, 6(4):34-44, 2002.
3. B. H. Cheng, H. Giese, P. Inverardi, J. Magee, and R. de Lemos. Software engineering for self-adaptive systems: A research road map, dagstuhl-seminar on software engineering for self-adaptive systems. 2008.
4. B. H. Cheng, P. Sawyer, N. Bencomo, and J. Whittle. Goal-based modeling approach to develop requirements for adaptive systems with environmental uncertainty. In MODELS Conf., 2009.
5. G. Coulson, G. Blair, P. Grace, A. Joolia, K. Lee, J. Ueyama, and T. Sivaharan. A generic component model for building systems software. ACM Transactions on Computer Systems, February 2008.
6. A. Dingwall-Smith. Run-Time Monitoring of Goal-Oriented Requirements Specifications. PhD thesis, UCL, UK, 2006.
7. S. Dobson, S. Denazis, A. Fernandez, D. Gaiti, E. Gelenbe, F. Massacci, P. Nixon, F. Saffre, N. Schmidt, and F. Zambonelli. A survey of autonomic communications. ACM Trans. on Auton. and Adapt. Systems, 2, 2006.
8. M. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. Workshop Software Specification and Design, 1998.
9. N. Fenton and M. Neil. Making decisions: using bayesian nets and mcda. Knowl.-Based Syst., 14(7):307-325, 2001.
10. S. Fickas and M. Feather. Requirements monitoring in dynamic environments. In RE Conf., 1995.
11. H. J. Goldsby, P. Sawyer, N. Bencomo, D. Hughes, and B. H. Cheng. Goal-based modeling of dynamically adaptive system requirements. In ECBS Conf., 2008.
12. J. Y. Halpern. Reasoning about Uncertainty. The MIT Press, October 2003.
13. F. Kon, F. Costa, G. Blair, and R. Campbell. The case for reflective middleware. Communications of the ACM, 45(6):33-38, 2002.
14. J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In FOSE '07: 2007 Future of Software Engineering, pages 259-268. IEEE Computer Society, 2007.
15. M. Z. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with prism: A hybrid approach. In TACAS, pages 52-66, 2002.
16. A. Lapouchnian, S. Liaskos, J. Mylopoulos, and Y. Yu. Towards requirements-driven autonomic systems design. In DEAS Workshop, 2005.
17. E. Letier and A. van Lamsweerde. Reasoning about partial goal satisfaction for requirements and design engineering. In Symposium on Foundations of software engineering, pages 53-62, NY, USA, 2004. ACM.
18. P. Maes. Computional reflection. PhD thesis, Vrije Universiteit, 1987.
19. W. N. Robinson. A requirements monitoring framework for enterprise systems. Requir. Eng., 11(1):17-41, 2006.
20. B. Roy. Multicriteria Methodology for Decision Aiding. Kluwer Academic, Dordrecht, 1996.
21. G. Spanoudakis and K. Mahbub. Requirements monitoring for service-based systems: Towards a framework based on event calculus. In ASE, pages 379-384, 2004.
22. A. van Lamsweerde. Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, 2009.
23. A. van Lamsweerde, R. Darimont, and E. Letier. Managing conflicts in goal-driven requirements engineering. IEEE Trans. Sof. Eng., 24(11), 1998.
24. Y. Wang, S. A. McIlraith, Y. Yu, and J. Mylopoulos. Monitoring and diagnosing software requirements. Autom. Softw. Eng., 16(1):3-35, 2009.
25. J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J.-M. Bruel. Relax: Incorporating uncertainty into the specification of self-adaptive systems". In RE Conf., 2009.
26. E. Yu. Towards modeling and reasoning support for early-phase requirements engineering. In RE Conf., USA, 1997.