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)
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)
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)
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)
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)
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)
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)