Laboratoire MISC

Modélisation et Implémentation des Systèmes Complexes

Publications MFGL

Publications

2012

Journals

  1. Hammadi Bennoui, Allaoua Chaoui, and Kamel Barkaoui, On Structural Analysis Of Interacting Behavioral Petri Nets For Distributed Causal Model-Based Diagnosis, International Journal Of Foundations Of Computer Science Vol. 23, No. 07, pp. 1523-1541, World Scientific Publisher, November 2012. Print ISSN: 0129-0541. Online ISSN: 1793-6373. Available at: http://www.worldscientific.com/worldscinet/ijfcs 
  2. Khaled Khalfaoui, Allaoua Chaoui, Cherif Foudil, Elhillali Kerkouche, Formal Specification of Software Product Lines: A Graph Transformation Based Approach, Journal of Software, Vol 7, No 11 (2012), pp 2518-2532 , November 2012. doi:10.4304/jsw.7.11.2518-2532. Available at: http://ojs.academypublisher.com/index.php/jsw/article/view/jsw071125182532
  3. Fayçal Bachtarzi, Allaoua Chaoui, Elhillali Kerkouche, WS-mcv: An Efficient Model Driven Methodology for Web Services Composition, Journal of Software, Vol 7, No 12 (2012), pp 2874-2885, December  2012. doi:10.4304/jsw.7.12.2874-2885. Available at: http://ojs.academypublisher.com/index.php/jsw/article/view/jsw071228742885
  4. Fayçal Guerrouf, Allaoua Chaoui, Ali Aldahood, A Graph Transformation Approach of Mobile Activity Diagram To Nested Petri Nets IJCAET Journal, Vol 5, No 1, January 2013, pp.44 – 57,  Inderscience Publisher. DOI: 10.1504/IJCAET.2013.050549Available. at: http://www.inderscience.com/info/inarticletoc.php?jcode=ijcaet&year=2013&vol=5&issue=1
  5. Karima Mahdi, Raida Elmansouri, and Allaoua Chaoui,  On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars, International Journal of Information Technology and Computer Science (IJITCS), Vol. 5, No. 2, January 2013, pp 15-27. Publisher: MECS, ISSN: 2074-9007 (Print), ISSN: 2074-9015 (Online). Available at: http://www.mecs-press.org/ijitcs/ijitcs-v5-n2/v5n2-2.html 
  6. Nardjes Dehimi and Allaoua Chaoui, Using Meta-modeling Graph Grammars and R-Maude to Process and Simulate LRN Models, International Journal of Software Engineering, Vol 3, No 2, pp 40-51, 2012. Available at: http://cscjournals.org/csc/manuscript/Journals/IJSE/volume3/Issue2/IJSE-79.pdf 
  7. Sofiane Chemaa, Raida Elmansouri, and Allaoua Chaoui, Web Services Modeling and Composition Approach using Object-Oriented Petri Nets, IJCSI journal, Vol 9, Issue 4 No 3, pp 37-52, July 2012. Available at: http://ijcsi.org/articles/Web-services-modeling-and-composition-approach-using-objectsoriented-petri-nets.php
  8. Wafa Chama, Raida Elmansouri, and Allaoua Chaoui: Model Checking and Code Generation for UML Diagrams Using Graph Transformation. To appear in International Journal of Software Engineering Applications (IJSEA), AIRCC Publisher. Available at: http://airccse.org/journal/ijsea/current2012.html 

