{'fraction_non_alphanumeric': 0.021071115013169446, 'fraction_numerical': 0.0, 'mean_word_length': 5.867469879518072, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology

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.