Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

Anotação sintética, numa perspectiva de Direito Público, ao Acórdão n.º 63/2006, em Plenário, do Tribunal Constitucional (português), de 24 de Janeiro de 2006 - qual proibição constitucional de impostos retroactivos? A tese de Oliveira Salazar.

The present article aims to analyze the Judgment no. º 63/2006 of the Constitutional Court, of January 24, 2006, verifying the characteristics of the case, under reference abstract and concrete, of the constitutional principle of the prohibition of retroactive tax. It also examines the core aspects of the temporal validity of the legal and tax rules, brevitatis causa of legal and fiscal standards. Thus, it scrutinizes the call application of tax rules (and / or tax) within the application in time, consisting brief notes on the legal tradition-Lusitanian, from the standpoint of doctrine, from 1976 to 1985 including, recalling the Thesis Salazar on non-retroactivity of tax law. § O presente artigo pretende analisar o Acórdão do Tribunal Constitucional n.º 63/2006, de 24 de Janeiro de 2006, verificando de forma sintética as características do caso concreto, sob referência abstracta e concreta, do princípio constitucional da proibição de imposto retroativos, analisando ainda os aspectos nucleares da eficácia temporal das normas jurídico-tributárias, brevitatis causa, das normas jurídico-fiscais. Para tanto, se averigua a chamada aplicação das normas fiscais (e/ou tributárias) no seio da aplicação no tempo, constando breves notas sobre a tradição jurídico-lusitana, do ponto de vista da doutrina, a partir de 1976, designadamente até 1985, recordando a Tese de Salzar sobre a não retroatividade da lei fiscal.

Efficiency Measures in the Agricultural Sector: The Beginning

Copyright © 2013 Springer Netherlands.

Análise e optimização dos consumos de utilidades (vapor e energia eléctrica) na Petibol – Embalagens de Plásticos, S.A.

Mestrado em Engenharia Química. Ramo optimização energética na indústria química.

Avaliação da auto-suficiência energética na indústria nacional arrozeira

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia mecânica

Epidemiologic transition in northern Angola: discussion of cumulative results from CISA (Health Research Centre of Angola)

The 41 years of armed conflict (1961 to 2002) resulted in a poor development of the health care and education infrastructures, and forced the relocation of people to safer places, namely major urban cities like Luanda. This phase was characterized by typical demographic, nutritional and epidemiological profiles. With the end of this period Angola has been repeatedly ranked as one of the three fastest growing economies in the world, and along with the social stabilization and globalization, the country is facing the introduction of new medical technologies, improvement of health sys-tems and services, better access to them, and overall better quality of life. These changes could also be translating into socio-cultural, demographic and nutritional changes which in turn may leading to changes in the epidemiological profile of the country. Thus, the emergence of non-communicable diseases are likely to become an increasingly im-portant public health problem in Angola. Also, considering that several infectious diseases persist, our weakened health system will have to face a double burden. Thus, disease surveillance data on non-communicable diseases to determine their prevalence and impact, along with the major behavioural risk factors like consumption of tobacco, alcohol, diets and physical inactivity are urgently needed.

Ecotoxicological aspects related to the presence of pharmaceuticals in the aquatic environment

Pharmaceuticals are biologically active and persistent substances which have been recognized as a continuing threat to environmental stability. Chronic ecotoxicity data as well as information on the current distribution levels in different environmental compartments continue to be sparse and are focused on those therapeutic classes that are more frequently prescribed and consumed. Nevertheless, they indicate the negative impact that these chemical contaminants may have on living organisms, ecosystems and ultimately, public health. This article reviews the different contamination sources as well as fate and both acute and chronic effects on non-target organisms. An extensive review of existing data in the form of tables, encompassing many therapeutic classes is presented.

O Sistema uniforme de contas para a indústria hoteleira

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Professor Doutor Filipe Ambrósio e co-orientação do Mestre António Melo

