César A. L. Oliveira

• Federal University of Pernambuco

While digital innovations are transforming people's personal lives like never before, there are facets of corporate management that are still running behind the digital era. For instance, are there new ways through which a manager could ensure that employees are aligned with the company's strategy? This chapter describes a design approach and the i...

According to the Object Management Group, a rule is a proposition that is a claim of obligation or of necessity. The concept of rule is usually employed in the context of business process to manage companies operations. While a workflow is an explicit specification of tasks' execution flow, business rules only impose restrictions on the tasks' exec...

Declarative business process models focus on modeling what must be done but do not determine how. The existing engine for controlling the execution of declarative processes uses automata-based model checking. Unfortunately, the well-known state space explosion problem limits the ability to explore large processes through automata-based approaches....

The subject of business-IT alignment has increasingly attracted the attention of executives in the past decade. The purpose is to leverage the potential of IT to improve business performance. This goal can be achieved by developing mechanisms to enhance the communication between business and IT. In the same track, its essential to apply methods to...

To address the need for evaluation techniques for complex business processes, also known as workflows, this paper proposes an approach based on generalized stochastic Petri nets (GSPNs). We review ten related approaches published in the last fifteen years and compare them to our approach using a wide range of criteria. On the basis of this evaluati...

In this paper we describe the application of process mining techniques to analyze a software development process. Software engineering practitioners often conduct quality auditing of the development process to assure conformance with organizational standards. Despite some works have explored process mining techniques for the conformance analysis of...

Despite the advances on business rules theory and the increasing number of large enterprises doing efforts to model their business rules, there is still a lack for a meaningful integration between business analysis and process modeling activities. The event-driven paradigm has been shown to be an effective solution for the implementation of process...

The Service Oriented Architecture (SOA) paradigm enables the organizations to compose complex business applications from distributed services, supported by third party partners. Usually, Service Level Agreements (SLA) are used to establish the requirements between customers and providers. Efforts to predict the quality of SOA transactions are justi...

Although It is assumed that the implementation of design by contract is better modularized by means of aspect-oriented (AO) programming there is no empirical evidence on the effectiveness of AO for modularizing non-trivial design by contract code in well-understood modularity attributes This paper reports a quantitative case study of the adequacy o...

The design and management of software development processes is essential to reduce costs and improve the quality of software products. The execution of such processes is usually monitored to register important information about the dynamic behavior of the software development process. As a result, a huge amount of information is stored in the datab...

The Service-Oriented Architecture (SOA) has become a unifying technical architecture that may be embodied through Web Service technologies. Predicting the variable behavior of SOA systems can mean a way to improve the quality of the business transactions. This paper proposes a simulation modeling approach based on stochastic Petri nets to estimate...

Aspect-oriented programming (AOP) enables the effective modularization of well-known crosscutting concerns. To take advantage of AOP, there are many techniques, including AOP laws, for a systematic refactoring of crosscutting concerns to aspects. However, there is also a need for supporting the systematic refactoring of AOP constructs. Existing tec...

The service-oriented architecture (SOA) has become an unifying technical architecture that can be embodied with Web service technologies, in which the Web service is thought as a fundamental building block. This paper proposes a simulation modeling approach based on stochastic Petri nets to estimate the performance of SOA applications. Using the pr...

In this paper we review several approaches for the performance evaluation of business workflows and propose an approach based on Generalized Stochastic Petri Nets, which presents desirable characteristics, such as analytic solutions. We present a case study demonstrating the application of our proposal and compare the results with that obtained by...

In previous work we presented a new JML compiler, ajmlc, which generates aspects that enforce preconditions, postconditions, and invariants. Although this compiler provides benefits of source-code mod- ularity and small bytecode size and running time, there is still a need for optimization of bytecode size and running time. To do this optimization...

The AspectJ JML compiler (ajmlc) explores aspect-oriented programming (AOP) mechanisms to implement JML specifications, such as pre-and postconditions, and enforce them during runtime. This compiler was created to improve source-code modularity. Some experiments were conducted to evaluate the performance of the code generated through ajmlc. Results...

This paper presents an approach for power-aware code exploration, through an analysis mechanism based on Coloured Petri Net (CPN). Given a code under interest and a CPN description of architecture, a CPN model of application (processor + code) is generated. Coloured Petri Net models allow the application of widespread analysis approaches, for insta...