Exploring Specifications and Monitoring Execution Data of Business Processes
| Autor: | KHEBIZI, Ali, SERİDİ, Hassina |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Volume: 3, Issue: 2 35-52 International Journal of Informatics and Applied Mathematics |
| ISSN: | 2667-6990 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|