Browsing by Author "Mokhati, Farid"
Now showing 1 - 17 of 17
Results Per Page
Sort Options
Item A Novel conformance testing technique for agent interaction protocols(London, UK, 2013) Mokhati, Farid; Badri, Mourad; Zerrougui, SalimAgent Interaction Protocols (AIP) play a crucial role in multi-agent systems development. AIP allow specifying interactions (sequences of messages) between agents. As agent-oriented development emerges, testing agent-based software is receiving increased research attention. We present, in this paper, a novel conformance testing technique for agent interaction protocols. The approach supports an incremental testing strategy that considers both agent and society testing of Multi-Agent Systems. It uses aspect-oriented technology to support and monitor the testing process. The proposed technique consists in two main phases: (1) Generating adequate test cases from a formal description of Multi-Agent Systems’ behavior, and (2) Verifying the execution of test cases. The technique is supported by a visual tool (AIPTE: Agent Interaction Protocols Testing Environment). A case study is presented to illustrate the approach.Item A Novel organizational model for real time MAS(Springer, 2014) Laouadi, Mohamed Amin; Mokhati, Farid; Seridi, HassinaIn this paper we present our approach allowing the translation of Real Time Multi-Agents Systems (RT-MAS) organizational requirements described by extended AUML (Agent UML Language) diagrams into a formal specification written in Real Time Maude language (RT-Maude). In fact, the approach is an extension of our previous work [1] that consists in extending AUML diagrams (Temporal AUML organization use case diagram and Temporal AUML organization class diagram) by using stereotypes notions and meta-model organizations entities for taking into account RT-MAS specificities. Once elaborated, these different diagrams undergo a validation to assure inter-and intra model coherence. The formal and object oriented language RT-Maude, base on rewriting logic, supports formal specification and programming of concurrent systems. The main motivations of this work are: (1) formalizing the organizational requirements of RT-MAS by using RT-Maude language, and (2) integrating the validation of the coherence models, since the analysis phase.Item A Perfective maintenance approach for multi-agent systems(Univérsité Oum El Bouaghi, 2020) Zerrougui, Salim; Mokhati, FaridThe research presented in this thesis takes place in the context of agent-oriented software engineering. Our contributions relate to reengineering and enhancing Multi-Agent Systems. This area is not yet sufficiently explored despite its importance. The main motivation of our contributions is to propose perfective maintenance approaches for multi-agent systems to enhance their specificities and concerns. By evaluating the performance and the scalability of multi-agent systems when systems scale up we can detect many bottlenecks and anomalies. In our study, two important multi-agent systems properties were found to be suffering from performance issues in large scale systems which are the directory service, also known as the matchmaking or the Yellow Pages service, and the agent's sociability during interaction protocols. The proposed approaches reengineer the implementations of these concerns using aspect-oriented programming to decentralize the directory service, and machine learning algorithms to extend the interaction protocols which increase the successful interactions and improve the agent's sociability. The validations of the proposed approaches were performed using different case studies, execution environments and multiple scenarios under JADE platform. The results are very promising and show a great improvement of the investigated properties. البحث المقدم في هذه الأطروحة يندرج في اطار هندسة البرمجيات الموجهة للوكلاء. مساهمتنا في هذا البحث متعلقة بإعادة هندسة وتحسين الأنظمة متعددة الوكلاء. مجال لم يتم استكشافه بما فيه الكفاية على الرغم من أهميته. الدافع الرئيسي لمساهماتنا هو اقتراح طرق الصيانة التحسينية للأنظمة متعددة الوكلاء لتعزيز خصوصياتهم واهتماماتهم. من خلال تقييم أداء الأنظمة متعددة الوكلاء وقابليتها للتوسع عند اتساع نطاقها و زيادة عدد الوكلاء بها، مما يمكننا من اكتشاف العديد من الاختناقات والاختلالات. خلال دراستنا تم العثور على خاصيتين مهمتين من خصائص أنظمة متعددة الوكلاء التي تعاني من مشاكل الأداء في الأنظمة واسعة النطاق هي خدمة الدليل المعروفة أيضًا باسم التوفيق أو خدمة الصفحات الصفراء، و القدرة الاجتماعية للوكيل أثناء بروتوكولات التفاعل. المناهج المقترحة تعيد تصميم هذه الاهتمامات باستخدام البرمجة جانبية التوجه لتحقيق لامركزية خدمة الدليل، وخوارزميات التعلم الآلي لتوسيع بروتوكولات التفاعل التي تزيد من التفاعلات الناجحة وتحسن القدرة الاجتماعية للوكيل. تم تنفيذ عمليات التحقق من الأساليب المقترحة باستخدام دراسات حالة و بيئات تنفيذ مختلفة مع سيناريوهات متعددة على منصة JADE. النتائج واعدة للغاية وتظهر تحسنًا كبيرًا في الخصائص التي تم فحصها. Le travail présenté dans cette thèse se place dans le contexte de l'ingénierie logicielle orientée agent. Nos contributions concernent la réingénierie et l'amélioration des systèmes multi-agents. Ce domaine n'est pas encore suffisamment exploré malgré son importance. La motivation principale de nos contributions est de proposer des approches de maintenance perfectives pour les systèmes multi-agents afin d'améliorer leurs spécificités et préoccupations. En évaluant les performances et l'évolutivité des systèmes multi-agents lorsque les systèmes évoluent, nous pouvons détecter de nombreux goulots d'étranglement et anomalies. Dans notre étude, deux propriétés importantes des systèmes multi-agents se sont révélées souffrir de problèmes de performances dans les systèmes à grande échelle : le service d'annuaire connu également sous le nom de Matchmaking ou service de Pages Jaunes, et la sociabilité de l'agent lors des protocoles d'interaction. Les approches proposées remodèlent ces préoccupations en utilisant la programmation orientée aspect pour décentraliser le service d'annuaire, et des algorithmes d'apprentissage automatique pour étendre les protocoles d'interaction, ce qui augmente les interactions réussies et améliore la sociabilité de l'agent. Les validations des approches proposées ont été effectuées à l'aide de différentes études de cas, environnements d'exécution et multiples scénarios sous la plateforme JADE. Les résultats sont très prometteurs et montrent une grande amélioration des propriétés étudiées.Item Complexity measurement of multi-agent systems(Springer, 2014) Marir, Toufik; Mokhati, Farid; Bouchelaghem-Seridi, Hassina; Tamrabet, ZouheyrMulti-Agent Systems (MAS) is a promising software paradigm. Considered as a natural metaphor to modeling complex systems, MAS are applied to develop a wide range of applications. However, the developed system’s complexity is a hard obstacle to understand and maintain them. In this paper, some metrics are presented to measure the complexity of MAS. The proposition of these metrics is passed through the proposition of a complexity model for MAS. To validate our proposal, a tool has been developed to measure the JADE-based applications complexity. Furthermore, the collected metrics can also be used as a base to estimate the required effort to maintain JADE-based applications.Item Controlabilitè des systèmes multi agents ouverts(University Of Oum El Bouaghi, 2020) Chebout, Mohamed Sedik; Mokhati, FaridLes travaux présentés dans cette thèse se placent dans le contexte du génie logiciel orienté-agent. Nous nous focalisons sur le problème de contrôlabilité des systèmes multi-agents ouverts (SMA ouvert). La maitrise du comportement des SMA ouverts est une tâche très complexe vis-à-vis les caractéristiques inhérentes à ce type des SMA telles que : l'ouverture, la dynamique, le non-déterminisme, l'hétérogénéité, l'émergence, etc. Un type particulier des SMA ouverts est celui implémenté en se basant sur un modèle organisationnel (bien particulièrement le modèle AGR : Agent, Group, Rôle). Nous partons par diviser le problème de contrôle des SMA ouverts basés-AGR en deux phases complémentaires : le monitoring et le contrôle proprement dit. Ainsi, nous avons proposé deux approches différentes pour chaque phase. Le monitoring permet d'analyser et d'examiner dynamiquement le comportement des SMA ouverts que ce soit pour le niveau système ou agent. L'approche de monitoring proposée a été concrétisée par un outil logiciel baptisé RT-MTOMAS. En revanche, l'approche de contrôle proposée a été déployée sous le nom NorCtrl4OMAS et est validée, également, avec un outil logiciel dédié. NorCtrl4OMAS utilise principalement les normes comme étant un mécanisme de contrôle. Nous avons étudié l'applicabilité des deux approches proposées sur des études de cas concrètes sous la plateforme MaDKit. Abstract Research accomplished in this thesis is placed in the context of agent oriented software engineering. We focus, mainly, on the controllability problem of Open Multi-Agent Systems (Open MAS). Mastering the behaviour of Open MAS is a hard task with respect to inherited characteristics like: openness, dynamic, non-determinism, heterogeneity, emergency, etc. A particular kind of Open MAS is the one implemented based on AGR (Agent, Group, Role) organizational model. We start by dividing control problem of AGR-based Open MAS into two complementary phases: monitoring and controlling. Also, we have proposed a different approach for each phase. Monitoring consists of analysing and reviewing dynamically the behaviour of Open MAS for both agent and system levels. Proposed monitoring approach is supported by a software tool baptized (RT-MTOMAS). However, proposed control approach has been deployed under the name: NorCtrl4OMAS and validated with a dedicated software tool. NorCtrl4OMAS uses norms as a control mechanism. We investigated the applicability of the two approaches using concrete case studies under MaDKit agent platform.Item Contrôle de la réorganisation dans les SMA(Université d' Oum El Bouaghi, 2003) Kalache, Ayyoub; Mokhati, FaridLa Réorganisation dans les systèmes multi-agents joue un rôle crucial dans l'adaptation dynamique de la structure et du comportement des organisations. Afin d'assurer la cohérence de l'organisation résultante, le processus de réorganisation doit être contrôlé. Dans ce mémoire, nous proposons une nouvelle approche pour contrôler le processus de réorganisation des SMA, qui sont spécifiés et implémentés à l'aide de Framework OMACS (Organizational Model for Adaptive Computational Systems). Le processus de contrôle proposé est réalisé en utilisant le Framework MOP (Monitoring OrientedProgramming) pour supporter la vérification de certaines propriétés de réorganisation. L'approche proposée, est soutenue par un outil logiciel, que nous avons développé, est illustrée par une étude de cas concrèteItem Dynamic reconfiguration of composite web services(Université De Larbi Ben M’hidi Oum EL Bouaghi, 2022) Messiaid, Abdessalam; Mokhati, Faridتوفر البنية الموجهة نحو الخدمات (SOA) القدرة على دمج العديد من خدمات الويب من أجل تحقيق متطلبات خاصة بالمستخدم. في البيئات الديناميكية ، يمكن أن يؤدي ظهور العديد من الأحداث غير المتوقعة إلى زعزعة استقرار خدمة الويب المركبة والتأثير على جودتها. تعتبر إعادة التكوين الديناميكي لخدمة الويب المركبة ضرورية للتعامل مع مثل هذه التحديات. إعادة التكوين الديناميكي هي القدرة على تغيير بنية خدمة الويب المركبة أو سلوكها في وقت التشغيل دون إيقافها. يأتي البحث المقدم في هذه الأطروحة في سياق توفير إعادة تكوين ديناميكي محسن لخدمات الويب المركبة. على الرغم من أهميتها ، لم يتم بعد دراسة هذا المجال بشكل كاف. في هذه الأطروحة ، نقترح نهجا لإعادة التكوين الديناميكي لخدمات الويب المركبة بناءً على التنبؤ بالتدهور الوشيك في جودة الخدمة لخدمات الويب المرشحة. تم اقتراح نهج آخر لاستبدال الخدمات الفاشلة مع الحفاظ على خصائص جودة الخدمة الأصلية. يبحث النهج الثاني في صعوبة اختيار خدمة ويب بديلة مثالية ، خاصة إذا كان هناك العديد من الأخطاء في نفس الوقت ، فقد تعترض خدمة إعادة التكوين الديناميكي لعدة عقبات. تظهر التقييمات التجريبية التي أجريناها على مجموعات بيانات واقعية أن مناهجنا المقترحة تتفوق على العديد من الأساليب الحديثة من حيث الدقة في النهج الأول والكفاءة في النهج الثاني. L’architecture orient´ee services offre la possibilit´e d’int´egrer plusieurs services Web afin de r´epondre a` une exigence sp´ecifique `a l’utilisateur. Dans les environnements dynamiques, l’apparition de plusieurs ´ev´enements impr´evus peut d´estabiliser le service Web composite et affecter sa qualit´e. La reconfiguration dynamique du service Web composite est es- sentielle pour faire face a` de tels d´efis. La reconfiguration dynamique est la possibilit´e de modifier la structure du service Web composite ou son comportement au moment de l’ex´ecution sans l’arrˆeter. La recherche pr´esent´ee dans cette th`ese s’inscrit dans le contexte du d´eveloppement d’une reconfiguration dynamique am´elior´ee aux services Web compos- ites. Malgr´e son importance, ce domaine n’a pas encore ´et´e suffisamment ´etudi´e. Dans cette th`ese, nous proposons une approche de reconfiguration dynamique de services Web composites bas´ee sur la pr´ediction de la d´egradation imminente de la QoS des services Web candidats. Une autre approche est propos´ee pour remplacer les services d´efaillants et maintenir les contraintes de bout en bout d’origine. La deuxi`eme approche ´etudie la diffi- cult´e de s´electionner un service web de substitution optimal, notamment s’il y a plusieurs erreurs en mˆeme temps, le service de reconfiguration dynamique peut pr´esenter plusieurs obstacles. Les ´evaluations exp´erimentales que nous avons men´ees sur des ensembles de donn´ees r´ealistes montrent que nos approches propos´ees surpassent plusieurs m´ethodes de pointe en termes de pr´ecision dans la premi`ere approche et d’efficacit´e dans la seconde approche. Service-oriented architecture provides the ability to incorporate several web services in or- der to achieve a user-specific requirement. In dynamic environments, the appearance of multiple unforeseen events can destabilize the composite web service and affect its quality. The dynamic reconfiguration of the composite web service is essential to dealing with such challenges. Dynamic reconfiguration is the capacity to modify the composite web service structure or behavior while it is operating. The research presented in this thesis takes place in the context of providing enhanced dynamic reconfiguration to composite web services. Despite its importance, this area has not yet been adequately studied. In this thesis, we propose an approach for dynamic reconfiguration of composite web services based on pre- dicting the imminent degradation in QoS of the candidate or partner web services. Another approach is proposed to replace failed services and maintain the original end-to-end con- straints. The second approach investigates the difficulty of selecting an optimal substitute web service, especially if there are many errors at the same time, the dynamic reconfigu- ration service may present several obstacles. The experimental evaluations we conducted on realistic datasets show that our proposed approaches outperform several state-of-the- art methods in terms of accuracy in the first approach and efficiency in the second approachItem Evaluation de l'impact du refactoring aspect dans un contexte multi-agents(Université d' Oum El Bouaghi, 2014) Chebout, Mohamed Sedik; Mokhati, FaridLes applications multi-agents existantes dans la littérature sont développées sans tenir compte de la séparation entre les préoccupations fonctionnelles de celles non fonctionnelles, ce qui affecte leurs qualités. Une des techniques utilisées pour améliorer la qualité du logiciel est le Refactoring. Cette technique sert à améliorer l'extensibilité, la modularité, la réutilisabilité, la complexité et la maintenance du logiciel. Une piste relativement nouvelle pour implémenter le Refactoring est l'utilisation de la programmation orientée aspect. Par conséquent, il en résulte l'apparition d'une nouvelle technique connue sous le nom de Refactoring Orienté Aspect. Dans ce mémoire, nous proposons une nouvelle approche basée sur l'analyse dynamique pour évaluer l'impact du Refactoring Aspect sur la qualité des applications multi-agents, plus spécifiquement, l'approche proposée a pour but de savoir si le Refactoring Orienté Aspect nous permet d'apporter une amélioration sur le comportement des agents en terme de communication et échange de messages pour atteindre et compléter leurs tâches. Notre approche est sanctionnée par un outil d'analyse de performances qui supporte les spécificités des agents implémenté sous la plateforme Agent FactoryItem Formalisation de la méthodologie passi(université Oum-El-Bouaghi, 2018) Mazouz, Mihoub; Mokhati, FaridLe paradigme agent a prouvé sa capacité et son efficacité dans le développement des systèmes distribués et complexes. Durant les deux dernières décennies, plusieurs méthodologies de développement des systèmes multi-agents (MAS) ont été proposées telles que Gaia, Tropos et PASSI. Bien que ces méthodologies et autres aient contribué de manière significative à relever plusieurs défis dans le domaine de développement des SMA, la plupart d’entre elles sont basées sur des notations semi-formelles et n’utilisent pas des techniques formelles, ce qui met les spécifications produites lors des phases du cycle de développement susceptibles de contenir des inconsistances, d’incohérences ou des ambiguïtés. L’utilisation de méthodes formelles fait face à ces lacunes et peut permettre une description précise et non ambigüe du système sous-développement. Dans cette thèse, nous proposons la méthodologie F-PASSI (Formal-PASSI), une extension de la méthodologie PASSI. F-PASSI vise à adopter de spécifications formelles et les exploiter pour en appliquer quelques techniques formelles. Le processus de conception de F-PASSI se compose de celui de PASSI en lui intégrant un modèle formel. Ce dernier se compose de quatre phases et vise à offrir une description formelle basée sur la logique de réécriture et son langage Maude par l’exécution de deux transformations successives. La première transformation est du type Modèle-à-Modèle (M2M) et en résulte un modèle Maude à partir d’un modèle PASSI. La deuxième transformation est du type Modèle-à-texte (M2T) et en résulte une description basée-Maude à partir du modèle Maude généré. La description formelle produite est exploitée ensuite pour valider les diagrammes comportementaux conçus dans les modèles qui précèdent le module formel, et pour vérifier des propriétés au niveau d’abstraction Multi/Single agent avant le passage au modèle de codage. F-PASSI est supportée par un outil que nous avons développé (F-PTK). L’outil développé facilite aux développeurs leurs tâches surtout le fait qu’il soit basé sur une technique de traçabilité que nous avons aussi proposée. La méthodologie proposée et l’outil développé sont illustrés à travers une étude de cas.Item Multi agent systems and their testing efforts(University of Oum El Bouaghi, 2025) Kalache, Ayyoub; Mokhati, FaridSoftware agent-based technology is a key approach to addressing the complex, distributed, and autonomous required nature of modern software systems. However, quality assurance remains a significant challenge that hindersits industry adoption. This research investigates the widely held assumption that agent-based systems are inherently hard to test by empirically studying their testability from the perspective of agent test writing effort. Focusing on JADE-based multi agent systems (MAS), the properties, attributes, and testing efforts of a sample of JADE agents are characterised and statistically analysed using correlation and regression techniques. This analysis allowed to identify and understand the relationship between agent attributes and properties, and testing effort. These insights are then leveraged to build agent testing effort prediction models using machine learning techniques.The study addressed key challenges including the absence of comprehensive agent measurement models, the lack of a thorough JADE testing framework, and the unavailability of open MAS testing cases that could serve as case studies. Overall, this research resulted in several significant contributions to the field of agent based system quality, particularly in testing and measurement. It enhanced the understanding of agent testability and the way agent characteristics and properties affect it at different testing levels. It proposes a high effectiveness prediction models. It introduces the Unified Framework for Agent Properties Measurement (UFAPM), to tailoring a context-specific agent measurement model. It proposes JADE Testing Framework (JTF), a comprehensive and effective solution for JADE agent testing, sustained with over 4,000 lines of agent test code that provide a valuable benchmark for future studies. La technologie des logicielsbasés sur les agents estuneapprocheclé pour répondre à la complexité, la distribution et l'autonomierequises par les systèmesmodernes. Cependant, l'assurancequalitéreste un défimajeur qui freine son adoption dansl'industrie. Cetterecherche examine l'hypothèselargementrépandueselonlaquelle les systèmesmulti-agents sontintrinsèquementdifficiles à tester, enétudiantempiriquementleurtestabilité sous l'angle de l'effortd'écriture des tests pour les agents. En se concentrant sur les systèmes multi-agents (MAS) basés sur JADE, les propriétés, les attributs et les efforts de test d'un échantillond'agents JADE sontcaractérisés et analysésstatistiquement à l'aide de techniques de corrélation et de régression. Cette analyse a permisd'identifier et de comprendre la relation entre les attributs et les propriétés des agents, et l'effort de test. Cesinformationssontensuiteexploitées pour construire des modèles de prédiction de l'effort de test des agents à l'aide de techniques d'apprentissageautomatique. L'étude a recontré des défis major, notammentl'absence de modèles de mesurecomplets pour les agents, le manque d'un outils de test approfondi pour JADE et l'indisponibilité de casd'étudeouverts sur le test des MAS, qui pouvantservir de référence. Generalement, cetterecherche a apportéplusieurs contributions significatives au domaine de la qualité des systèmes multi-agents, enparticulierdans les domaines du test et de la mesure. Elle a amélioré la compréhension de la testabilité des agents et de la manièredont les caractéristiques et propriétés des agents l'affectent à différentsniveaux de test. Elle propose des modèles de prédictiond'unegrandeefficacité. Elle introduit le Cadre Unifié pour la Mesure des Propriétés des Agents (UFAPM), permettant de concevoir un modèle de mesure des agents spécifique à un contexte. Elle propose également un outilsde Test JADE (JTF), une solution complète et efficace pour le test des agents JADE, soutenue par plus de 4 000 lignes de code de test d'agents qui offrentuneprécieuseréférences pour les études futures. تعد تكنولوجيا برمجيات الوكلاء طريقة ناجعة لمعالجة الطبيعة المعقدة والموزعة والمستقلة المطلوبة للأنظمة البرمجيات الحديثة. ومع ذلك، يظل ضمان الجودة تحديًا كبيرًا يعيق اعتماد هذه التكنولوجيا في الصناعة. ينظر هذا البحث في الافتراض الشائع بأن الأنظمة القائمة على الوكلاء يصعب اختبارها بطبيعتها، وذلك من خلال دراسة قابليتها للاختبار من منظور جهد اللازم لاختبار الوكلاء.لقد تم اختيارمجموعة من الأنظمة متعددة الوكلاء القائمة على منصت JADE كعينة للدراسة، اين تم قياس لكل وكيل من العينة كل من خصائصه ، قدراته و كذا الجهد اللازم لاختباره .البيانات المتحصل عليها تم تحليلها إحصائيًا باستخدام تقنيات الارتباط والانحدار. مما سمح بتحديد وفهم العلاقة بين كل من خصائص و قدرات من جهة وكذا جهود الاختبار من جهة اخرى . ثم تم استخدام هذه النتائج لبناء نماذج تنبؤ لجهد اختبار الوكلاء باستخدام تقنيات التعلم الآلي . واجهت الدراسة التحديات عديدة شمل غياب نماذج كاملة و موثوقة لقياس خصائص وقدرات الوكلاء، عدم وجود منصة متكاملة لاختبارهم، غياب اختبارات مفتوحة المصدر و التي يمكن استخدامها كعينات لدراسة. بشكل عام، نتج عن هذه الدراسة عدة مساهمات هامة في مجال جودة الأنظمة القائمة على الوكلاء، خاصة في مجالي الاختبار والقياس حيث عززة فهم قابلية اختبار للوكلاء وكيفية تأثير خصائصهم و قدراتهم على الجهد اللازم لاختبارهم، تقترح نماذج تنبؤ ذات فعالية عالية ، إطارموحد خاص بصياغة نمادج قياس متكاملة للوكلاء (UFAPM)و كذا منصة اختبارمتكاملة وفعالة(JTF)للأنظمة متعددة الوكلاء القائمة على JADE ، مدعوم بأكثر من 4,000 سطر من كود اختبار لوكلاء والذي يعتبر قاعدةبيانات قيمًة للدراسات المستقبلية.Item Quality assurance for embedded systems(Université De Larbi Ben M’hidi Oum EL Bouaghi, 2022) Tamrabet, Zouheyr; Mokhati, FaridThe research presented in this thesis addresses the problem of embedded systems quality assurance. The main motivation for our contributions is the absence of standard quality models that include and cover concepts specific to embedded systems. In addition to the importance of representing the quality of embedded systems because of its impact on the complexity and dependability of these types of systems. Our contributions in this thesis focus on the representation of software quality in the context of embedded systems. Through our study, we have proposed an Embedded Software Quality Model ESQuMo that is based on the standard ISO/IEC 25010 quality model. The importance of the proposed model lies in the ability to cover the relevant characteristics of the embedded software, in addition to the general characteristics that the embedded software share with the rest of the ordinary software. As a second step in our contribution, we have applied the proposed ESQuMo quality model to the medical imaging embedded software category, by providing a set of quality measures that comply with the ISO/IEC 25023 the complementary standard to the ISO/IEC 25010 adopted as the basis for the proposed quality model. These quality measures are primarily intended to control and supervise the overall quality of embedded systems. La recherche présentée dans cette thèse aborde le problème de l'assurance qualité des systèmes embarqués. La motivation principale de nos contributions est l'absence des modèles de qualité standard qui incluent et couvrent des concepts spécifiques aux systèmes embarqués. En outre, l'importance de représenter la qualité des systèmes embarqués en raison de son impact sur la complexité et la fiabilité de ces types de systèmes. Nos contributions dans cette thèse se concentrent sur la représentation de la qualité logicielle dans le contexte des systèmes embarqués. Au cours de notre étude, nous avons proposé un modèle de qualité du logiciel embarqué ESQuMo qui est basé sur le modèle de qualité standard ISO/IEC 25010. L'importance du modèle proposé réside dans la capacité à couvrir les caractéristiques pertinentes du logiciel embarqué, en plus des caractéristiques générales que le logiciel embarqué partage avec le reste des logiciels ordinaires. Dans une deuxième étape de notre contribution, nous avons appliqué le modèle de qualité ESQuMo proposé à la catégorie des logiciels embarqués d'imagerie médicale, en fournissant un ensemble de mesures de qualité conformes au standard ISO/IEC 25023, le standard complémentaire à l'ISO/IEC 25010 adoptée comme la base du modèle de qualité proposé. Ces mesures de qualité visent principalement à contrôler et superviser la qualité globale des systèmes embarqués. البحث المقدم في هذه الأطروحة يعالج إشكالية ضمان جودة الأنظمة المدمجة. الدافع الرئيسي لمساهمتانا هو غياب نماذج الجودة القياسية التي تشمل وتغطي المفاهيم الخاصة باالأنظمة المدمجة. بالإضافة لأهمية تمثيل جودة الأنظمة المدمجة لما لها من تأثير على تعقيد ومصداقية هذا النوع من الأنظمة. مساهمتانا في هذا البحث تركز على تمثيل جودة البرمجيات في سياق األنظمة المدمجة. من خالل دراستنا هذه، قمنا باقتراح نموذج جودة خاص ببرمجيات الأنظمة المدمجة ESQuMo الذي يرتكز على نموذج الجودة القياسي ايزو 01252 .تكمن أهمية النموذج المقترح في القدرة على تغطية المميزات الخاصة بالبرمجيات المدمجة، بالإضافة للمميزات العامة التي تشترك فيها البرمجيات المدمجة مع باقي البرمجيات العادية. كخطوة ثانية في مساهمتنا، قمنا بتطبيق نموذج الجودة المقترح ESQuMo على فئة البرمجيات المدمجة للتصوير الطبي، وذلك من خلال تقديم مجموعة من مقاييس الجودة التي تتوافق مع التقييس ايزو 01202 المكمل للتقييس 01252 المعتمد كأساس لنموذج الجودة المقترح. تهدف مقاييس الجودة هذه بشكل أساسي في التحكم والإشراف على الجودة العامة للأنظمة المدمجة.Item Social web services discovery(2010) Metrouh, Abdelmalek; Mokhati, FaridOver the past few years, an exceptional interest has been taken in the area of Service-Oriented Computing. Particularly, a remarkable effort has been made in the context of Web service discovery, a very important and active research domain. In fact, the number of Web services has grown rapidly and the task of their discovery resting on standards, UDDI and ebXML becomes more and more difficult. The most proposed approaches for Web services discovery focused on the description of Web services themselves and neglect their interaction with each other. In this paper, we use the concepts of social networking, the principles of recommender systems and Web services communities, in the context of Web 2.0, introduced in our previous work to significantly reduce this task. The obtained results seem promising.Item Test des systèmes multi-agents holoniques(Université d' Oum El Bouaghi, 2016) Dehimi, Nour El Houda; Mokhati, FaridLes systèmes multi-agents, basés organisation, s'imposent de plus en plus dans le domaine du développement de systèmes complexes et distribués. Les systèmes multi-agents holoniques (SMAH) sont considérés comme étant une organisation bien établie permettant la construction des systèmes complexes d'une manière très efficace en termes d'utilisation des ressources, de la résistance aux perturbations et de l'adaptation aux changements de leur environnement. Le développement des applications basées sur les SMAH demeure peu solide. L'activité de test, qui représente une tâche importante dans l'assurance de leur qualité, n'est pas bien couverte. Dans cette thèse, nous proposons une nouvelle approche de test basée sur les modèles spécifiques aux agents holoniques. La technique utilise les algorithmes génétiques et prend en compte l'évolution (versions successives) d'un agent. Elle est organisée en deux principaux processus qui s'exécutent d'une façon itérative. Le premier processus porte sur la détection d'une nouvelle version de l'agent à tester. Le deuxième processus porte sur le test de chaque nouvelle version détectée. La nouvelle version de l'agent est analysée afin de générer un modèle comportemental sur lequel est basée la génération des cas de test. Le processus de génération des cas de test se concentre sur les nouvelles (et / ou modifiées) parties du comportement de l'agent. De cette manière, la technique prend en charge une mise à jour incrémentielle des cas de test, qui est un problème crucial. Un outil logiciel que nous avons développé prend en charge la technique proposée. L'approche et l'outil associé sont illustrés à l'aide d'une étude de cas concrèteItem Towards formalizing web service composition in maude’s strategy language(2010) Merouani, Hamza; Mokhati, Farid; Seridi-Bouchelaghem, HassinaWS.BPEL 2.0 (Web Services Business Process Execution Language) commonly known as BPEL for short, is currently the de-facto standard language to represent the behavior of web services composition. It offers the possibility to specify the behavior of business processes in two ways: executable and abstract business processes. An abstract business process defines a business protocol that describes the ordering of messages to be sent and received to or from a web service. An executable process, which is the focus of this paper, defines the execution order of a set of activities, the partners involved in the process, the messages and the events exchanged between partners. BPEL suffers, in fact, from a lack of standard formal semantics. This weakness can lead to inconsistencies, ambiguities, and incompleteness within the developed models. We present, in this paper, a novel approach for formalizing web service composition as an executable formal specification described in the Maude language Strategy, a recent extension of Maude. The formalization process is accomplished in two steps: (1) translating the BPEL description in an extension of UML 2.0 called UML-S “UML for Services” and (2) translating the UML-S graphical description generated to Maude’s strategy language.Item Une Approche de maintenance préventive des systèmes multi-agents(Université De Larbi Ben M’hidi Oum EL Bouaghi, 2022) Ghrieb, Nawel; Mokhati, FaridLa maintenance préventive des logiciels est une activité logicielle importante qui consiste à inclure des modifications et des mises à jour afin d'éviter de futurs problèmes graves du logiciel. Dans le contexte des systèmes multi-agents, une telle activité est complètement omise. Les spécificités inhérentes aux systèmes multi-agents (ex : autonomie, proactivité, réactivité, adaptabilité, etc.) rendent leur maintenance difficile à réaliser. Nous proposons, dans cette thèse, deux approches différentes de maintenance préventive conditionnelle. La première approche proposée, permet la maintenance préventive conditionnelle des applications multi-agents et consiste à mesurer deux métriques de qualité (autonomie et sociabilité) de l'application en cours d'exécution de manière dynamique et continue en utilisant le code AspectJ et à avertir le mainteneur en cas de détection de régression anormale de la qualité MAS, afin d'éviter d'éventuels dommages. L'approche proposée est soutenue par un outil logiciel que nous avons développé et appelé PMMAS (Preventive Maintenance of Multi-Agent Systems). En revanche, la seconde approche de maintenance proposée concerne les systèmes multi-agents organisationnels (OCMAS) et consiste à mesurer d'autres métriques de qualité spécifiques à l'organisation de ces systèmes telle que l'efficacité des agents à exécuter leurs rôles. Dès qu'une régression de l'efficacité est détectée notre système permet d'intervenir en utilisant les techniques de la réorganisation afin de préserver la qualité de l'application. L'applicabilité du système MAINOMACS proposé pour les systèmes se basant sur le modèle organisationnel OMACS a été validée par une étude de cas. Preventive software maintenance is an important software activity that involves including changes and updates to prevent serious software problems in the future. In the context of multi-agent systems, such activity is completely omitted. The specificities inherent to multi-agent systems (eg: autonomy, proactivity, reactivity, adaptability, etc.) make their maintenance difficult to achieve. In this thesis, we propose two different approaches to conditional preventive maintenance. The first proposed approach allows conditional preventive maintenance of multi-agent applications and consists To measure two quality metrics (autonomy and sociability) of the running application in a dynamic and continuous manner using AspectJ code and to warn the maintainer in case of detection of abnormal regression of the MAS quality, in order to avoid possible damage. The proposed approach is supported by a software tool we have developed and baptized PMMAS (Preventive Maintenance of Multi-Agent Systems). On the other hand, the second proposed maintenance approach concerns multi-agent organizational systems (OCMAS) and consists in measuring other quality metrics specific to the organization of these systems, such as the efficiency of agents in performing their roles. As soon as a decrease in efficiency is detected, our system allows us to intervene using the techniques of reorganization in order to preserve the quality of the application. The applicability of the proposed MAINOMACS system for systems based on the OMACS organizational model was validated by a case study.تعد صيانة البرامج الوقائية نشاطًا مهمًا للبرامج يتضمن التغييرات والتحديثات لمنع حدوث مشكلات البرامج الخطيرة في المستقبل. في سياق الأنظمة متعددة الوكلاء، تم تجاهل هذا النشاط تمامًا. الخصائص المتأصلة في الأنظمة متعددة العوامل (على سبيل المثال: الاستقلالية، الاستباقية، التفاعلية والقدرة على التكيف، وما إلى ذلك) تجعل من الصعب تحقيق صيانتها. في هذه الرسالة، نقترح طريقتين مختلفتين للصيانة الوقائية المشروطة. النهج الأول المقترح، يسمح بالصيانة الوقائية المشروطة للتطبيقات متعددة الوكلاء ويتكون من قياس مقياسين للجودة (الاستقلالية والتواصل الاجتماعي) للتطبيق قيد التشغيل بطريقة ديناميكية ومستمرة باستخدام كود AspectJوتحذير مهندس الصيانة في حالة اكتشاف تراجع غير طبيعي في جودةMAS ، من أجل تجنب الضرر المحتمل. النهج المقترح مدعوم بأداة برمجية قمنا بتطويرها وأطلقنا عليها اسم PMMAS (الصيانة الوقائية للأنظمة متعددة العوامل). من ناحية أخرى، يتعلق نهج الصيانة المقترح الثاني بالأنظمة التنظيمية متعددة الوكلاء (OCMAS) ويتكون من قياس مقاييس الجودة الأخرى الخاصة بتنظيم هذه الأنظمة، مثل كفاءة الوكلاء في أداء أدوارهم. بمجرد اكتشاف انخفاض في الكفاءة، يسمح نظامنا بالتدخل باستخدام تقنيات إعادة التنظيم من أجل الحفاظ على جودة التطبيق. تم التحقق من قابلية تطبيق نظام MAINOMACS المقترح للأنظمة القائمة على النموذج التنظيمي OMACS من خلال دراسة حالة.Item Une Approche pour l'extraction d'aspects dans les applications multi-agents(Université d' Oum El Bouaghi, 2014) Zerrougui, Salim; Mokhati, FaridL'extraction d'aspect " Aspect Mining " est une étape préalable et importante pour la restructuration d'aspect " Aspect Refactoring " et joue un rôle crucial dans la compréhension et la maintenance de programme. Plusieurs techniques d'extraction d'aspect ont été proposées pour les programmes orientés objet. Cependant, l'utilisation de l'extraction d'aspect dans les systèmes multi agents (programmes multi agents) est un domaine de recherche inexploré. Les spécificités inhérentes aux systèmes multi agents (autonomie, pro activité, adaptabilité, etc.) rendent leur réutilisabilité et maintenabilité des tâches difficiles à réaliser. Nous proposons, dans ce mémoire, une approche hybride (basée sur l'analyse statique et l'analyse dynamique) et semi-automatique d'extraction d'aspects pour les systèmes orientés agent. Les principales motivations de l'approche proposée sont: (1) l'identification des préoccupations transverses dans les codes orientés agent existants, et (2) l'explicitation de ces préoccupations aux ingénieurs logiciels impliqués dans l'évolution de code orienté agent afin de faciliter son restructuration et, par conséquent, d'améliorer ça réutilisabilité et sa maintenabilité. L'approche proposée est supportée par un outil logiciel qui nous avons développé nommé MAMIT (Mas Aspect-MIning Tool). L'approche et l'outil associés sont illustrés à l'aide d'un cas d'étude concrèteItem Verifying UML diagrams with model checking(IEEE, 2007) Mokhati, Farid; Badri, Mourad; Gagnon, PatriceWe present, in this paper, a framework supporting a formal verification of UML diagrams using the Maude language. The approach considers both static and dynamic features of object-oriented systems. We focus, in particular, on UML class, state and communication diagrams. The formal and objectoriented language Maude, based on rewriting logic, supports formal specification and programming of concurrent systems, as well as model checking. The major motivations of this work are: (1) bind together the UML notation and the Maude language (2) preserve the coherence in object-oriented systems description, (3) use model checking techniques to support formally their verification process. The generated Maude specifications, from the considered UML diagrams, are validated by simulation and model checking. The approach is illustrated using a concrete case study.