Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Changes in peak expiratory flow and respiratory strength during the menstrual cycle

This study evaluated the spirometry and respiratory static pressures in 17 young women, twice a week for three successive ovulatory menstrual cycles to determine if such variables changed across the menstrual, follicular, periovulatory, early-tomid luteal and late luteal phases. The factors phases of menstrual cycle and individual cycles had no significant effect on the spirometry variables except for peak expiratory flow (PEF) and respiratory static pressures. Significant weak positive correlations were found between the progesterone:estradiol ratio and PEF and between estrogen and tidal volume (r = 0.37), inspiratory time (r = 0.22), expiratory time (r = 0.19), maximal inspiratory pressure (r = 0.25) and maximal expiratory pressure (r = 0.20) and for progesterone and maximal inspiratory pressure (r = 0.32) during the early-to-mid luteal phase. Although most parameters of the spirometry results did not change during the menstrual cycle, the correlations observed between sexual hormones and respiratory control variables suggest a positive influence of sexual female hormones controlling the thoracic pump muscles in the luteal phase

Application of multivariable control using artificial neural networks in a debutanizer distillation column

LOPES, Jose Soares Batista et al. Application of multivariable control using artificial neural networks in a debutanizer distillation column.In: INTERNATIONAL CONGRESS OF MECHANICAL ENGINEERING - COBEM, 19, 5-9 nov. 2007, Brasilia. Anais... Brasilia, 2007

Proposta de válvula bypass para controle de velocidade de PIGs instrumentados: protótipo e simulação em bancada

In the Oil industry, oil and gas pipelines are commonly utilized to perform the transportation of production fluids to longer distances. The maintenance of the pipelines passes through the analysis of several tools, in which the most currently used are the pipelines inspection cells, popularly knowing as PIG. Among the variants existing in the market, the instrumented PIG has a significant relevance; acknowledging that through the numerous sensors existing in the equipment, it can detect faults or potential failure along the inspected line. Despite its versatility, the instrumented PIG suffers from speed variations, impairing the reading of sensors embedded in it. Considering that PIG moves depending on the speed of the production fluid, a way to control his speed is to control the flow of the fluid through the pressure control, reducing the flow rate of the produced flow, resulting in reduction of overall production the fluid in the ducts own or with the use of a restrictive element (valve) installed on it. The characteristic of the flow rate/pressure drop from restrictive elements of the orifice plate is deducted usually from the ideal energy equation (Bernoulli’s equation) and later, the losses are corrected normally through experimental tests. Thus, with the objective of controlling the fluids flow passing through the PIG, a valve shutter actuated by solenoid has been developed. This configuration allows an ease control and stabilization of the flow adjustment, with a consequent response in the pressure drops between upstream and downstream of the restriction. It was assembled a test bench for better definition of flow coefficients; composed by a duct with intern diameter of four inches, one set of shutters arranged in a plate and pressure gauges for checking the pressure drop in the test. The line was pressurized and based on the pressure drop it was possible to draw a curve able to characterize the flow coefficient of the control valve prototype and simulate in mockup the functioning, resulting in PIG speed reduction of approximately 68%.

Changes in peak expiratory flow and respiratory strength during the menstrual cycle

This study evaluated the spirometry and respiratory static pressures in 17 young women, twice a week for three successive ovulatory menstrual cycles to determine if such variables changed across the menstrual, follicular, periovulatory, early-tomid luteal and late luteal phases. The factors phases of menstrual cycle and individual cycles had no significant effect on the spirometry variables except for peak expiratory flow (PEF) and respiratory static pressures. Significant weak positive correlations were found between the progesterone:estradiol ratio and PEF and between estrogen and tidal volume (r = 0.37), inspiratory time (r = 0.22), expiratory time (r = 0.19), maximal inspiratory pressure (r = 0.25) and maximal expiratory pressure (r = 0.20) and for progesterone and maximal inspiratory pressure (r = 0.32) during the early-to-mid luteal phase. Although most parameters of the spirometry results did not change during the menstrual cycle, the correlations observed between sexual hormones and respiratory control variables suggest a positive influence of sexual female hormones controlling the thoracic pump muscles in the luteal phase

Application of multivariable control using artificial neural networks in a debutanizer distillation column

LOPES, Jose Soares Batista et al. Application of multivariable control using artificial neural networks in a debutanizer distillation column.In: INTERNATIONAL CONGRESS OF MECHANICAL ENGINEERING - COBEM, 19, 5-9 nov. 2007, Brasilia. Anais... Brasilia, 2007