Badr Eddine El Mohajir

  • Citations Per Year
Learn More
In this work we propose a visual language for specifying behavioral properties of business processes (BP). We use Business process modeling notation (BPMN) to modelize BP, Petri Net as underlying formal foundations, and SPIN model checker to validate the dynamic behaviors of this process. The objective of this paper is to propose graphical property(More)
This paper introduces an approach for formal verification of BPMN models. The incompatible constructs of the BPMN patterns can lead to wrong or incomplete semantics which resulting the behavioral errors such as deadlock and multiple termination. This research is motivated by the need to create a correct business process and in order to generate a more(More)
In this paper we present a model of an adapting learning system based on a recommendation system, operating after assessment to correct learning path of the learners who have experienced difficulties in the assessment. The approach aims to correct the learning path of the learners who have failed at the assessment, by calculating the similarities in(More)
Predicting stock prices is an important task of financial time series forecasting, which is of great interest to stock investors, stock traders and applied researchers. Many machine learning techniques have been used in recent times to predict the stock price, including regression algorithms which can be useful tools to provide good accuracy of financial(More)
This paper deals with the creation process of a bilingual corpus of Arabic and Arabic Sign Language. This work will be concerned with a challenging research approach that aims to develop a solution that meets communication need of the Arab deaf community. Many sign language corpora have been proposed, but unfortunately, none of them is adapted to Arabic(More)