Browsing by Author "Mokhati, Farid"
Now showing 1 - 20 of 27
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 Detection of Security Vulnerabilities in Smart Contracts(University of Oum El Bouaghi, 2024) Ghorab, Djamel Eddine Hakim; Mokhati, FaridMachine learning, Blockchain technology, and Cybersecurity are topics that have garnered significant interest from researchers. Smart contracts, programs that operate on the Ethereum Blockchain, have demonstrated extensive utility across various domains. However, with their increased usage comes an elevated risk of hackers exploiting these contracts. In this thesis, we propose the use of BERT, a machine learning model, for detecting vulnerabilities in Solidity smart contracts. Our work involves fine tuning a pre-trained deep learning model to predict whether a contract is vulnerable. Furthermore, we develop an extension for an Integrated Development Environment (IDE) that utilizes the trained model, assisting developers in enhancing the security of smart contracts.Item 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 de l'organisation sur l'autonomie des agents(Université Oum El Bouaghi, 2015) Tamrabet, Zouheyr; Mokhati, FaridLes systèmes multi agents sont des systèmes complexes basés sur des entités autonomes appelés agents. Les caractéristiques des agents dont l'autonomie est la principale entre elles facilitent la conception et l'implémentation de tels systèmes. Bien que l'autonomie soit la caractéristique principale des agents, un comportement totalement autonome met en péril les objectifs collectifs des agents. En revanche, un comportement contrôlé limite les capacités des agents. En conséquence, l'organisation, comme concept imité de la métaphore humaine, permet la résolution de cette situation paradoxale. Dans ce mémoire nous avons étudié l'impact de l'organisation sur l'autonomie des agents à travers un ensemble de mesures. Les mesures proposées peuvent être appliquées sur des systèmes développés en prenant en compte ou en ignorant les aspects organisationnels afin de déduire leurs effets. Notre travail est basé sur le modèle organisationnel AGR.Item 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 Génération d'une spécification maude strategy à partir d'une description UML-S(Université Oum El Bouaghi, 2011) Mazouz, Mihoub; Mokhati, FaridNous avons précisé dans ce chapitre une approche permettant de valider la composition de services Web tout en gérant une spécification formelle Maude-Strategy partir de diagrammes de classes et d¯activité UML-S. Comme nous avons aussi précisé le plug-in Eclipse que nous avons développement. Ce Plug-in, nous permet dans un premier temps de mod¨¦liser les services composer sous forme d'un diagramme de classes UML-S, et de modiliser leur composition ¨ l'aide du diagramme d'activit¨ UML-S, et puis de gérer une spécification formelle Maude-Strategy pour la valider.Item Génération des diagrammes auml à partir de programme jade(Université Oum El Bouaghi, 2012) Mecibah, Zina; Mokhati, FaridUne nouvelle approche de génération de diagrammes JAV.ML à partir du code JJADT est proposée dans ce mémoire. En effet, cette approche se place dans Ce contexte de rétro-ingénierie des SMJA et vise comme objectif d'aider Ces utilisateurs qui ne sont pas Bien familiarisés avec la plateforme JJADT. de comprendre les applications développées sur JJADT. Notre approche est supportée par un outil visuel et interactif que nous avions développé dans l'environnement 'ECLITS'E. Cet outil permet d'analyser dans un premier temps l'application JJADE avant d'en générer deux diagrammes JA'UML: diagramme de classe et diagramme de séquence. Le premier est utilisé pour capturer les aspects statiques de l'application tandis que le deuxième est utilisé pour décrire le comportement collectif des agents impliqués dans l'interaction. Notre outil permet également de générer une description formelle écrite en XML offrant une description standard pouvant être utilisée par la plupart des outils de modélisation agent.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 Spécification formelle du protocole CAN(Université Oum El Bouaghi, 2011) Benrahla, Hicham; Mokhati, FaridNous élaborons une spécification formelle concernant certaines fonctionnalités du protocole CAN l'un des systèmes embarqués à l'aide - un langage formel basé sur la logique de réécriture, Maude. Une fois son élaboration se fait, la spécification en question est vérifiée par le LTL model-checker une technique de model-checking, justement choisi car il est spécifique au langage Maude, déjà mentionné ci-dessus. Un outil graphique est suggéré de simplifier la création, l'utilisation et le test des spécifications différentes liées à certaines fonctionnalités.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 Un Environnement interactif pour la résolution de blocages des applications Jadex(Université Oum El Bouaghi, 2011) Ferhati, Badreddine; Mokhati, FaridNous avons proposé dans ce mémoire une nouvelle approche permettant à un système multi-agent, qui se trouve dans une situation de blocage à cause d'un manque d'information ou d'une mauvaise exécution d'un plan, de s'en sortir on en se basant sur la communication entre les agents. Pour arriver à notre objectif, nous avons développé un outil pour faciliter le développement des systèmes multi-agent Jadex. Les systèmes multi-agents créés avec notre outil vont subir une série de modification à fin d'assurer un meilleur fonctionnement. Une fois la création d'un système multi-agent est terminée, le système sera exécuté à l'aide de l'outil Jadex Control Center qu'on peut le lancer à partir de noter outil. Développé avec Builder C++ la version 9 et Java Eclipse, l'outil que nous avons développé offre une interface facile à utiliser par les concepteurs pour la création des SMA et l'assurance d'un bon fonctionnement du système résultant. Comme perspective à moyen termes, nous envisageons d'étendre notre approche et par conséquent l'outil la supportant en utilisant d'autres techniques de résolution de blocages.Item Un Outil d'auto-évaluation de l'apprenant de la programmation orientée objet dans les environnements EIAH(Université Oum El Bouaghi, 2013) Chaoua, Zakaria; Mokhati, FaridNotre travail se place dans le cadre des recherches menées sur les environnements informatiques pour l'apprentissage humain (EIAH) et plus spécialement dans le Télé tps. Il s'agit de développer un outil permettant d'auto-évaluer les apprenant de la programmation orientée objet tout en se basant sur la notation UML. L'outil développé implémente une nouvelle technique d'auto-évaluation de l'apprenant dans l'activité d'apprentissage des Télé tps basée sur les algorithmes d'appariement. Le but du travail étant l'identification des similarités et des différences entre les diagrammes produits par l'apprenant et ceux de référence décrivant une interprétation correcte du programme de l'expert. Cet outil permet de générer, dans un premier temps, des diagrammes de classes et de communication à partir de programme C++ (apprenant et/ou expert). Dans un second temps, l'outil permet de comparer les productions de l'apprenant et celles l'expert en utilisant des algorithmes d'appariement.