Conference papers

  1. Selim Kebir, Abdelhak Seriai Djamel, Sylvain Chardigny, Allaoua Chaoui: Quality-Centric Approach for Software Component Identification from Object-Oriented Code. The 10th Working IEEE/IFIP Conference on Software Architecture (WICSA) and the 6th European Conference on Software Architecture (ECSA) - WICSA/ECSA 2012. Helsinki, Finland, August 20–24, 2012.
  2. Selim Kebir, Abdelhak Seriai Djamel, Allaoua Chaoui, and Sylvain Chardigny: Comparing and Combining Genetic and Clustering Algorithms for Software Component Identification from Object-Oriented Code. (ACM) Fifth International C* Conference on Computer Science & Software Engineering. Montreal, QC, CANADA, 27-29 June, 2012. 
  3. Sofiane Chemaa, Faycal Bachtarzi, Allaoua Chaoui: A High-level Petri Net Based Approach for Modeling and Composition of Web Services. Elsevier Procedia Computer Science 9: 469-478 (2012).
  4. Nardjes Deimi and Allaoua Chaoui, Using graph grammars and meta-modeling to process code mobility in LRN models. Proceedings of 2012 International Conference on Information Technology and e-Services (ICITeS’2012),  24-26 March 2012, Sousse, Tunisia.
  5. Mohamed Naoufel Kholladi, Allaoua Chaoui, Amira Chebouba, and Meriem Ati:  Consistency checking of UML activity diagrams using AToM, Proceedings of 2012 International Conference on Information Technology and e-Services (ICITeS’2012),  24-26 March 2012, Sousse, Tunisia.
  6. Nardjes Dehimi, Raida Elmansouri and Allaoua Chaoui. A Formal Framework and a Tool to process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation.  CCIS 136, Springer Verlag, 2012.
  7. Nardjes Dehimi et Allaoua Chaoui. Des réseaux reconfigurables étiquetés à Maude en utilisant la méta-modélisation et les grammaires de graphe. Proceedings of CITIM2012, Mascara, Algeria.
  8. Khalil Elbaz and Allaoua Chaoui. A Quality driven component based software architecture framework.  Proceedings of MISC 2012, 20-21 May 2012, Constantine, Algeria.
  9. Khalil Elbaz and Allaoua Chaoui. Intégration des propriétés de qualité dans les architectures logicielles, proceedings of ICIEM2012, 6-7 May, 2012, Batna
  10. Abdelhamid Dekhiet, kamel Khoualdi and Allaua Chaoui, On the use of models transformation to specify the behavior of a production system, proceedings of ICIEM2012, 6-7 May, 2012, Batna
  11. Ahcene Mensria, Allaoua Chaoui and Abdelkrim Amirat. Graph rewriting for UML 2.0 sequence diagram decomposition. Proceedings of MISC 2012, 20-21 May 2012, Constantine, Algeria.
  12. Fatiha Kennouf, Abdelkamel Hettab, Allaoua Chaoui, and Mohamed-Chaouki Babahenini. Composing activity aspect diagrams using graph transformation approach. Proceedings of IEEE ICDIPC2012, pp 174 – 179, 
  13. Mouna Aouag, Wafa Chama, and Allaoua Chaoui.  From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph. Transformation. Communications in Computer and Information Science, 2012, Springer Verlag, CCIS, Volume 319, Part 4, pp 199-209.
  14. Seidali Rehab, Elhillali Kerkouche, and Allaoua Chaoui, An Automatic Generation Approach of B Specifications From UML Diagrams, Proceedings of the Seventh International Conference on Digital Information Management (IEEE ICDIM 2012) August 22-24, 2012, Macau.
  15. Karima Mahdi, Raida Elmansouri, and Allaoua Chaoui, Transforming Business Patterns to Colored Petri Nets using Graph Grammars. Accepted in The 22nd International Conference on Computer Theory and Applications (IEEE ICCTA’2012), October 13-15, 2012, Alexandria, Egypt.
  16. Khaled Khalfaoui, Allaoua Chaoui, Foudil Cherif, and Elhillali Kerkouche, On the use of Algebraic Petri Nets for Software Product Lines Specification: a Graph Transformation Based Approach. Accepted in the International Arab Conference on Information Technology ACIT 2012, December 10-13, 2012, Zarqa, Jordan
  17. Nouara Redouane and Allaoua Chaoui, Services Composition checking approach based on Graph Transformation, Accepted in the International Arab Conference on Information Technology ACIT 2012, December 10-13, 2012, Zarqa, Jordan
  18. Sofiane Chemaa, Raida Elmansouri, and Allaoua Chaoui, Formal Semantics of web Services Composition based on Colored Petri Nets and Graph Grammars. Accepted in the International Arab Conference on Information Technology ACIT 2012, December 10-13, 2012, Zarqa, Jordan
  19. Wafa Chama, Raida Elmansouri, and Allaoua Chaoui: A Modeling and Verification Approach based on Graph Transformation, To appear in the proceedings of ICSCT2012; December 21-22, 2012, Kuala Lumpur, Malaysia.

