Kelly Rosa Braghetto

Learn More
The representation and execution of business processes have generated some important challenges in Computer Science. An important related concern is the choosing of the best formal foundation to specify processes behavior, mainly representing control-flow patterns in cooperative environments. The first contribution of this research is the complete(More)
Order processing is an important application on services computing. On the conceptual side, business process management helps model such applications. On the practical side, workflow systems help implement such systems. We propose the navigation plan concept for order processing. Business steps in order processing are mapped into process algebra and(More)
Building mission critical applications and services (e.g. e-commerce) using process-oriented approaches has had successes and difficulties. These applications automated successfully the important frequent cases such as purchases, but the code needed for handling exceptions such as cancellations and failures tend to grow to disproportionate size and(More)
BPM involves methods, techniques and tools to support the entire business process life cycle: project; execution and management; operational analysis. ⇒ Associating formal frameworks to the project phase is valuable since: they provide non-ambiguous models; they improve the diagnosis capability; they enable a reliable execution control of the processes.(More)
Integrating information systems with tools that manage workflows and business processes is not always a simple task. This difficulty becomes more accentuated when the execution control assumes countless business processes. This work presents an alternative to control the execution of business processes. This alternative consists in a library of functions,(More)
In order to improve efficiency in organizations, it is important to understand how organizational processes work and how they could be optimized. Our goal is to contribute to the <i>Business Process Management</i> research area providing a summary of the pros and cons of applying three well-known high-level formalisms in the business processes modeling for(More)
The qualitative and quantitative analysis of operational processes recently started to receive special attention with the business process management systems. But the Business Process Model and Notation (BPMN), the standard representation of business processes, is not the most appropriate kind of model to support the analysis phase. Most of the works(More)
Cloud computing is one of the platforms able to provide green computing solutions nowadays. Moreover, it is able to provide a high performance environment for scientific applications. However, if there is dependency between tasks, there may be a low utilization of the cloud. To address the problem, this paper presents new task schedulers for clouds aiming(More)
Over time, data warehouse (DW) systems have become more difficult to develop because of the growing heterogeneity of data sources. Despite advances in research and technology, DW projects are still too slow for pragmatic results to be generated. Here, we address the following question: how can the complexity of DW development for integration of(More)
Business process systems have received increased attention from research and industry communities specially in order to guarantee transactional properties. Despite the significant efforts in new transactional models and software tools developed, the business processes still offer a scenario with several theoretical and practical challenges. In this article,(More)