• The 4th International Symposium on Web Services (WSS’2014) Sfax, Tunisia, December 27-28, 2014. Website: www.miracl.rnu.tn/wss14
  • 5èmes journées francophones sur les Ontologies qui aura lieu du 14 au 16 novembre 2014, Hammamet, Tunisie. Site web: http://jf-ontologies.net/
  • 2ème conférences francophones sur les Systèmes Collaboratifs qui aura lieu du 27 au 29 septembre 2014, Hammamet-Tunisie. Site web: http://www.sysco-conference.com/
  • The international conference on Knowledge Management, Information and Knowledge Systems (KMIKS) aims to gather both researchers and practitioners to discuss organizational, technological and socio-cultural aspects of research and development of knowledge management systems. Website :...
  • Call for Papers : ICWIT 2013 : May 9 - 12,  2013, Hammamet, Tunisia Website : http://icwit13.aigtunisie.org/
  • [Conférence intertnationale] Wassim Chtourou et Faiez Gargouri. Using Versioning Technique for Interaction Protocol Adaptation in Opened Multi-Agent Systems. The second International Conference on Software Engineering and New Technologies, decembre, 2013, Tunisie
    Abstract

    This work addresses the Interaction Protocols (IPs) adaptation issue in Opened Multi-Agent Systems (OMAS) that evolve in a changeable and dynamic environment, and can be led to form dynamically partnerships which the agents can enter or leave any time, and in that play variable roles. The IPs based coordination is considered as an interesting solution since they structure and organize the communication between agents. Obviously, to ensure an efficient coordination between agents involved in OMAS, we need to adapt their interaction protocols if these are not perfectly suitable for them. More precisely, the paper defends that versioning technique is a good solution to deal with interaction protocols adaptation in OMAS. First, it presents a meta-model for IPs modeling. Then, it shows how we integrate the version notion in this meta-model in order to support the IPs schemas adaptation. Finally, it gives a motivation example to better illustrate the IPs versions modeling

  • [Conférence intertnationale] Wassim Chtourou. Using Versioning Technique for Interaction Protocol Adaptation in Opened Multi-Agent Systems. The second International Conference on Software Engineering and New Technologies, decembre, 2013, Tunisie
    Abstract

     This work addresses the Interaction Protocols (IPs) adaptation issue in Opened Multi-Agent Systems (OMAS) that evolve in a changeable and dynamic environment, and can be led to form dynamically partnerships which the agents can enter or leave any time, and in that play variable roles. The IPs based coordination is considered as an interesting solution since they structure and organize the communication between agents. Obviously, to ensure an efficient coordination between agents involved in OMAS, we need to adapt their interaction protocols if these are not perfectly suitable for them. More precisely, the paper defends that versioning technique is a good solution to deal with interaction protocols adaptation in OMAS. First, it presents a meta-model for IPs modeling. Then, it shows how we integrate the version notion in this meta-model in order to support the IPs schemas adaptation. Finally, it gives a motivation example to better illustrate the IPs versions modeling

  • [Chapitre] Hanene Ghorbel, sahar maalej, Afef Bahri et Rafik Bouaziz. Un framework pour la génération semiautomatique d’ontologies floues : Text2FuzzyOnto. Proc. of Technique et Science Informatiques (TSI). Volume X , novembre, 2013, Tunisie
  • [Conférence intertnationale] Rafik Bouaziz et Zouhaier Brahmia. Versioning of Conventional Schema in the τXSchema Framework. Proceedings of the 8th International Conference on Signal Image Technology and Internet Based Systems , novembre, 2013, pp. 510-518., Naples, Italie
  • [Journal] Lotfi Bouzguenda et Wassim Chtourou. Découverte de la Perspective Organisationnelle dans le Workflow : une Approche basée sur les Agents. revue des sciences et technologies de l'information, série Ingénierie des Systèmes d'Information, octobre, 2013, Hermès Lavoisier, volume 18-n°5
    Abstract
    Cet article aborde le problème de la découverte de la perspective organisationnelle dans le Workflow. Nous entendons par perspective organisationnelle, les Structures Organisationnelles (SO) définissant la distribution d’activités entre acteurs (i.e., les fédérations, les hiérarchies ou les coalitions) et les Protocoles d’Interaction (Pro) structurant les communications entre eux tels que les réseaux contractuels, les enchères ou les votes. Après avoir souligné l’incapacité des systèmes de workflow mining existants pour traiter le problème de découverte de la perspective organisationnelle, l’article (i) montre comment nous étendrons le modèle de workflow log classique à l’aide des concepts issus du domaine multi-agents, (ii) introduit une étude de cas réel appelée «processus de gestion d’un incendie de forêt» afin d’illustrer nos propos et (iii) expose les principes des algorithmes de découverte des SO et des Pro. Enfin, cet article présente notre outil «Discopflow» permettant de valider la solution proposée.
     
  • [Proceeding] Lotfi Bouzguenda, Khalid Benali et Faiez Gargouri. Ingénierie des Systèmes Collaboratifs : Méthodes, Architectures et Techniques. Numéro spécial de la revue ISI, volume 18-n°5, octobre, 2013
    Abstract
    Les Systèmes Collaboratifs (SysCo) prennent de plus en plus une importance centrale dans les organisations. Ils sont devenus un facteur de réussite puisqu’ils participent à l’amélioration des performances des organisations, notamment parce qu’ils contribuent à la réalisation des objectifs des organisations, à la rationalisation du travail des acteurs de l’organisation, à la définition et la formalisation de la coopération entre ces acteurs. Malgré la multiplicité croissante des SysCo et leur efficacité attestée dans la gestion des processus collaboratifs, l’état de l’art des systèmes existants permet de constater leurs insuffisances au niveau des aspects  d’ingénierie des processus collaboratifs, de coordination et de mise en œuvre des jeux collaboratifs. Le but de ce numéro spécial de la revue ISI est de présenter les solutions en termes de méthodes, d’architectures et de techniques pour remédier aux problèmes évoqués ci-avant.
  • [Conférence intertnationale] wafa wali, Bilel Gargouri et Abdelmajid Ben Hamadou. LMF-based approach for detecting semantic anomalies in electronic dictionaries. ASIALEX , aout, 2013, Tunisie
  • [Conférence intertnationale] Nahla Haddar, Mohamed TMAR et Faiez Gargouri. A Framework for Data-Driven Workow Management: Modeling, Verification and Execution. : 24th International Conference on Database and Expert Systems Applications – DEXA, aout, 2013, Paraguay
  • [Chapitre] Ali Mouez, et Faiez Gargouri. Formal consistency verification of UML requirement and analysis models. Formal Languages for Computer Simulation: Transdisciplinary Models and Applications. , juillet, 2013, IGI Publisher- pp.205-235 , Sfax, Tunisie
    |
    Abstract

    To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of the same system. In this chapter, the authors propose an enriched format for documenting UML2.0 use cases. This format facilitates consistency verification of the functional requirements with respect to the sequence diagrams included in the analysis model. The consistency verification relies on a set of rules to check the correspondence among the elements of the documented use cases and those of the sequence diagrams; the correspondence exploits the implicit semantic relationship between these diagrams as defined in UP. Furthermore, to provide for a rigorous verification, the authors formalize both types of diagrams and their correspondence rules in the formal notation Z. The formal version of the analysis model is then verified through the theorem prover Z/EVES to ensure its consistency.

  • [Conférence intertnationale] Hanène Ben Abdallah et Nadia Bouassida. Feature model extraction from product source codes based on the semantic aspect. ICSOFT, juillet, 2013, Islande
  • Date de création : 19 Décembre 2012
    MIRADOC 2011 : Journées doctorales du laboratoire Miracl. Décembre 2011. Touzeur , Tunisie
  • Date de création : 19 Décembre 2012
    MIRADOC’2010, Rencontre Doctorale de Miracl Date : 19-22 décembre 2010. Lieu: Douz , Tunisie
  • Date de création : 19 Décembre 2012
    Les 2éme Journées sur les Réseaux Bayésiens et leurs Applications Date et lieu : octobre 2011, Sfax, Tunisie. Abstract The Bayesian Networks are graphical models that are easy to interpret and update. These models are useful if the knowledge is uncertain, but they lack some means to express ambiguity. To face this problem, we propose Fuzzy Evidence in Bayesian Networks and combine the Fuzzy Logic and Bayesian Network. This has allowed to benefit from mutual advantages of these two approaches, and to overcome the problem of data and observation ambiguity. This paper proposes an inference algorithm which uses the Bayesian Network and Fuzzy Logic reliability. This solution has been implemented, tested and evaluated in comparison with the existing methods.
  • Faiez Gargouri, Wassim Jaziri  Ontology Theory, Management and Design: Advanced Tools and Models ». IGI Global. ISBN-978-1-61520-   859-3. Mars 2010. Description Ontologies and formal representations of knowledge are extremely powerful tools for modeling and managing large applications in several domains ranging from knowledge engineering, to data mining, to the semantic web. Ontology Theory, Management and Design: Advanced Tools and Models, explores the wide range of applications for ontologies, while providing a complete view of the both the theory behind the design and the problems posed by the practical development and use of ontologies. This reference presents an in-depth and forward looking analysis of current research, illustrating the importance of this field and pointing toward to the future of knowledge engineering, management and information technology.  
  • Titre : Finite State Language Engineering Autheurs : BEN HAMADOU A., MESFAR S., SILBERZTEIN M.  ISBN : 978-9973-37602-2 Livre, Edition CPU, Tunis, 2010
  • Titre :  Les Systèmes décisionnels : Théorie et pratique Autheurs : BEN-ABDALLAH H., BOULMARKOUL A., BOUSSAID O., FEKI J., GARGOURI F. ISBN : 789973990020. Nombre des pages: 130 pages Livre, Nouha Editions, 2010.