2011

Journals

  1. Raida Elmansouri, Houda Hamrouche and Allaoua Chaoui (2011).  From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom3 Tool. IJCSI Journal, Vol. 8, Issue 2, March 2011. Available at: http://www.ijcsi.org/papers/IJCSI-8-2-368-374.pdf

Conference papers

  1. Mouna Bouarioua, Allaoua Chaoui, Raida Elmansouri . From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models using Graph. Proceedings of ICeND2011, Dar Esalam, Tanzania.  CCIS 171, pp 318-328, Springer Verlag Berlin Heidelberg 2011.
  2. Fayçal Guerrouf, Allaoua Chaoui, Ali Al-dahoud (2011). A Transformation Approach of Mobile Activity Diagram towards Nested Petri Net. Proceedings of the 5th International Conference on Information Technology, ICIT'11, May 11-13, 2011, Amman, Jordan.
  3. Mouna Bouarioua, Allaoua Chaoui, Raida Elmansouri. Transformation des diagrammes de séquence UML vers les réseaux de Petri Net Stochastiques Analysables en utilisant la transformation de graphes. Proceedings of JLDIO2011, Oran, Algeria. 
  4. Fayçal Bachtarzi, Sofiane Chemmaa, and Allaoua Chaoui (2011). A G-Net Based Approach for Web Service Composition. To appear in the proceedings of ISIICT2011, Amman, Jordan.
  5. Mouna Bouarioua, Allaoua Chaoui, Raida Elmansouri, From UML Statecharts Diagrams to Labeled Generalized Stochastic Petri Net Models using Graph. To appear in the proceedings of ISIICT2011, Amman, Jordan.
  6. Amel Meliouh, Allaoua Chaoui, and El Bay Bourennane. An Automated Modeling and Code Generation of UML Behavior Diagrams. To appear in the proceedings of CICEM2011, September 5, 2011, Amman, Jordan.
  7. Mohamed El-Kamel Hamdane, Allaoua Chaoui, Specification and verification of timed automaton using meta-modeling and graph grammars. Proceedings of ICADIWT2011, USA, 2011. 
  8. Mohamed El-Kamel Hamdane, Allaoua Chaoui. Using Meta-modeling and graph grammars to process and simulate timed automata. To appear in the proceedings of ICSEMA’2011, Zurich, Switzerland. 
  9. Rabah Moktari, Allaoua Chaoui, and Mohamed Redha Bahri. Transformation des architectures logicielles dynamiques vers des documents XML en utilisant ATOM3. Proceedings of CAL2011, June 8-10, 2011, Lille, France.

2010

Journals

  1. Elhillali KERKOUCHE, Allaoua CHAOUI, El-Bay BOURENNANE and Ouassila LABBANI. On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. Journal of Software (JSW), Academy Publisher, 2010.
  2. Elkamel Merah and Allaoua Chaoui. Caml Light: A language predisposed for mobility, International Journal of Information Studies, Vol 2, No 1, January 2010.
  3. Elhillali Kerkouche, Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani. A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. In Journal of Object Technology, vol. 9, no. 4, 2010, pages 25–43. Available at http://www.jot.fm/contents/issue_2010_07/article2.html
  4. Allaoua Chaoui, Amel Meliouh and Elhillali Kerkouche. A tool for the design and verification of a supervisory controller for distributed manufacturing process, International Journal of Innovative Computing, Information and Control , Volume 6, Number 5, May 2010, pp 2221-2232, ISSN 1349-4198.
  5. Elhillali Kerkouche, Allaoua Chaoui, A Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars, In INFOCOMP Journal of Computer Science, Volume 8, Number 4, 2009, pp 37-44, ISSN 1807-4545. Available at http://www.dcc.ufla.br/infocomp/artigos/v8.4/art05.pdf
  6. Mohamed Redha Bahri, Rabah Mokhtari, Allaoua Chaoui. Towards an extension of UML2.0 to model mobile agent-based systems, In International Journal of Computer Science and Networks Security, Vol. 9  No. 10  pp. 124-131 Available at     http://paper.ijcsns.org/07_book/200910/20091016.pdf
  7. Laid Kahloul and Allaoua Chaoui. Coloured Reconfigurable Nets For Code Mobility Modeling, In International Journal of Computers, Communications & Control, Volume 3, 2008, ISSN 1841-9836, E-ISSN 1841-9844 Available at http://www.journal.univagora.ro/download/pdf/308.pdf
  8. Amel Boubendir and Allaoua Chaoui . On analysing interactions between aspects at requirement phase, In Journal of Theoretical and Applied Information Technology (JATIT) Journal Volume 18, No 2,  August 2010, pp 18-27. Available at: http://www.jatit.org/volumes/research-papers/Vol18No2/3Vol18No2.pdf

