Cryptica: um software para simulação de epidemias de huanglongbing dos citros (HLB).

As dificuldades impostas ao controle do huanglongbing dos citros (HLB), determinada pela capacidade de plantas infectadas, assintomáticas, se tornarem fonte de inoculo das bactérias (Candidatus Liberibacter spp.), e agravadas pelos fatores apresentados por Francisco Laranjeira, obriga que se utilizem várias armas para mitigar os problemas causados pelo HLB. Neste contexto, a presente publicação apresenta uma importante ferramenta para avaliar possíveis cenários de disseminação da doença e poderá contribuir para consolidar programas de conscientização de controle do HLB. Ao se apoiar em modelos que se aproximam da realidade o Cryptica simula os danos causados pela doença e poderá estimular a realização de inspeção e a eliminação de plantas sintomáticas, contribuindo, portanto, para aumentar a eficiência das estratégias de controle e contenção da doença. As simulações realizadas no Cryptica são produzidas a partir da proposição de três conjuntos de parâmetros associados à paisagem (escala dos pomares), infecção e erradicação. Diante das informações até então disponíveis o software é mais um aliado nessa batalha de várias alternativas de manejo conjunto dessa doença.bitstream/item/140166/1/DOC-215-029-15-Laranjeira-Ainfo.pd

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperatice or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies' structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programsFundação para a Ciência e a Tecnologia (FCT

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for combining autonomous services often running on different platforms. As a rule, however, intypical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identification 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 certification, provides an opportunity for the development 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

On the discovery of business processes orchestration patterns

COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermediate Language (CIL), the native language of the Microsoft .Net Frame- work, thus making suitable for processing systems developed in any .Net Framework compilable language. COORDINSPECTOR generates graphical representations of the coordination layer together with business process orchestrations specified in WS- BPEL 2.0

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 weaved 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 is 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.Fundação para a Ciência e a Tecnologia (FCT) - projeto Mondrian, PTDC/EIA-CCO/108302/200