Imparidade de ativos fixos tangíveis: aspetos contabilísticos, fiscais e de auditoria

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientada por: Mestre Carlos Martins

Energia solar fotovoltaica: contributo para um roadmapping do seu desenvolvimento tecnológico

Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Sócio-Economia da Inovação” do Mestrado Engenharia Integrado em Engenharia Electrotécnica e Computadores realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (Portugal)

Reduced schedule of human anti rabies immunization with Fuenzalida & Palacios vaccine

The present study evaluates the humoral and cellular immune responses in 35 volunteers submited to short antirabies vaccination schedules with the Fuenzalida & Palacios vaccine based on the administration of doses on non consecutive days. The volunteers were divided into two groups. The first group received a total number of five doses given on days 0, 4, 7, 20 and 35. The other group received four doses, the first one being a double dose given on day 0 and than three other single doses on days 7, 20 and 35. The evaluation of humoral immune response was carried out by serum neutralization (SN) and indirect immunofluorescense (IIF) tests, while the cellular immune response was evaluated by lymphoblastic transformation assay (LTA) and skin test (ST). According to our results these reduced schedules elicited early and effective humoral and cellulafimmune responses to rabies antigen suggesting that new reduced schedules should be extensively studied in order to give the proper bases to the proposition of changes in the current long-term schedule.

Fast mobility support in low-power wireless networks: smart-HOP over RPL/6LoWPAN

With the emergence of low-power wireless hardware new ways of communication were needed. In order to standardize the communication between these low powered devices the Internet Engineering Task Force (IETF) released the 6LoWPAN stand- ard that acts as an additional layer for making the IPv6 link layer suitable for the lower-power and lossy networks. In the same way, IPv6 Routing Protocol for Low- Power and Lossy Networks (RPL) has been proposed by the IETF Routing Over Low power and Lossy networks (ROLL) Working Group as a standard routing protocol for IPv6 routing in low-power wireless sensor networks. The research performed in this thesis uses these technologies to implement a mobility process. Mobility management is a fundamental yet challenging area in low-power wireless networks. There are applications that require mobile nodes to exchange data with a xed infrastructure with quality-of-service guarantees. A prime example of these applications is the monitoring of patients in real-time. In these scenarios, broadcast- ing data to all access points (APs) within range may not be a valid option due to the energy consumption, data storage and complexity requirements. An alternative and e cient option is to allow mobile nodes to perform hand-o s. Hand-o mechanisms have been well studied in cellular and ad-hoc networks. However, low-power wireless networks pose a new set of challenges. On one hand, simpler radios and constrained resources ask for simpler hand-o schemes. On the other hand, the shorter coverage and higher variability of low-power links require a careful tuning of the hand-o parameters. In this work, we tackle the problem of integrating smart-HOP within a standard protocol, speci cally RPL. The simulation results in Cooja indicate that the pro- posed scheme minimizes the hand-o delay and the total network overhead. The standard RPL protocol is simply unable to provide a reliable mobility support sim- ilar to other COTS technologies. Instead, they support joining and leaving of nodes, with very low responsiveness in the existence of physical mobility.

Post-processing Techniques in Free Boundary Flows during Liquid Composite Moulding Processes

Post-processing a finite element solution is a well-known technique, which consists in a recalculation of the originally obtained quantities such that the rate of convergence increases without the need for expensive remeshing techniques. Postprocessing is especially effective in problems where better accuracy is required for derivatives of nodal variables in regions where Dirichlet essential boundary condition is imposed strongly. Consequently such an approach can be exceptionally good in modelling of resin infiltration under quasi steady-state assumption by remeshing techniques and with explicit time integration, because only the free-front normal velocities are necessary to advance the resin front to the next position. The new contribution is the post-processing analysis and implementation of the freeboundary velocities of mesolevel infiltration analysis. Such implementation ensures better accuracy on even coarser meshes, which in consequence reduces the computational time also by the possibility of employing larger time steps.