Book chapters

  1. Allaoua Chaoui, Okba Tibermacine, and Amer Zerek, Chapter 2, Formal Verification of a Subset of UML Diagrams: An Approach Using Maude. Handbook of Research on E-Services in the Public Sector: E-Government Strategies And Advancements. Abid Thyab Al Ajeeli and Yousif A. Latif Al-Bastaki Editors. InformatIon science reference,  Hershey, New York, IGI Global.
  2. Tarek Zernadji, Elmansouri Raida and Allaoua Chaoui, Chapter 4, An Approach to Formal Specification of Component- Based Software. Handbook of Research on E-Services in the Public Sector: E-Government Strategies And Advancements. Abid Thyab Al Ajeeli and Yousif A. Latif Al-Bastaki Editors. InformatIon science reference,  Hershey, New York, IGI Global.

Conference papers

  1. Karima Mahdi, Allaoua Chaoui and Raida Elmansouri. Transforming Business Patterns to Labelled Petri Nets using Graph Grammars, Proceedings of ACIT2010, Libya
  2. Rabah Mokhtari, Allaoua Chaoui, and Mohamed Redha Bahri. Mapping UML Components diagrams to XML using Graph Transformation, Proceedings of the 23rd International Conference on Computer Applications in Industry and Engineering (CAINE2010), November 8-10, 2010, Imperial Palace Hotel, Las Vegas, Nevada USA
  3. Laid Kahloul, Allaoua Chaoui and Karim Djouani, In the proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE2010), August 24 - 27, 2010, Taipei, Taiwan.
  4. Laid Kahloul, Allaoua Chaoui and Karim Djouani. Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. In the  proceedings of Networked Digital Technologies NDT2010, Prague, Czech Republic, July 7-9, 2010, also in Proceedings of Communications in Computer and Information Science Number 87, Springer Verlag, Filip Zavoral, JakubYaghob, Pit Pichappan, and  Eyas El-Qawasmeh (Eds.), NDT (2) 2010: pp 343-357.
  5. Kahloul Laid, Karim Djouani, Walid Tfaili, Chaoui Allaoua, Yacine Amirat: Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool. Digital Technologies NDT2010, Prague, Czech Republic, July 7-9, 2010, also in Proceedings of Communications in Computer and Information Science Number 87, Springer Verlag, Filip Zavoral, JakubYaghob, Pit Pichappan, and  Eyas El-Qawasmeh (Eds.) NDT (2) 2010: 604-618
  6. Amel Boubendir and Allaoua Chaoui. Towards a Generic Technique for Analysing Interactions Between Aspects at Requirement Phase, In Proccedings of  the third International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2010), pp 244-249, 12-14 July, 2010, Istanbul, Turkey
  7. Amel Boubendir and Allaoua Chaoui. Towards a Model for Dealing with Aspect Interactions at Requirement Phase, In Proccedings of  the  19th International Conference on Software Engineering and Data Engineering (SEDE-2010),  San Francisco, CA USA, June 16-18, 2010.
  8. Allaoua Chaoui, Djamel Eddine Saidouni, Mouna Bouarioua, Sofia Bekrar, and Elhillali Kerkouche, From a model of concurrency to a test model: A graph transformation based approach, In the proceedings of International Symposium on Modelling and Implementation of Complex Systems (MISC 2010) , 30-31 May, 2010, Constantine, Algeria.

