Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology

Mihoub Mazouz, Farid Mokhati, Mourad Badri

2015

Abstract

Traceability plays an important role in the development of computing systems, specifically, the complex ones. It provides several benefits to stakeholders and developers during the different phases of the systems development life cycle, including verification & validation and maintenance. Unfortunately, there are very few works in literature addressing the concept of traceability in multi-agent systems development methodologies. Having an incremental and iterative process, the well-known PASSI (Process for Agent Societies Specification and Implementation) methodology needs an explicit traceability in order to facilitate the understanding of the MAS under development and to better manage the changes occurring during the development process. In addition, it can lead to a requirement-based verification & validation. In this paper, we propose a new traceability meta-model for the PASSI methodology by introducing explicit traceability links of functional requirements through the various phases of the development life cycle.

References

  1. Cossentino, M. (2005). From Requirements to Code with the PASSI Methodology. In Agent-Oriented Methodologies, B. Henderson-Sellers and P. Giorgini (Editors). Idea Group Inc., Hershey, PA, USA.
  2. Pinto, R., et al. (2007). A Traceability Reference Model for Agent Oriented Development. Proceedings of the Third Workshop on Software Engineering for Agent oriented Systems. João Pessoa. pp. 27-38. .
  3. Cysneiros G. and A. Zisman. (2007a). Tracing AgentOriented Systems. In Proc. of the Grand Challenge Traceability Symposium, USA.
  4. Cysneiros G. and A. Zisman. (2007b). Traceability for Agent-Oriented Design Models and Code, 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007), USA.
  5. Andréa C., et al. (2002). Towards Requirement Traceability in TROPOS. WER 2004: 189-200.
  6. Castro, J., et al. (2003). Requirements Traceability in Agent Oriented Development. Software Engineering for Large-Scale Multi-Agent Systems. A. Garcia, C. Lucena, F. Zambonelli, A. Omicini and J. Castro, Springer Berlin Heidelberg. 2603: 57-72.
  7. Cossentino, M. and V. Seidita (2014). PASSI: Process for Agent Societies Specification and Implementation. Handbook on Agent-Oriented Design Processes. M. Cossentino, V. Hilaire, A. Molesini and V. Seidita, Springer Berlin Heidelberg: 287-329.
  8. Cysneiros, G. and A. Zisman (2008). Traceability and completeness checking for agent-oriented systems. Proceedings of the 2008 ACM symposium on Applied computing. Fortaleza, Ceara, Brazil, ACM: 71-77.
  9. Kannenberg et al. (2009). Why Software Requirements Traceability Remains a Challenge. CrossTalk: The Journal of Defense Software Engineering.
  10. Spanoudakis, G, and A. Zisman. (2004). Software traceability: A roadmap, Handbook of Software Engineering and Knowledge Engineering, vol. 3, pp. 395-428.
  11. Pinto, R, et al. (2005). Support for Requirement Traceability: The Tropos Case. 19th Simpósio Brasileiro de Engenharia de Software (SBES'05). Brasil.
  12. Cernuzzi, L., et al. (2004). The Gaia Methodology. Methodologies and Software Engineering for Agent Systems. F. Bergenti, M.-P. Gleizes and F. Zambonelli, Springer US. 11: 69-88.
  13. Winikoff, M. and L. Padgham (2004). The Prometheus Methodology. Methodologies and Software Engineering for Agent Systems. F. Bergenti, M.-P. Gleizes and F. Zambonelli, Springer US. 11: 217-234.
  14. Giorgini, P., et al. (2004). The Tropos Methodology. Methodologies and Software Engineering for Agent Systems. F. Bergenti, M.-P. Gleizes and F. Zambonelli, Springer US. 11: 89-106.
  15. Caire, G, et al. (2004). Multi-agent systems implementation and testing. In Fourth International Symposium: From Agent Theory to Agent Implementation.
Download


Paper Citation


in Harvard Style

Mazouz M., Mokhati F. and Badri M. (2015). Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-073-4, pages 203-209. DOI: 10.5220/0005249102030209


in Bibtex Style

@conference{icaart15,
author={Mihoub Mazouz and Farid Mokhati and Mourad Badri},
title={Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2015},
pages={203-209},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005249102030209},
isbn={978-989-758-073-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology
SN - 978-989-758-073-4
AU - Mazouz M.
AU - Mokhati F.
AU - Badri M.
PY - 2015
SP - 203
EP - 209
DO - 10.5220/0005249102030209