Recherche

Je fais ma recherche au sein de l’équipe COAST du LORIA (CNRS-INRIA-Université de Lorraine).
Je suis titulaire d’un doctorat de l’université de Nancy 1 en informatique, obtenu le 24 novembre 1989 au sein du CRIN, et d’une Habilitation à Diriger les Recherches en informatique de l’Université Nancy 2, obtenue le 1er décembre 2004 au sein du LORIA intitulée “Quelques briques et concepts de base pour la coopération et les systèmes coopératifs” préparée sous le parrainage de Claude Godart au sein du projet ECOO du LORIA .

  • Rapporteurs :
    • M. Michel E. Adiba, Professeur à l’Université Joseph Fourier, Grenoble
    • M. Claude Chrisment, Professeur à l’Université Paul Sabatier, Toulouse
    • M. Michel Schneider, Professeur à l’Université Blaise Pascal, Clermont-Ferrand
  • Examinateurs :
    • M. Claude Godart, Professeur à l’Université Henri Poincaré, Nancy
    • M. Jean-Marie Pinon, Professeur à L’INSA, Lyon
    • Mme Jeanine Souquières, Professeur à l’Université Nancy 2, Nancy

Liste des publications personnelles classées par type

Les publications sont numérotées par ordre chronologique . Je ne détaille pas les rapports internes ou les rapports dans le cadre des projets auxquels j’ai participé (ALF (Esprit I), COCAO (CTI-CNET), MTI, UEML (IST), INTEROP (NoE)).

Ouvrages

  • [40] K. Benali, V. Chapurlat, Ingénierie des processus d’entreprise et des SI (Ingénierie des systèmes d’information-RSTI série ISI Vol. 11 N°3/2006)
  • [48] K. Benali, D. Rieu, C. Soulé-Dupuy, Documents annotés et langages d’indexation (Document numérique-RSTI série DN Vol. 12 N° 1/Janvier-Avril 2009)
  • [49] K. Benali, Systèmes d’information collaboratifs. Architectures et modèles (Ingénierie des systèmes d’information-RSTI série ISI Vol. 15 n° 3/Mai-Juin 2010)
  • [50] S. Nurcan, K. Benali, H. Pingaud, Ingénierie d’entreprise et des systèmes d’information (Ingénierie des systèmes d’information-RSTI série ISI Vol. 15 N° 4/Juillet-Août 2010)
  • [51] S. Nurcan, K. Benali, H. Pingaud, Modélisation d’entreprise et interopérabilité, (Ingénierie des systèmes d’information-RSTI série ISI Vol. 15 N° 5/Septembre-Octobre 2010)
  • [53] L. Bouzguenda, K. Benali, F. Gargouri, Ingénierie des systèmes collaboratifs: Méthodes, architecture et techniques (Ingénierie des systèmes d’information-RSTI série ISI Vol. 18 N° 5/Décembre 2013)

Articles dans des revues internationales

  • [15] J. Lonchamp, K. Benali, J.C. Derniame, C. Godart. Towards assisted Software Engineering Environments. In la revue Information and Software Technology, Vol 33, No 8, Butterworth Scientific Limited, Londres, Grande Bretagne, Octobre 1991.
  • [24] K. Benali, M. Munier, C. Godart. Cooperation models in co-design, In la revue International Journal of Agile Manufacturing – IJAM, Vol 2 N° 2, Published by the International Society of Agile Manufacturing, 1999
  • [26] M. Munier, K. Benali, C. Godart. DisCOO, a really distributed system for cooperation, In la revue Networking and Information Systems Journal, Vol.2 N° 5-6, pp605-637, 1999, HERMES Science Publishing Limited, Oxford
  • [43] K. Baïna, K. Benali, C. Godart. DISCOBOLE: A service Architecture for Interconnecting Workflow Processes, In la revue Computers in Industry, Weiming Shen, Ricardo Goncalves, Guest Editors, Special Issue on Collaborative Environments for Concurrent Engineering, Computers in Industry, Elsevier, Volume 57, N° 8-9, pp 768-777, december 2006
  • [46] S. Baïna, H. Panetto, K. Benali. Product Oriented Modelling and Interoperability Issues, In Lecture Notes in Business Information Processing , Y. Manolopoulos et al. (Eds.), Springer-Verlag, LNBIP Volume 3, pp. 293–308, 2008.
  • [56] A. Baïna, K. Benali, M. Bellafkih, N. Aït Aali. Unified Enterprise Modelling Language Based interoperability for collaborative access control framework in Critical Infrastructures, in Int. J. of Networking and Virtual Organisations, V22 N1, 2020
  • [60] Ismaili-Alaoui A., Baïna K., Benali K., « IoDEP : Towards an IoT-Data Analysis and Event Processing Architecture for Business Process Incident Management » in the International Journal of Advanced Computer Science and Applications (IJACSA) – Volume 13 No 4 April 2022.