2009

Conference papers

  1. Elhillali Kerkouche, Allaoua Chaoui. “A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation”, V. Garg, R. Wattenhofer, and K. Kothapalli (Eds.): ICDCN 2009, LNCS 5408, pp. 206–211, 2009. © Springer-Verlag Berlin Heidelberg 2009.
  2. Rabah Mokhtari, Redha Bahri, and Allaoua Chaoui. "Une Approche de Modélisation des systèmes d'agents mobiles par UML2.0", Proceedings of JSIA’2009, Guelma, Algeria, pp 298-303, 2009.
  3. Allaoua Chaoui and Ismail Hadjadj, “PNTools: a Multi-Language Environment to Integrate Petri Nets Tools, proceedings of CIIA’2009, Saida, Algeria, May 3-4, 2009.
  4. Merah Elkamel and Allaoua Chaoui. “Un CAML Light distribué”, proceedings of CIIA’2009, Saida, Algeria, May 3-4, 2009.
  5. Tarek Zernadji and Allaoua Chaoui, “Model-Based Approach for Formal Specification of Component-BasedSoftware”, proceedings of CITIC’2009, Setif, May 4-5, 2009.
  6. Laid Kahloul, Allaoua Chaoui, and Karim Djouani. “Code Mobility Modeling and Simulation with LRN/R-Maud”, proceedings of CITIC’2009, Setif, May 4-5, 2009.
  7. Elhillali Kerkouche, Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani: Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach, Proceedings of SEDE2009, June 22-24, 2009, Las Vegas, Nevada, USA, pp 111-118, 2009.
  8. Allaoua Chaoui, Raida Elmansouri, Wafa Saadi, and Elhillali Kerkouche, From UML Sequence Diagrams to ECATNets: a Graph Transformation based Approach for modelling and analysis”, proceedings of The 4th International Conference on Information Technology ICIT 2009, June 3rd – 5th, 2009.
  9. Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui: “Transforming UML models to colored petri nets models using graph grammars”, proceedings of  IEEE ISCC 2009, pp 230-236, July 5-7,  Tunisia.
  10. Hammadi Bennoui, Allaoua Chaoui, and Kamel Barkaoui. Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets, Proceedings of the 8th International Symposium on Parallel and Distributed Computing IEEE ISPDC’2009, Lisbone, 1-3 July 2009, Portugal.
  11. Hammadi Bennoui, Allaoua Chaoui, and Kamel Barkaoui. Exploiting P-invariant analysis for distributed systems diagnosis based on interacting behavioral Petri nets, In Proccedings of the ISIICT2009, Third International Symposium on Innovation and Information and Communication Technology (ISIICT 2009), pp 186-196, 15 - 17 December 2009, Philadelphia University, Amman, Jordan. Available at http://www.bcs.org/upload/pdf/ewic_iict09_s7paper1.pdf
  12. Allaoua Chaoui, Mohamed Naoufel Kholladi, Elhillali Kerkouche. “Mapping BPMN onto BPEL using Graph Grammars and Atom3”, Poster Paper, In CEE-SECR 2009, Central and Eastern European Software Engineering Conference in Russia, October 28-29, 2009, Moscow, Russia.
  13. Allaoua Chaoui and Amel Boubendir. “An approach to analyse interactions between aspects at requirement phase”, Poster Paper, In CEE-SECR 2009, Central and Eastern European Software Engineering Conference in Russia, October 28-29, 2009, Moscow, Russia.
  14. Merah Elkamel and Allaoua Chaoui. “Design of A Concurrent Caml Light: ACCL", proceedings of IEEE ICADWT’2009, pp 273-278.
  15. Merah Elkamel and Allaoua Chaoui. “Towards Mobility For Caml Light", proceedings of IEEE NDT2009, Czech Republic.
  16. Mohamed Redha Bahri, Abdelkamel Hettab, Allaoua Chaoui, Elhillali Kerkouche. Transforming Mobile UML Statecharts Models to Nested Nets Models using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems, In Proccedings of IEEE SEEFM2009, the 2009 Fourth South-East European Workshop on Formal Methods, December 5th, 2009, Thessaloniki, Greece.
  17. Raida ElMansouri, Allaoua Chaoui, Elhillali Kerkouche, and Khaled Khalfaoui, From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprise, In Proccedings of IEEE SEEFM2009, the 2009 Fourth South-East European Workshop on Formal Methods, December 5th, 2009, Thessaloniki, Greece.

