Year 2020, Volume 3 , Issue 2, Pages 35 - 52 2020-12-07

Exploring Specifications and Monitoring Execution Data of Business Processes

Ali KHEBIZI [1] , Hassina SERİDİ [2]


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 aspects, 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 suggested. It exhibits two main complementary features: (i) formal specifications describing business processes, expressed as finite state machines, are extracted in order to satisfy useful users needs, (ii) a parametrizable 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 concepts and formalizations and the proposed approach is implemented and experimented in a software tool.
Business processes, Finite state machine, Specification pattern, Process instance, Execution path, Data analysis
  • C. Beeri, A. Eyal, T. Milo, and A. Pilberg. Monitoring business processes with queries. In VLDB, pages 603-614, 2007.
  • W. v. Aalst. Using process mining to bridge the gap between bi and bpm. Computer, 44:77-80, 12 2011.
  • Wil M. P. van der Aalst. Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer Publishing Company, Inc., 1st edition, 2011.
  • R. Ahmed, M. Faizan, and A. I. Burney. Process mining in data science: A literature review. In 2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS), 2019.
  • Dusanka Dakic, Srdjan Sladojevic, Teodora Lolic, and D. Stefanovic. Process mining possibilities and challenges: A case study. 2019 IEEE 17th International Symposium on Intelligent Systems and Informatics (SISY), pages 161-166, 2019.
  • Jorge Saldivar, Carla Vairetti, Carlos Rodrguez, Florian Daniel, Fabio Casati, and Rosa Alarcon. Analysis and improvement of business process models using spreadsheets. Information Systems, 57:1-19, 2016.
  • Nathan D. Ryan and Alexander L. Wolf. Using event-based translation to support dynamic protocol evolution. ICSE '04, pages 408-417, 2004.
  • A. Azough, E Coquery, and M-S Hacid. Supporting web service protocol changes by propagation. WI-IAT '09, pages 438-441, 2009.
  • B. Benatallah, F. Casati, and F. Toumani. Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Comp., 8(1):46-54, 2004.
  • B. Benatallah, F. Casati, and F. Toumani. Representing, analysing and managing web service protocols. D.K.Eng., 58(3):327-357, 2006.
  • D. Berardi, F. Cheikh, G. De Giacomo, and F. Patrizi. Automatic service composition via simulation. IJFCS, 19(2):429-451, 2008.
  • Antonio Brogi and Sara Cor ni. Behaviour-aware discovery of web service compositions. Int. J. Web Service Res., 4(3):1-25, 2007.
  • C.A. Middelburg and M.A. Reniers. Introduction to process theory. Technical report, Technische Universiteit Eindhoven, 2004.
  • K. Klai, S. Tata, and Jorg Desel. Symbolic abstraction and deadlock-freeness verifi cation of inter-enterprise processes. In BPM, 2009.
  • F. Cassez and Olivier-H. Roux. Structural translation from time petri nets to timed automata. Electronic Notes in Theoretical Computer Science. AVoCS 2004.
  • Xi Wang, Huaikou Miao, and Liang Guo. Towards automatic transformation from uml model to fsm model for web applications. JSEA, 1(1):68-75, 2008.
  • D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In ICSOC, Dec. 2003.
  • S. H. Ryu, F. Casati, H. Skogsrud, B. Benatallah, and R. Saint-Paul. Supporting the dynamic evolution of web service protocols in service-oriented architectures. ACM Trans. Web, 2(2):1-46, May 2008.
  • Serge Abiteboul, Peter Buneman, and Dan Suciu. Data on the web: from relations to semistructured data and XML. rgan Kaufmann, San Francisco, 2000.
  • Justin Jay Miller. Graph database applications and concepts with neo4j. 2013.
  • Florian Holzschuher and Rene Peinl. Performance of graph query languages: comparison of cypher, gremlin and native access in neo4j. In EDBT '13, 2013.
  • N. Francis, A. Green, P. Guagliardo, L. Libkin, T. Lindaaker, V. Marsault, S. Plantikow, M. Rydberg, M. Schuster, P. Selmer, and A. Taylor. Formal semantics of the language cypher. CoRR, abs/1802.09984, 2018.
Primary Language en
Subjects Computer Science, Interdisciplinary Application
Journal Section Articles
Authors

Author: Ali KHEBIZI (Primary Author)
Institution: 8 May 1945 University
Country: Algeria


Author: Hassina SERİDİ
Institution: Badji Mokhtar University -Annaba-
Country: Algeria


Dates

Publication Date : December 7, 2020

Bibtex @research article { ijiam823094, journal = {International Journal of Informatics and Applied Mathematics}, issn = {}, eissn = {2667-6990}, address = {}, publisher = {International Society of Academicians}, year = {2020}, volume = {3}, pages = {35 - 52}, doi = {}, title = {Exploring Specifications and Monitoring Execution Data of Business Processes}, key = {cite}, author = {Khebızı, Ali and Seridi, Hassina} }
APA Khebızı, A , Seridi, H . (2020). Exploring Specifications and Monitoring Execution Data of Business Processes . International Journal of Informatics and Applied Mathematics , 3 (2) , 35-52 . Retrieved from https://dergipark.org.tr/en/pub/ijiam/issue/58054/823094
MLA Khebızı, A , Seridi, H . "Exploring Specifications and Monitoring Execution Data of Business Processes" . International Journal of Informatics and Applied Mathematics 3 (2020 ): 35-52 <https://dergipark.org.tr/en/pub/ijiam/issue/58054/823094>
Chicago Khebızı, A , Seridi, H . "Exploring Specifications and Monitoring Execution Data of Business Processes". International Journal of Informatics and Applied Mathematics 3 (2020 ): 35-52
RIS TY - JOUR T1 - Exploring Specifications and Monitoring Execution Data of Business Processes AU - Ali Khebızı , Hassina Seridi Y1 - 2020 PY - 2020 N1 - DO - T2 - International Journal of Informatics and Applied Mathematics JF - Journal JO - JOR SP - 35 EP - 52 VL - 3 IS - 2 SN - -2667-6990 M3 - UR - Y2 - 2020 ER -
EndNote %0 International Journal of Informatics and Applied Mathematics Exploring Specifications and Monitoring Execution Data of Business Processes %A Ali Khebızı , Hassina Seridi %T Exploring Specifications and Monitoring Execution Data of Business Processes %D 2020 %J International Journal of Informatics and Applied Mathematics %P -2667-6990 %V 3 %N 2 %R %U
ISNAD Khebızı, Ali , Seridi, Hassina . "Exploring Specifications and Monitoring Execution Data of Business Processes". International Journal of Informatics and Applied Mathematics 3 / 2 (December 2020): 35-52 .
AMA Khebızı A , Seridi H . Exploring Specifications and Monitoring Execution Data of Business Processes. IJIAM. 2020; 3(2): 35-52.
Vancouver Khebızı A , Seridi H . Exploring Specifications and Monitoring Execution Data of Business Processes. International Journal of Informatics and Applied Mathematics. 2020; 3(2): 35-52.
IEEE A. Khebızı and H. Seridi , "Exploring Specifications and Monitoring Execution Data of Business Processes", International Journal of Informatics and Applied Mathematics, vol. 3, no. 2, pp. 35-52, Dec. 2020