Abstract
Control Theory and feedback control in particular have been steadily gaining momentum in software engineering for adaptive systems. Feedback controllers work by continuously measuring system outputs, comparing them with reference targets and adjusting control inputs if there is a mismatch. In Control Theory, quantifying the effects of control input on measured output is a process known as system identification. This process usually relies either on detailed and complex system models or on system observation. In this paper, we adopt a Requirements Engineering perspective and ideas from Qualitative Reasoning to propose a language and a systematic system identification method for adaptive software systems that can be applied at the requirements level, with the system not yet developed and its behavior not completely known.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Grl website, http://www.cs.toronto.edu/km/grl/
Brake, N., Cordy, J.R., Dancy, E., Litoiu, M., Popescu, V.: Automating discovery of software tuning parameters. In: SEAMS 2008: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems. ACM Press, New York (2008)
Cornford, S.L., Feather, M.S., Hicks, K.A.: DDP: a tool for life-cycle risk management. IEEE Aerospace and Electronic Systems Magazine 21(6), 13–22 (2006)
Elahi, G., Yu, E.: Requirements Trade-offs Analysis in the Absence of Quantitative Measures: A Heuristic Method. In: SAC 2011: 26th Symposium on Applied Computing. ACM, New York (2011)
Feather, M.S., Fickas, S., Van Lamsweerde, A., Ponsard, C.: Reconciling System Requirements and Runtime Behavior. In: IWSSD 1998: 9th International Workshop on Software Specification and Design, Washington, DC, USA, p. 50 (1998)
Finkelstein, A., Dowell, J.: A comedy of errors: the london ambulance service case study. In: IWSSD 1996: 8th International Workshop on Software Specification and Design, pp. 2–4 (March 1996)
Heaven, W., Sykes, D., Magee, J., Kramer, J.: A Case Study in Goal-Driven Architectural Adaptation. In: SEAMS 2009: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, vol. 2, pp. 109–127. Springer, Vancouver (2009)
Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. John Wiley & Sons, Chichester (2004)
Jureta, I.J., Mylopoulos, J., Faulkner, S.: Revisiting the Core Ontology and Problem in Requirements Engineering. In: RE 2008: 16th IEEE International Requirements Engineering Conference, Barcelona, Spain, pp. 71–80. IEEE, Los Alamitos (2008)
Kuipers, B.: Qualitative reasoning: Modeling and simulation with incomplete knowledge. Automatica 25(4), 571–585 (1989)
Lamsweerde, A.V.: Reasoning About Alternative Requirements Options, ch. 20, pp. 380–397. Springer, Heidelberg (2009)
Lapouchnian, A., Mylopoulos, J.: Modeling domain variability in requirements engineering with contexts. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol. 5829, pp. 115–130. Springer, Heidelberg (2009)
Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-Driven Design and Configuration Management of Business Processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 246–261. Springer, Heidelberg (2007)
Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: FSE 2004: 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 53–62 (2004)
Ma, W., Liu, L., Xie, H., Zhang, H., Yin, J.: Preference Model Driven Services Selection. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 216–230. Springer, Heidelberg (2009)
Mylopoulos, J., Chung, L., Yu, E.S.K.: From object-oriented to goal-oriented requirements analysis. Communications of the ACM 42(1), 31–37 (1999)
Salehie, M., Tahvildari, L.: Towards a Goal-Driven Approach to Action Selection in Self-Adaptive Software. Software Practice and Experience (2011)
Souza, V.E.S., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness Requirements for Adaptive Systems. In: SEAMS 2011: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Honolulu, USA. ACM, New York (2011)
Wang, Y., Mylopoulos, J.: Self-repair Through Reconfiguration: A Requirements Engineering Approach. In: ASE 2009: 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Silva Souza, V.E., Lapouchnian, A., Mylopoulos, J. (2011). System Identification for Adaptive Software Systems: A Requirements Engineering Perspective. In: Jeusfeld, M., Delcambre, L., Ling, TW. (eds) Conceptual Modeling – ER 2011. ER 2011. Lecture Notes in Computer Science, vol 6998. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24606-7_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-24606-7_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24605-0
Online ISBN: 978-3-642-24606-7
eBook Packages: Computer ScienceComputer Science (R0)