2008

Journals

  1. Laid Kahloul and Allaoua Chaoui. Coloured Reconfigurable Nets For Code Mobility Modeling, In International Journal of Computers, Communications & Control, Volume 3, 2008, ISSN 1841-9836, E-ISSN 1841-9844Available at http://www.journal.univagora.ro/download/pdf/308.pdf

Conference papers

  1. Elhillali Kerkouche, Allaoua Chaoui, "On the use of Meta-Modelling and Graph Grammars to process and simulate ECATNets model", proceeding of MS'2008, Port Said, April 8-10, 2008, EGYPT.
  2. Laid Kahloul, Allaoua Chaoui, "Code mobility modeling: a temporal labeled reconfigurable nets", proceedings of MOBILWARE 2008, Innsbruck, Austria, February 12-15, 2008.
  3. Laid Kahloul, Allaoua Chaoui, “Coloured Reconfigurable Nets for Code Mobility Modeling”, International Journal of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844 Vol. III (2008), Suppl. issue: Proceedings of ICCCC 2008, pp. 358-363.
  4. Allaoua Chaoui, Okba Tibermacine, and A. Rezek, Model Checking UML State Machine and Collaboration Diagrams using Maude,  in proceedings of IACET’2008, October 15-16, 2008, Amman, Jordan.
  5. Tarek Zernadji, Raida El Mansouri, and Allaoua Chaoui, A Formal Specification of Software Components, in proceedings of IACET’2008, October 15-16, 2008, Amman, Jordan.

2007

Journals

  1. Noura Boudiaf, Allaoua Chaoui, On Analysis of Boundness Property for ECATNets by Using Rewriting Logic, INTERNATIONAL JOURNAL OF COMPUTER SCIENCE, VOLUME 2 NUMBER 1, pp 30-38, 2007, ISSN 1306-4428.
  2. Hammadi BENNOUI, Allaoua Chaoui, “Backward Reachability Analysis Based  on BPNs to Diagnose Distributed Systems with Relationships among Symptoms”,  International Review on Computers and Software IRECOS, ISSN 1828-6003, Vol.  N., July 2007. 

Conference papers

  1. Laid Kahloul, Allaoua Chaoui, Labeled reconfigurable nets for code mobility modeling, ACIT'07, Lattakia, Syria, 2007.
  2. Elhillali Kerkouche, Allaoua Chaoui, Using meta-modelling and graph grammars to process and simulate ecatnets models, MOAD'07, Béjaia, 18-20 November, 2007.

2006

Journals

  1. Noura Boudiaf, Allaoua Chaoui, A rewriting logic based tool for ECATNets coverability Analysis, International Review on Computers and Software IRECOS, ISSN 1828-6003, Vol. 1 N. 3, November 2006, pp 260-273.
  2. Noura Boudiaf, Allaoua Chaoui, “Double Reduction of Ada-ECATNet Representation Using Rewriting Logic”. Enformatika Journal (Transactions on Engineering, Computing and Technology), Volume 15, ISSN 1305-5313, pp. 278-284, October 2006.

