Requirements Planning with Event Calculus for Self-adaptive Multi-agent System

Wei Liu, Feng Yao, Ming Li

2016

Abstract

Self-adaptation of Multi-agent cooperative systems requires dynamic decision making and planning at runtime. Modeling the contextual and executable requirements of such systems as planning actions and states, this paper proposes a requirements-driven planning approach to self-adaptation. The planning model includes the states of the system context and the actions describing the behaviors of its multiple agents; the interactions between these agents and their environment are computed through an expansion of the requirements-driven planning graph, which is then used to verify whether the agents can collaborate in order to reach the desired goal states from their current states. In addition, the requirements are represented for Event Calculus to facilitate monitoring and reasoning about the actions of agents, achieving requirements driven planning at runtime.

References

  1. Ali, R., Dalpiaz, F., and Giorgini, P., 2010. A goal-based framework for contextual requirements modeling and analysis. Requir. Eng., vol. 15, no. 4, pp. 439-458.
  2. Baresi, L., Pasquale, L. and Spoletini, P., 2010. Fuzzy goals for requirements-driven adaptation. In Requirements Engineering Conference (RE), 18th IEEE International. IEEE, 2010, pp. 125-134.
  3. Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A. and Letier, E., 2010.Requirements reflection: requirements as runtime entities. In Proc. of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE, pp. 199-202.
  4. Chen, B., Peng, X., Yu Y., Nuseibeh, B. and Zhao W., 2014.Self-adaptation through incremental generative model transformations at runtime. In the 36th International Conference on Software Engineering.
  5. Esfahani, N., Malek, S., 2013. Uncertainty in SelfAdaptive Software Systems. Software Engineering for Self-Adaptive Systems II Lecture Notes in Computer Science Volume 7475, pp214-238.
  6. Gruber, T. R. 1993. A translation approach to portable ontology specifications. Knowledge Acquisition, vol. 5, no. 2, pp. 199C220, [Online]. Available:http://dx.doi.org/ 10.1006/knac.1993.1008.
  7. Kramer, J., and Magee, J., 2007. Self-managed systems: an architectural challenge. In Proc. of Workshop on the Future of Software Engineering, FOSE, pp. 259- 268.
  8. Little, I. and Thibaux, S., 2007. Probabilistic planning vs replanning. In Proceedings of the ICAPS'07 Workshop on the International Planning Competition: Past, Present and Future.
  9. Mueller E. T., 2004. Event calculus reasoning through satisfiability. J. Log.Comput., vol. 14, no. 5, pp. 703- 730.
  10. Salehie, M. and Tahvildari, L., 2009. Self-adaptive software: Landscape and research challenges, TAAS, vol. 4, no. 2.
  11. Sawyer, P., Bencomo, N., Whittle, J., Letier, E. and Finkelstein, A., 2010. Requirements-aware systems: A research agenda for re for self-adaptive systems. In Proc. of the 18th IEEE International Requirements Engineering Conference, RE, pp. 95-103.
  12. Seyed, H.S. and Minseok, S., 2012. Understanding Requirement Engineering for Context-Aware. Journal of Software Engineering and Applications,Vol.5 No.8.
  13. Sykes, D., et al, 2008. From Goals to Components: A Combined Approach to Self-management. In Proceedings of Workshop on Software Engineering for Adaptive and Self-managing Systems.
  14. Sabatucci, L., Ribino, P., Lodato, C., Lopes, S., Cossentino, M. , 2013. GoalSPEC: a Goal Specification Language supporting Adaptivity and Evolution. In: EMAS 2013, LNAI 8245. p.237-256.
  15. Tajalli, H., Garcia, J., Edwards, G. and Medvidovic, N., 2010. PLASMA: a plan-based layered architecture for software modeldriven adaptation. In Proceedings of IEEE/ACM International Conference on Automated Software Engineering, pp.467-476.
  16. Tun, T. T., Jackson, M., Laney, R., Nuseibeh, B. and Yu Y., 2009. Are your lights off? using problem frames to diagnose system failures. In 21st IEEE International Requirements Engineering Conference (RE), vol. 0, pp. 343-348.
  17. Tun, T. T., Laney, R., Yu, Y. and Nuseibeh, B., 2013. Specifying software features for composition: A toolsupported approach. Computer Networks. vol. 57, no. 12, pp. 2454-2464, feature Interaction in Communications and Software Systems.
  18. V. E. Silva Souza., Lapouchnian, A., Robinson, W.N., Mylopoulos, John., 2011. Awareness Requirements for Adaptive Systems. In ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24.
  19. Welsh, K., Sawyer, P. and Bencomo, N., 2011.Towards requirements aware systems: Run-time resolution of design-time assumptions. In Proc. of the 26th IEEE/ACM International Conference on Automated Software Engineering, ASE, pp. 560-563.
  20. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B. H. C., and Bruel, J.-M., 2010. Relax: a language to address uncertainty in selfadaptive systems requirement. Requir. Eng., vol. 15, no. 2, pp. 177-196.
Download


Paper Citation


in Harvard Style

Liu W., Yao F. and Li M. (2016). Requirements Planning with Event Calculus for Self-adaptive Multi-agent System . In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-172-4, pages 110-117. DOI: 10.5220/0005660001100117


in Bibtex Style

@conference{icaart16,
author={Wei Liu and Feng Yao and Ming Li},
title={Requirements Planning with Event Calculus for Self-adaptive Multi-agent System},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2016},
pages={110-117},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005660001100117},
isbn={978-989-758-172-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Requirements Planning with Event Calculus for Self-adaptive Multi-agent System
SN - 978-989-758-172-4
AU - Liu W.
AU - Yao F.
AU - Li M.
PY - 2016
SP - 110
EP - 117
DO - 10.5220/0005660001100117