Zineb Lamghari, M. Radgui, R. Saidi, M. D. Rahmani
{"title":"An operational support approach for Mining Unstructured Business Processes","authors":"Zineb Lamghari, M. Radgui, R. Saidi, M. D. Rahmani","doi":"10.22456/2175-2745.106277","DOIUrl":"https://doi.org/10.22456/2175-2745.106277","url":null,"abstract":"The refined process mining framework contains a set of activities that use extracted information from event logs, discovered models and normative ones. Among these activities, we find those dealing with running events in a Structured Business Process (SBP) context, which are the Detect, the Predict and the Recommend activities. These three activities are nominated as operational support system that performs well on SBP while, it stills a challenging task for an Unstructured Business Process (UBP), because of its complex structure. In this regard, a special interest is given to the use of existing process mining techniques to analyse unstructured processes, from the extraction of a process model based on event data to recommendations at a later stage. To this end, we propose the orchestration of process mining activities into an UBP operational support approach, through the following phases: 1.Preparing Normative model, 2.Detect violations, 3.Preparing predictive model and Predictions and 4.Preparing the recommender model and Recommendations.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77434294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Business Process Models in the Context of Predictive Process Monitoring","authors":"Florian Spree","doi":"10.22456/2175-2745.106828","DOIUrl":"https://doi.org/10.22456/2175-2745.106828","url":null,"abstract":"Predictive process monitoring is a subject of growing interest in academic research. As a result, an increased number of papers on this topic have been published. Due to the high complexity in this research area a wide range of different experimental setups and methods have been applied which makes it very difficult to reliably compare research results. This paper’s objective is to investigate how business process models and their characteristics are used during experimental setups and how they can contribute to academic research. First, a literature review is conducted to analyze and discuss the awareness of business process models in experimental setups. Secondly, the paper discusses identified research problems and proposes the concept of a web-based business process model metric suite and the idea of ranked metrics. Through a metric suite researchers and practitioners can automatically evaluate business process model characteristics in their future work. Further, a contextualization of metrics by introducing a ranking of characteristics can potentially indicate how the outcome of experimental setups will be. Hence, the paper’s work demonstrates the importance of business process models and their characteristics in the context of predictive process monitoring and proposes the concept of a tool approach and ranking to reliably evaluate business process models characteristics.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83788689","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Co-creating Service-Dominant Business Artifacts with Action Design Research: Towards Ambidextrous Business Process Management","authors":"Egon Lüftenegger","doi":"10.22456/2175-2745.107748","DOIUrl":"https://doi.org/10.22456/2175-2745.107748","url":null,"abstract":"Due to the rise of digital innovations, business process management research requires not only to focus on internal organizational improvement aspects. It should also adopt an explorative focus to include completely new business processes driven by digital innovations. Our research project began as an innovation initiative of an international Dutch conglomerate in the financial services sector for exploring new business models. This effort took the form of collaboration among academics in business informatics and practitioners. We formalized this collaboration by adopting action design research (ADR) for reaching impact within the company while contributing new knowledge. The use of ADR resulted in the artifacts’ co-creation that led to shared benefits, resulting in a win-win situation for the academics and practitioners.On the one hand, academics built a framework and its underlying artifacts for service-dominant business design and engineering. On the other hand, the framework supported the organizational transformation driven by digital innovation. This framework helps explore new strategic approaches that influence the design of new business models enabled by new business processes due to combining new and current capabilities known as business services.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75023078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Explainable Business Process (XBP) - An Exploratory Research","authors":"Riham Alhomsi, A. Vivacqua","doi":"10.22456/2175-2745.107964","DOIUrl":"https://doi.org/10.22456/2175-2745.107964","url":null,"abstract":"Providing explanations to a business process, its decisions and its activities, is an important factor to achieve the objectives of the business process, and to minimize and deal with any ambiguity in the process that may cause multiple interpretations, as well as to engender the appropriate trust of the users in the process. As a first step towards adding explanations to business process, we present an exploratory study to merge the concept of explainability and business processes, and we propose a conceptual framework to use explainability with business process in a model that we called the Explainable Business Process (XBP). Furthermore, we propose an XBP lifecycle, based on the Model-based and Incremental Knowledge Engineering (MIKE) approach, in order to show in details the phase where explainability fits in the business process lifecycle, noting that we focus on explaining the decisions and activities of the process in its as-is model, without transforming it into a to-be model.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85933416","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Challenges and Perspectives on Real-time Singing Voice Synthesis","authors":"L. A. Z. Brum, E. Moreno","doi":"10.22456/2175-2745.107292","DOIUrl":"https://doi.org/10.22456/2175-2745.107292","url":null,"abstract":"This paper describes the state of art of real-time singing voice synthesis and presents its concept, applications and technical aspects. A technological mapping and a literature review are made in order to indicate the latest developments in this area. We made a brief comparative analysis among the selected works. Finally, we have discussed challenges and future research problems.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76314924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Performability Evaluation of Voice Services in Converged Networks","authors":"A. Guimarães, D. Rodrigues, B. Nogueira","doi":"10.22456/2175-2745.94016","DOIUrl":"https://doi.org/10.22456/2175-2745.94016","url":null,"abstract":"In the last years, the transmission of voice services in converged networks has experienced a huge growth. However, there are still some questions considering the ability of these networks to deliver voice services with acceptable quality. In this paper, we applied analytical modeling and simulation to analyze the quality of voice services using a new index, called MOS a , which considers jointly the MOS index and the availability of the subjacent infrastructure. We consider the influence of different CODECs (G.711 and G.729), queuing policies (Priority Queuing and Custom Queuing), and the warm standby redundancy mechanism. Our goal is to analyze the quality of these services by taking into account overloading conditions in different architectures/scenarios. These scenarios were constructed using the modeling mechanisms Reliability Block Diagram and Stochastic Petri Nets in addition to a discrete event simulator. Experimental results indicate that the G.711 CODEC has a higher sensitivity both in terms of data traffic volume and allocated network resources in relation to the G.729 CODEC.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83093679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Model for Predicting Music Popularity on Streaming Platforms","authors":"C. V. Araujo, Marco Cristo, Rafael Giusti","doi":"10.22456/2175-2745.107021","DOIUrl":"https://doi.org/10.22456/2175-2745.107021","url":null,"abstract":"The global music market moves billions of dollars every year, most of which comes from streamingplatforms. In this paper, we present a model for predicting whether or not a song will appear in Spotify’s Top 50, a ranking of the 50 most popular songs in Spotify, which is one of today’s biggest streaming services. To make this prediction, we trained different classifiers with information from audio features from songs that appeared in this ranking between November 2018 and January 2019. When tested with data from June and July 2019, an SVM classifier with RBF kernel obtained accuracy, precision, and AUC above 80%.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75645509","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Antonio Rafael Braga, Juliana de Castro Rabelo, A. Callado, A. D. Rocha, B. Freitas, D. Gomes
{"title":"BeeNotified! A Notification System of Physical Quantities for Beehives Remote Monitoring","authors":"Antonio Rafael Braga, Juliana de Castro Rabelo, A. Callado, A. D. Rocha, B. Freitas, D. Gomes","doi":"10.22456/2175-2745.90724","DOIUrl":"https://doi.org/10.22456/2175-2745.90724","url":null,"abstract":"One of the ways to reduce inappropriate management of hives and monitor bee health is to send notifications/alerts about the data collected through sensors. This study presents BeeNotified!, a solution for sending notifications through Telegram, e-mail, and SMS. The notifications warn about the level of temperature, humidity, sound, carbon dioxide, oxygen, hive weight and delay in data gathering. From this data, researchers and beekeepers can be informed and make changes in the locations of the hives, avoiding catastrophes and possible diseases. The results obtained with the processing time in the sending of messages showed that the messages sent via SMS and Telegram have a shorter processing time compared to the sending via e-mail. In regards to sending notifications according to user preferences, all notifications were sent correctly.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73451343","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Reasoning about Partial Correctness Assertions in Isabelle/HOL","authors":"A. Martini","doi":"10.22456/2175-2745.98483","DOIUrl":"https://doi.org/10.22456/2175-2745.98483","url":null,"abstract":"Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented and concurrent programs. The purpose of this work is to provide a detailed and accessible exposition of the several ways the user can conduct, explore and write proofs of correctness of sequential imperative programs with Hoare logic and the ISABELLE proof assistant. With the proof language Isar, it is possible to write structured, readable proofs that are suitable for human understanding and communication.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91282716","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Taison Anderson Bortolin, Lucas Moraes dos Santos, Adriano Gomes da Silva, V. Schneider
{"title":"WebGIS development for base flow separation and recharge estimation","authors":"Taison Anderson Bortolin, Lucas Moraes dos Santos, Adriano Gomes da Silva, V. Schneider","doi":"10.22456/2175-2745.94235","DOIUrl":"https://doi.org/10.22456/2175-2745.94235","url":null,"abstract":"The basic flow rate is characterized by an important hydrological component being responsible for the estimation of the water recharge. Due to the difficulty of measurement, mathematical methods are used to calculate the flow separation. However, when hydrographic analysis is based on long historical series, the use of these methods becomes impracticable, making it necessary to use computational resources. A WebGIS (Web Geographical Information System) was developed for data selection and calculation of base flow separation, based on hydrological data from fluviometric stations located in the Taquari-Antas basin, located in the state of Rio Grande do Sul. A modified version of the Unified Process was used as a software development methodology. We used the MVC software architecture standard and the programming languages PHP 7.0, HTML5, JS and CSS3 for programmatic development of the constituent layers of the system. The hydrological data comes from the HIDROWEB portal, part of the National Information System on Water Resources (SNIRH), with hydrological information collected by the National Hydrometeorological Network (RHN) coordinated by the National Water Agency (ANA). The system facilitates the use of remote and distributed hydrological data, shared over the Internet, for various hydrological analyzes.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81261701","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}