(Received: 11-Nov-2019, Revised: 31-Dec-2019 , Accepted: 3-Feb-2020)
Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing. This problem is not recent. It aroused and still arouses great interest, because it gives rise to many challenges in various scientific fields, such as automatic language processing, requirements engineering, knowledge representation and formal verification. This paper proposes a platform and a strategy to transform software requirements specified to formal specification with event-B. The texts used are those of Arabic language, which is really a challenge. The Ar2B system is built and the experiments showed good results with an accuracy of 70%.

[1] W. Chama, R. Elmansouri and A. Chaoui, "Modeling and Verification Approach Based on Graph Transformation," Lecture Notes on Software Engineering, vol. 1, no. 1, pp. 39-43, 2013.

[2] D. Sadoun, Des Spécifications en Langage Naturel aux Spécifications Formelles via une Ontologie Comme Modèle Pivot, Ph.D. Thesis, Diss. Université, Paris, Sud-Paris XI, 2014.

[3] M. Ilieva and H. Boley, "Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation," Proc. of the International Conference on Software Engineering and Knowledge Engineering (SEKE’08), pp. 478–483, 2008.

[4] L. Kof, "Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable Models," Proc. of the International Conference on Application of Natural Language to Information Systems, pp. 79-90, 2009.

[5] I. S. Bajwa, B. L. Bordbar and G. Mark, "OCL Constraints Generation from Natural Language Specification," Proc. of the 14th IEEE International Conference on Enterprise Distributed Object Computing (EDOC), pp. 204-213, 2010.

[6] O. Keszocze, M. Soeken, E. Kuksa and R. Drechsler, "Lips: An IDE for Model-driven Engineering Based on Natural Language Processing," Proc. of the 1st International IEEE Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE), San Francisco, CA, USA, 2013.

[7] W. F. Tichy and S. J. Koerner, "Text to Software: Developing Tools to Close the Gaps in Software Engineering," Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research, pp. 379-384, 2010.

[8] R. Laleau and A. Mammar, "An Automatic Generation of B Specifications from Well-defined UML Notations for Database Applications," Proc. of the International Symposium on Programming and Systems (ISPS), Algers, Algérie, 2001.

[9] A. J. Fougéres and P. Trigano, "Rédaction de Spécifications Formelles: élaboration à Partir des Spécifications écrites en Langage Naturel," Cognito-Cahiers Romans de Sci. Cognitives, pp. 29-36, 1997.

[10] F. Mokhtari and M. Badri, "Generating Maude Specifications From UML Use Case Diagrams," Journal of Object Technology, vol. 8, no. 2, pp. 119–136, 2009.

[11] E. Mit, Developing VDM++ Operations From UML Diagrams, Ph.D. Thesis, School of Computing, Science and Engineering University of Salford, U.K, 2007.

[12] F. Meziane and S. Vadera, "Artificial Intelligence in Software Engineering: Current Developments and
Future Prospects," Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects, pp. 24-29, 2010.

[13] H. H. Ammar, W. Abdelmoez and M. S. Hamdi, "Software Engineering Using Artificial Intelligence Techniques: Current State and Open Problems," Proc. of the IEEE International Conference on Communications and Information Technology, Al-Madinah Al-Munawwarah, Saudi Arabia, pp. 24-29, 2012.

[14] N. Arman and S. Jabbarin, "Generating Use Case Models from Arabic User Requirements in a Semi-automated Approach Using a Natural Language Processing Tool," Journal of Intelligent Systems, vol. 24, no. 2, pp. 277-286, 2015.

[15] N. Alami, N. Arman and F. Khamyseh. "A Semi-automated Approach for Generating Sequence Diagrams from Arabic User Requirements Using a Natural Language Processing Tool," Proc. of the 8th IEEE International Conference on Information Technology (ICIT), Amman, Jordan, 2017.

[16] I. Nassar and F. Khamayseh, "A Semi-automated Generation of Activity Diagrams from Arabic User Requirements," NNGT International Journal on Software Engineering, vol. 2, 2015.

[17] T. S. Hoang, "An Introduction to the Event-B Modelling Method," In Book: Industrial Deployment of System Engineering Methods, Publisher: Springer-Verlag, Editors: Alexander Romanovsky and Martyn Thomas, 2013.

[18] A. Guissé, F. Lévy and A. Nazarenko, "From Regulatory Text to BRMS: How to Guide the Acquisition of Business Rules," Proc. of the International Workshop on Rules and Rule Markup Languages for the Semantic Web, Springer, pp. 77-91, 2012.

[19] K. Z. Bousmaha, M. K. Rahmouni, B. Kouninef and L. Belguith Hadrich, "A Hybrid Approach for the Morpho-Lexical Disambiguation of Arabic," Journal of Information Processing Systems (JIPS), vol. 12, no. 3, pp. 358-380, 2016.

[20] S. Boulaknadel, B. Daille and D. Aboutajdine, "A Multi-word Term Extraction Program for Arabic Language," Proceedings of the International Conference on Language Resources and Evaluation (LREC), pp. 1485-1488, Morocco, 2008.

[21] M. Diab, "Second Generation AMIRA Tools for Arabic Processing Fast and Robust Tokenization, POS tagging and Base Phrase Chunking," Proc. of the 2nd International Conference on Arabic Language Resources and Tools, pp. 285-288, Egypt, 2009.

[22] F. Z. Belkredim and A. El Sebai, "An Ontology-based Formalism for the Arabic Language Using Verbs and Their Derivatoion," Communications of the IBIMA, vol. 11, pp. 44-52, 2009.

[23] J. Singh, Mapping UML Diagrams to XML, Doctoral Dissertation, University New Delhi, 2003.

[24] I. Tounsi, H. Zied, M. H. Kacem, A. H. Kacem and K. Drira, "Using SOAml Models and Event-B Specifications for Modeling SOA Design Patterns," Proc. of the International Conference on Enterprise Information Systems (ICEIS), 2013.

[25] L. Danlos, T. Nakamura and Q. Pradet, "Vers la Création d'un Verbnet du Français," Proc. of the 21ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Atelier Fondamen TAL, 2014.