International Journal of Informatics and Applied Mathematics e-ISSN:2667-6990 Vol. 3, No. 2, 35-52 Exploring Specifications and Monitoring Execution Data of Business Processes Ali Khebizi 1 , Hassina Seridi-Bouchelaghem 2 1 Department of computer science, LabSTIC Laboratory, 8 May 1945 University, P.O. Box 401, 24000 Guelma, Algeria- khebizi.ali@univ-guelma.dz, ali.khebizi@gmail.com 2 LabGed, Badji Mokhtar University, Annaba -Algeria- seridi@labged.net Abstract. The large proliferation of software environments supporting enterprises business processes has lead to a massive data that is receiving a great deal of enthusiasm from the IT managers for its exploitation for various management purposes. Although a lot of work in the business processes field has focused mainly on the modelling and automation as- pects, little effort has been done regarding the analysis, optimization and monitoring concerns. In this paper, a new formal approach for analysing business processes specifications and for exploring their associated execution data is sug- gested. It exhibits two main complementary features: (i) formal specifi- cations describing business processes, expressed as finite state machines, are extracted in order to satisfy useful users needs, (ii) a parametriz- able model supporting selection rules that enables querying execution traces of business processes is formalized and illustrated. A real-word scenario is used throughout the paper to illustrate the introduced con- cepts and formalizations and the proposed approach is implemented and experimented in a software tool. Keywords: Business processes · Finite state machine· Specification pat- tern· Process instance· Execution path· Data analysis.