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

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