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

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

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

Os fundos éticos nos mercados nas Bolsas de Valores

É possível encontrar nos mercados de valores mobiliários e/ou outros instrumentos financeiros e/ou nas chamadas bolsas de valores - éticas concretas, reais e definidas? Pensamos que sim. Os fundos éticos são apenas uma das espécies de fundos. Abstract: You can find in the securities markets and / or other financial instruments and / or in so-called exchanges - concrete ethical, real and defined? We think so. Ethical funds are only one species of funds.

Ó sistema capitalista, quanto do teu Portugal são lavagens de capital?

Ouvimos também muitos a falar em branqueamento de capitais, crimes financeiros, abuso de informação, manipulação do mercado, etc.. Salvo o devido respeito, contudo, poucos sabem o quão difícil é a prova destes crimes! Sabiam que p.e. até meados de 2008, crimes como o abuso de informação ou a manipulação do mercado eram insusceptíveis de interferência nas comunicações?! Sabiam que até hoje, o Código dos Valores Mobiliários não prevê a criminalização das pessoas colectivas e, portanto, dos próprios bancos?! Abstract: We hear too many to talk about money laundering, financial crimes, insider trading, market manipulation, etc .. Unless all due respect, however, few know how hard it is to prove that the crimes! Standing knew that by mid-2008, crimes such as dealing or market manipulation were incapable of interference in communications ?! They knew that to date, the Securities Code does not provide for the criminalization of legal persons and therefore the banks themselves ?!