Articles dans des revues nationales

  • [30] K. Baïna, K. Benali, C. Godart. Les services procédés, une solution pour l’interconnexion des procédés d’entreprises, In la revue: Ingénierie des Systèmes d’Information, Numéro spécial Interopérabilité des Systèmes d’Information (ISI’01), Vol. 6, Num. 3, pp 145-181, 2001, Hermès Science Publications, Paris
  • [44] S. Baïna, H. Panetto, K. Benali. Apport de l’approche MDA pour une interopérabilité sémantique, In la revue: Ingénierie des Systèmes d’Information (ISI), Numéro spécial Ingénierie des processus d’entreprise et des SI, Vol. 11, Num. 3, pp 11-29, 2006, Hermès Science Publications, Lavoisier, Paris
  • [52] Collectif Inforsid. La recherche en systèmes d’information et ses nouvelles frontières. Ingénierie des Systèmes d’Information Vol. 17, Num.3, pp 9-68, 2012, Hermès Science Publications, Lavoisier, Paris

Articles dans des conférences internationales avec comité de selection

  • [6] K. Benali, N. Boudjlida, F. Charoy, J.C. Derniame. A Model for Assisted Software Processes. In Proceedings ICCI’89 (International Conference on Computing and Information), Toronto, Canada, R. Janicki et W.W. Koczkodaj, éditeurs, Canadian Scholars Press Inc., Toronto, 1989
  • [8] K. Benali, N. Boudjlida, F. Charoy, J.C. Derniame, C. Godart, Ph. Griffiths, V. Gruhn, Ph. Jamart, A. Legait, D.E. Oldfied, F. Oquendo. Presentation of the ALF Project. In Proceedings of the first International Conference on Software Development Environments and Factories (SDE&F1), Berlin, RFA, N. Madhavji, W. Shafer and H. Weber, éditeurs, Pitman Publishing, Londres, Grande Bretagne, 1990.
  • [12] J. Lonchamp, K. Benali, C. Godart, J.C. Derniame. Modeling and Enacting Software Processes: an Analysis. In Proceedings IEEE COMPSAC’90 (International Computer Software & Applications Conference), Chicago, USA, Novembre 1990.
  • [14] K. Benali, J.C. Derniame. Assistance and Guidance in Software Production through Software Process Modeling. In Proceedings SEKE’91 (International Conference on Software Engineering & Knowledge Engineering), Skokie, USA, Mai 1991.
  • [19] K. Benali, J.C. Colson, J. Lahyane. Formalism modelling and visualizing: an experimentation. In Proceedings Conference on Visual Data Exploration and Analysis III (SPIE’96), San José (Californie, USA), Janvier 1996.
  • [21] K. Benali, M. Munier, C. Godart. Cooperation Models in Co-Design In Proceedings International Conference on Agile Manufacturing, Minneapolis, USA, Juin 1998.
  • [22] K. Benali, G. Canals, C. Godart, S. Tata. An Approach for Developing Cooperation in Project-Enterprises, In Proceedings 3th International Conference on the Design of Cooperative Systems, Cannes, France, mai 1998
  • [23] J.-C. Bignon, G. Halin, K. Benali, C. Godart. Cooperation models in co-design : application to architectural design, In Proceedings International Conference on Design and Decision Support Systems – ICD&DSS’98, Maastricht, Hollande, juillet 1998.
  • [25] M. Munier, K. Benali, C. Godart. A transactional approach for cross-organizational cooperation, In Proceedings Globecom (Global telecommunications conference), Rio de Janeiro, Brésil, Décembre 1999
  • [27] M. Munier, K. Baïna, K. Benali. A négociation model for CSCW , In Proceedings 5th International Conference on Cooperative Information Systems, CoopIS’00 , Eilat, Israel, Etzion/Scheuermann, editors, Lecture Notes in Computer Science, 1901, Springer Verlag, 2000.
  • [29] K. Baïna, K. Benali, C. Godart. A process service model for dynamic enterprise process interconnection, In Proceedings 6th International Conference on Cooperative Information Systems, CoopIS’01 , Trento, Italie Giunchiglia/Batini, editors, Lecture Notes in Computer Science, Springer Verlag, 2001.
  • [34] K. Baïna, S. Tata, K. Benali. A Model for Process Service Interaction, In Proceedings Business Process Managemen (BPM 2003 June 2003, Eindhoven, The Netherlands, Van Der Alst et al., editors, Lecture Notes in Computer Science, LNCS 2678, pp 261-275, Springer Verlag, 2003.
  • [35] K. Baïna, K. Benali, C. Godart. Dynamic Interconnection of Enterprise Workflow Processes, In Proceedings Concurrent Engineering 2003, July 2003, Madeira, Portugal, R. Jardim-Gonçalves et al., editors, A.A. Balkema Publishers Verlag, 2003.
  • [36] K. Baïna, K. Benali, C. Godart. Dynamic Interconnection of Heterogeneous Workflow Processes Through Services, In Proceedings On the Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, Confederated International Conferences CoopIS, DOA, and ODBASE 2003, November 2003, Catania, Italy R. Meersman, Z. Tari, D. Schmidt et al., editors, Lecture Notes in Computer Science, LNCS 2888, pp 444-461, Springer Verlag, 2003.
  • [38] H. Panetto, G. Berio, K. Benali, N. Boudjlida, M. Petit. A Unified Enterprise Modelling Language For Enhanced Interoperability Of Enterprise Models, In Proceedings INCOM2004, 11th IFAC Symposium on Information Control Problems in Manufacturing, April, 2004, Salvador, Brasil
  • [42] S. Baïna, H. Panetto, K. Benali. A Product Oriented Modelling Concept: Holons for systems synchronisation and interoperability, In Proceedings ICEIS’06, International Conference on Enterprise Information Systems, May 2006, Chypre.
  • [45] K. Baïna, F-Z Azayite, N. Belakbir, H. Srir, K. Benali. Workflow Engines Comparison Model, IEEE RCIS, IEEE International Conference on Research Challenges in Information Science, April 2007, Ouarzazate, Morocco.
  • [47] F. Touré, K. Baïna, K. Benali. An efficient algorithm for workflow graph structural verification, In Proceedings of Coopis 2008 (16th International Conference on cooperative information systems, On the Move (DOA, ODBASE, CoopIS, GADA, IS), Monterrey, Mexico, R. Meersman, Z. Tari, editors, Lecture Notes in Computer Science, LNCS 5331, pp 392-408, Springer Verlag, 2008.
  • [54] J. Lakhrouit, K. Baïna, K. Benali. Model and application architecture indicators of evaluation the enterprise architecture, 2014 World Conference on Information Systems and Technologies (WorldCIST’14), April 15-18, 2014, Funchal, Portugal, Á. Rocha et al. (eds.), New Perspectives in Information Systems and Technologies, Volume 2, Advances in Intelligent Systems and Computing, Springer International Publishing Switzerland 2014
  • [55] A. Ismaïli-Alaoui, K. Benali, K. Baïna, J. Baïna. Business process instances scheduling with human resources, based on event priority determination,  in International Conference on Big Data, Cloud and Applications (BDCA’18), April 04 – 05, 2018, Kenitra, Morocco, Communications in Computer and Information Science, vol. 872 (pp 118-130), Springer 2018, 2018
  • [57] Ismaili-Alaoui A., Baïna K., Benali K., Baïna J. (2018) Towards Smart Incident Management Under Human Resource Constraints for an IoT-BPM Hybrid Architecture. ICWS 2018 (IEEE International Conference on Web Services). In: Jin H., Wang Q., Zhang LJ. (eds) Web Services – ICWS 2018 – Lecture Notes in Computer Science, vol. 10966, Springer (pp 457-471), Cham
  • [59] Ismaili-Alaoui A., Kasmi O, Baïna A., Baïna K., Benali K., Bellafkih M. Priority-based Event Management using Fuzzy Logic for an IoT-BPM Architecture, the 12th IEEE International Conference on Service Oriented Computing and Applications (SOCA 2019), November 18 – 21, 2019, Kaohsiung, Taiwan

Articles dans des conférences nationales avec comité de selection

J’ai mis dans cette catégorie, en plus des conférences nationales, quelques conférences « internationales » mais dont la portée reste francophone ou régionale (Maghrébine par exemple).

  • [1] C. Godart, K. Benali, J.C. Derniame. Propositions pour un système de gestion d’objets. In Actes CGL3 (3ème Colloque-Exposition de Génie Logiciel), Versailles, Mai 1986.
  • [2] K. Benali, J.C. Derniame, C. Godart. Système d’information et génie logiciel. In Actes Congrès INFORSID’87, Lyon, Juin 1987.
  • [3] C. Godart, K. Benali, N. Boudjlida, F. Charoy, J.C. Derniame. Les bases de données sur le chemin du génie logiciel. In Actes Journées d’Etude AFCET, Sophia-Antipolis. Serge Miranda, éditeur, Des bases de données aux bases de connaissances, ediTESTS, Paris, 1987 .
  • [4] N. Boudjlida, C. Godart, J.C. Derniame, K. Benali, O. Gervaise. Vers des ateliers de logiciel supportant des méthodes. In Actes Conférence JISI’88 (Journées Internationales des Sciences de l’Informatique), Tunis, Tunisie, Avril 1988.
  • [9] K. Benali, J. Lonchamp, C. Godart, J.C. Derniame. La modélisation des procédés de fabrication: une voie vers l’assistance intelligente en production de logiciel. In Actes ERGO-IA’90 (Ergonomie et Informatique Avancée), Biarritz, Septembre 1990.
  • [17] K. Benali, J.C. Colson. Analyse, conception, codage, test: vers un outil unique, graphique et intelligent. In Actes (Conférence internationale du génie logiciel et ses applications), Toulouse , Décembre 1992.
  • [18] K. Benali, J.C. Colson. Modélisation et assistance au développement en CAO. In Actes (Conférence internationale du génie logiciel et ses applications), Paris, Novembre 1995.
  • [28] M. Munier, K. Benali, C. Godart. Un système coopératif basé sur les transactions , In Proceedings INFORSID’01, mai 2001, Martigny, Suisse
  • [31] K. Baïna, S. Tata, K. Benali. Un modèle d’interaction de services pour la coopération des procédés, In Proceedings 7ème Conférence Maghrébine des Sciences Informatiques (MCSEAI’02),Vol. 2 pp 189-201, mai 2002, Annaba Algérie.
  • [33] K. Benali, G. Bourguin, B. David, A. Derycke, C. Ferraris. Collaboration / Coopération, In Proceedings Assises du GdR I3, Décembre 2002, Nancy, France, J. Le Maitre, éditeur, CEPADUES éditions, 2002.
  • [37] W. Gaaloul, K. Baïna, K. Benali, C. Godart. Un patron pour l’interconnexion de composants distribués, In Proceedings CoPSTIC’03, Conférence en Sciences et Techniques de l’Information et de la Communication, Décembre, 2003, Rabat, Maroc
  • [61] A. Ismaili-Alaoui, K. Benali, K.  Baina. Traitement des événements complexes pour une gestion proactive des instances d’un processus métier In Actes Congrès INFORSID’2022, 31 mai-3 juin 2022, Dijon.

Articles dans des workshops internationaux avec comité de selection

  • [5] J.C. Derniame, H. A. Bahsoun, K. Benali, N. Boudjlida, C. Godart. Towards Assisted Software Processes. In Proceedings CASE’88 (International Workshop on Computer Aided Software Engineering), Cambridge (Massachussetts), USA, July 1988.
  • [13] J.C. Derniame, K. Benali, N. Boudjlida, C. Godart, J. Lonchamp. Roles cooperation through software process instantiation. In Proceedings ISPW-6 (6th International Software Process Workshop), Hakodate, Japon, IEEE computer society press, Los Alamitos, USA, 1991.
  • [16] K. Benali, J.C. Derniame. Software Processes Modeling :What, Who, and When. In Proceedings Second European Workshop Software Process Technology, Trondheim, Norvège, J.-C. Derniame, éditeur, Lecture Notes in Computer Science, 635, Springer Verlag, 1992.
  • [58] Ismaili-Alaoui A., Baïna K., Benali K. Harnessing the power of data and event data for Business Process Improvement, Spring School on Complexity Analysis of Industrial Systems and Advanced Modeling 22 – 27 April 2019, Ben Guerir, Morocco

Articles dans des workshops nationaux avec comité de selection

  • [11] K. Benali. L’assistance et le pilotage en production de logiciel grace à la modélisation des procédés de fabrication. In Actes DI’90 (Conférence des docteurs en Informatique), Dijon,Octobre 1990.
  • [20] J.-C. Bignon, G. Halin, D. Léonard, O. Malcurat, K. Benali, C. Godart. Evolution de la maîtrise d’oeuvre, pratiques coopératives et informatique répartie, In Mieux produire ensemble, Nancy, France, avril 1998

Articles courts

  • [10] K. Benali. The roles cooperating within a model driven IPSE. In DRAFT No 1, Chipot, éditeur, Metz, 1990.
  • [32] K. Baïna, S. Tata, K. Benali. A Model for Process Service Interaction, Short paper and poster In Proceedings On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE, Confederated International Conferences CoopIS, DOA, and ODBASE 2002, October 2002, Irvine, USA, R. Meersman, Z. Tari, et al., editors, Lecture Notes in Computer Science, 2519, Springer Verlag, 2002.
  • [39] W. Gaaloul, K. Baïna, K. Benali, Claude Godart. A Pattern for Interconnecting Distributed Components, Short paper and Poster In ICEIS’04, International Conference on Enterprise Information Systems, April 2004, Porto, Portugal

Mémoires de doctorat et de HDR

  • [7] K. Benali. Assistance et pilotage dans le développement de logiciel – Vers un modèle de description. Thèse de Doctorat de l’université de Nancy 1, 24 Novembre 1989.
  • [41] K. Benali. Quelques briques et concepts de base pour la coopération et les systèmes coopératifs. Habilitation à Diriger des Recherches en informatique de l’Université Nancy 2, 1er décembre 2004.

Retour au début