AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Scientific Research Support Fund of Jordan (SRSF) and Princess Sumaya University for Technology (PSUT)
2020-06-01
|
| Series: | Jordanian Journal of Computers and Information Technology |
| Subjects: | |
| Online Access: | https://jjcit.org/paper/85 |
| _version_ | 1828728810102587392 |
|---|---|
| author | Kheira-Zineb Bousmaha Ossoukine Lamia Belguith Hadrich |
| author_facet | Kheira-Zineb Bousmaha Ossoukine Lamia Belguith Hadrich |
| author_sort | Kheira-Zineb Bousmaha Ossoukine |
| collection | DOAJ |
| description | 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%. |
| first_indexed | 2024-04-12T14:21:58Z |
| format | Article |
| id | doaj.art-7f68f3462fb74e4888fc9fe6fd026eb6 |
| institution | Directory Open Access Journal |
| issn | 2413-9351 2415-1076 |
| language | English |
| last_indexed | 2024-04-12T14:21:58Z |
| publishDate | 2020-06-01 |
| publisher | Scientific Research Support Fund of Jordan (SRSF) and Princess Sumaya University for Technology (PSUT) |
| record_format | Article |
| series | Jordanian Journal of Computers and Information Technology |
| spelling | doaj.art-7f68f3462fb74e4888fc9fe6fd026eb62022-12-22T03:29:33ZengScientific Research Support Fund of Jordan (SRSF) and Princess Sumaya University for Technology (PSUT)Jordanian Journal of Computers and Information Technology2413-93512415-10762020-06-01060214816410.5455/jjcit.71-1570002057AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-BKheira-Zineb Bousmaha Ossoukine0Lamia Belguith Hadrich1Department of Computer Science, RIIR laboratory, University Oran1 Algeria. Member of ANLP-RG (Arabic Natural Language Processing – Reseach Group).Departmant of Computer Science, Faculty of Economics and Management (FSEGS), University of Sfax,Tunisia, Head of ANLP-RG.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%.https://jjcit.org/paper/85arabic natural language processinginformation systeminformation extractionformals’ specificationevent-b |
| spellingShingle | Kheira-Zineb Bousmaha Ossoukine Lamia Belguith Hadrich AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B Jordanian Journal of Computers and Information Technology arabic natural language processing information system information extraction formals’ specification event-b |
| title | AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B |
| title_full | AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B |
| title_fullStr | AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B |
| title_full_unstemmed | AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B |
| title_short | AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B |
| title_sort | ar2b formalization of arabic texts with event b |
| topic | arabic natural language processing information system information extraction formals’ specification event-b |
| url | https://jjcit.org/paper/85 |
| work_keys_str_mv | AT kheirazinebbousmahaossoukine ar2bformalizationofarabictextswitheventb AT lamiabelguithhadrich ar2bformalizationofarabictextswitheventb |