Conferences Papers

  1. Noura Boudiaf, Kamel Barkaoui, Allaoua Chaoui, Implémentation des règles de réduction des ECATNets dans Maude, MOSIM'2006, Rabat 2-4, Avril 2006.
  2. Noura Boudiaf, Allaoua Chaoui, Kamel Barkaoui. Applying reduction rules to ECATNets, AVIS 2006,Vienna, March 25-April 2,  2006.
  3. Noura Boudiaf, Kamel Barkaoui, Allaoua Chaoui.  Implémentation des règles de réduction des ECATNets dans Maude, MOSIM'2006,  pp 1505-1514, Rabat, 3-5 April, 2006.
  4. Hammadi Bennoui, Allaoua Chaoui, “Backward Reachability Analysis Based   on BPNs to Diagnose Distributed Systems with Relationships among Symptoms”,  In  proceedings of ICCTA’06,  5-7 September 2006, Alexandria, Egypt.

2004

Conferences Papers

  1. Noura Boudiaf, Allaoua Chaoui, A Rewriting Logic Based Tool for Automated Support of ECATNets Reachability Analysis, In proceedings of CSITeA’04, December 27-29, 2004, Cairo, EGYPT, ISBN 0.9742059.1.5, (Organized by: Winona State University, USA).
  2. Noura Boudiaf, Allaoua Chaoui, Towards Automated Analysis of Ada-95 Tasking Behavior Using Rewriting  Logic, Proceedings of ISIICT’2004, April 21-22, 2004. Philadelphia University Amman, Jordan.
  3. Noura Boudiaf, Allaoua Chaoui,  Dynamic Analysis Algorithm for ECATNets, Proceedings of MOCA’04, pp 47-63, October 11-13, 2004, ISSN 0105-8517, Daniel  Moldt (Ed.), Aarhus, University, Denmark, 2004.

2001

Conferences Papers

  1. C. Talhi, Allaoua CHAOUI, Towards a Methodology of Stubborn Sets for ECATNets, In proceedings of I3S’2001, University of Constantine, February 24-26, 2001, Constantine, Algeria
  2. Allaoua CHAOUI, Mourad Bouzenada, G-ECATNets : An object Oriented Petri Net-Based Framework for the Modular Design of Complex Information Systems, pp 236-248, proceedings of ISIICT’2001, Philadelphia University, Amman, Jordan, September 26-27, 2001

1999

Conferences Papers

  1. Allaoua CHAOUI, M. Bettaz, M. Maouche, K. Barkaoui, Vers une synthèse modulaire  des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE, MOSIM'99, SCS International, pp. 131-136, 1999, Germany

1998

Conferences Papers

  1. K. Barkaoui, Allaoua CHAOUI, K. Djemam.  On the use of Algebraic Petri Nets for Supervisory Evaluation of Discrete Event Systems,   In Proc. CESA'98 (IMACS Multiconference), Nabeul, Tunisia, pp.465-469, April 1998, IEEE.
  2. Allaoua CHAOUI, On the use of Maude and Object-ECATNets for supervisory Control of FMS,  In proceedings of SCCA'98, Applied science university, Amman, Jordan.

1997

Conferences Papers

  1. K. Barkaoui, Allaoua CHAOUI, R. Robbana, B. Zouari. Towards an efficient structural control policy for automated  manufacturing system, EDA’97,1997, pp 751-752,  Bangkok Tailand
  2. K. Barkaoui, Allaoua CHAOUI, B. Zouari, Supervisory Control of Discrete Event Systems based on Structure theory of Petri Nets, IEEE-SMC, Vol 4 pp: 3750-3755, 1997, USA
  3. K. Barkaoui, Allaoua CHAOUI, R. Robbana,  The performance of alternative strategies for dealing with deadlocks in FMSm proceedings of  MCPL'97,
  4. K. Barkaoui, Allaoua CHAOUI, R. Benamara. Analyse comparative de stratégies de contrôle d’interblocage dans les systèmes de production flexibles MOSIM’97, Editions HERMES, ISBN 2-86601-623-8, France

1996

Journals

  1. M. Bettaz, Allaoua CHAOUI, K. Barkaoui, On finding structural deadlocks in ECATNets using a logic of concurrency, Journal  of  Computing and Information, Vol 2 No 1, pp 495-506, December 1996,  ISSN 1201-8511, Canada