Browsing by Author "GHERAISSA, Tarek"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Convertisseur de bases des données : de MS. Access à MySQL
    (university of eloued جامعة الوادي, 2014-06-03) LEMMOUCHI, Nacereddine.; GHERAISSA, Tarek
    يتلخص مشر عًنا في إنشاء برنامج يسمح بتح يٌل ق اٌعذ بياناث من ن عٌ MS. Access إلى MYSQL ، عًمليت التح يٌل ىذه تتم على مرحلتين الأ لًى بقرائو قاعذة البياناث )الجذا لً اًلعلاقاث بين الجذا لً ...( ثم إعادة إنشائيا اًلمرحلت الثانيت ىي نقل البياناث إلييا.Notre projet se résume en la création d’un programme qui offre la possibilité de convertir les bases des données de type MS. Access à MYSQL. Le processus de conversion se fait en deux étapes : la première consiste en la lecture de la base des données (les tableaux et les relations entre ceux-ci) et la création d’une nouvelle base. Quant à la deuxième étape, elle consiste en le transfert des informations vers cette nouvelle base.
  • No Thumbnail Available
    Item
    Transformation of OCL Constraints to FoCaLiZe Specifications
    (2016-05) GHERAISSA, Tarek; LEMMOUCHI, Nacer-Eddine
    FoCaLiZe is a development environment based on a formal approach, which integrates an automated theorem prover (Zenon) and a proof checker (Coq). On the other hand, the UML graphical language is widely used to model systems in a synthetic and intuitive way, but lacks formal basis. In this master thesis we studied the transformation rules of OCL constraints into FoCaLiZe specifications in the context of MDE (Model Driven Engineering). Then, we propose an implementation of the transformation rules using XSLT language. The proposed implementation directly supports the main OCL constraints (invariant and pre/post-condition). We illustrate our implementation with concrete examples.FoCaLiZe est un environnement de développement basé sur une approche formelle, qui intègre un prouver automatique (ZENON) et un outil d’aide à la preuve (Coq). D'autre part, le langage graphique UML est largement utilisé pour modéliser les systèmes de manière synthétique et intuitive, mais il manque les bases formelles. Dans ce mémoire de master, nous avons étudié les règles de transformation de contraints OCL en spécifications FoCaLiZe dans le contexte de MDE (Model Driven Engineering), puis nous proposons une implémentation des règles de transformation en utilisant le langage XSLT. L'implémentation proposée supporte directement les principaux contraints OCL (invariants et pre/post-conditions). Nous illustrons notre implémentation par des exemples concrets.