MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System

Um middleware reflexivo e orientado a aspectos: arquitetura e implementações

Conselho Nacional de Desenvolvimento Científico e Tecnológico

AO-OIL: um middleware orientado a aspectos baseado em uma arquitetura de referência

Middleware platforms have been widely used as an underlying infrastructure to the development of distributed applications. They provide distribution and heterogeneity transparency and a set of services that ease the construction of distributed applications. Nowadays, the middlewares accommodate an increasing variety of requirements to satisfy distinct application domains. This broad range of application requirements increases the complexity of the middleware, due to the introduction of many cross-cutting concerns in the architecture, which are not properly modularized by traditional programming techniques, resulting in a tangling and spread of theses concerns in the middleware code. The presence of these cross-cutting concerns limits the middleware scalability and aspect-oriented paradigm has been used successfully to improve the modularity, extensibility and customization capabilities of middleware. This work presents AO-OiL, an aspect-oriented (AO) middleware architecture, based on the AO middleware reference architecture. This middleware follows the philosophy that the middleware functionalities must be driven by the application requirements. AO-OiL consists in an AO refactoring of the OiL (Orb in Lua) middleware in order to separate basic and crosscutting concerns. The proposed architecture was implemented in Lua and RE-AspectLua. To evaluate the refactoring impact in the middleware architecture, this paper presents a comparative analysis of performance between AO-OiL and OiL

Métricas de sistemas de middleware orientado a aspectos e Aplicação em um sistema de monitoramento de Poços de Petróleo

Nowadays, there are many aspect-oriented middleware implementations that take advantage of the modularity provided by the aspect oriented paradigm. Although the works always present an assessment of the middleware according to some quality attribute, there is not a specific set of metrics to assess them in a comprehensive way, following various quality attributes. This work aims to propose a suite of metrics for the assessment of aspect-oriented middleware systems at different development stages: design, refactoring, implementation and runtime. The work presents the metrics and how they are applied at each development stage. The suite is composed of metrics associated to static properties (modularity, maintainability, reusability, exibility, complexity, stability, and size) and dynamic properties (performance and memory consumption). Such metrics are based on existing assessment approaches of object-oriented and aspect-oriented systems. The proposed metrics are used in the context of OiL (Orb in Lua), a middleware based on CORBA and implemented in Lua, and AO-OiL, the refactoring of OIL that follows a reference architecture for aspect-oriented middleware systems. The case study performed in OiL and AO-OiL is a system for monitoring of oil wells. This work also presents the CoMeTA-Lua tool to automate the collection of coupling and size metrics in Lua source code

Comparação de desenvolvimento orientado a agentes para jogos educacionais: um estudo de caso

A tecnologia de agentes tem sido reconhecida como um paradigma promissor em sistemas educacionais da nova geração. Entretanto, o esforço e inflexibilidade de algumas metodologias próprias para agentesacarretam num alto custo, tempo e adaptação de escopo. Este trabalho visaavaliar alternativas de desenvolvimento de um jogo educacional médico orientado a agentes, através da aplicação de um estudo de caso, com o intuito de verificar se metodologias próprias para implementação de sistemas multiagentes trazem benefícios no resultado final da implementação do jogo, e também se os resultados alcançados na comparação de processos de desenvolvimento de cunho tradicional e ágil fazem diferença no resultado final. Desta forma, este trabalho compara três metodologias baseadas nos conceitos da Engenharia de Software através de um estudo de caso, sendo elas: O-MaSE que é uma metodologiatradicional de desenvolvimento de sistemas multiagentes e utiliza um processo de desenvolvimento tradicional; AgilePASSI que é baseada no processo de desenvolvimento ágil e específica para sistemas multiagentes; e, por último, Scrum que é uma metodologia ágil, não sendo específica para implementação de sistemas multiagentes

Transplante de células de medula óssea (BMCs) de camundongos em modelo experimental para o desenvolvimento de aterosclerose: aspectos estruturais, ultraestrutuais e moleculares da aorta

As células tronco são caracterizadas pela sua capacidade de se diferenciar em várias linhagens de células e exibir um pontente efeito parácrino. O objetivo deste trabalho foi avaliar o efeito da terapia com células da medula óssea (BMCs) na glicose sanguínea, no metabolismo lipídico e remodelamento da parede da aorta em um modelo experimental para aterosclerose. Camundongos C57BL/6 foram alimentados com uma dieta controle (grupo CO) ou uma dieta aterogênica (grupo AT - 60% gordura). Após 16 semanas, o grupo AT foi dividido em quatro sub grupos: grupo AT 14 dias e o grupo AT 21 dias receberam uma injeção de PBS na veia caudal e mortos 14 e 21 dias após respectivamente; grupo AT-BMC 14 dias e AT-BMC 21 dias que receberam uma injeção com BMCs na veia caudal e mortos 14 e 21 dias após, respectivamente. O grupo CO foi sacrificado juntamente com outros grupos. O transplante BMCs reduziu os niveis de glicose, triglicerídeos e colesterol total no sangue. Não houve diferença significativa em relação à massa corporal entre os grupos transplantados e não transplantados, sendo todos diferentes do grupo CO. Não houve diferença significativa na curva glicemica entre os grupos AT 14 dias, AT-BMC 14 dias e AT 21 dias e estes diferentes do grupo CO e do grupo AT-BMC 21 dias. O Qa (1/mm2) foi quantitativamente reduzido no grupo AT 14 dias e AT 21 dias quando comparado ao grupo CO. Este Qa se mostrou elevado no grupo AT-BMC 21 dias quando comparado a todos os grupos. O aumento da expessura da parede da aorta foi observado em todos os grupos aterogênicos, entretanto o aumento da espessura foi significativamente menor no grupo AT-BMC 21 dias em relação ao grupo AT 14 dias e AT 21 dias. A percentagem de fibras elásticas se apresentou significativamente maior no grupo AT 21 dias quando comparado ao CO e AT-BMC 21 dias. Não houve diferença significativa entre o grupo CO e AT-BMC 21 dias. Vacúolos na túnica média, delaminação e o adelgaçamento das lamelas elásticas foram observados nos grupos AT-14 dias e AT-21 dias. O menor número destes foi visualizado no grupo AT-BMC 14 dias e AT-BMC 21 dias. A imunomarcação para alfa actina de músculo liso (α-SMA) e fator de crescimento vascular e endotelial (VEGF) mostrou menor marcação em grupos transplantados com BMCs. A marcação para antígeno nuclear de proliferação celular (PCNA) mostrou-se mais expressiva no grupo AT-BMC 21 dias grupo. Marcação para CD105, CD133 e CD68 foi observada nos grupos AT 14 dias e AT 21 dias. Estas marcações não foram observadas nos grupos AT-BMC 14 dias e AT-BMC 21 dias. Nas eletromicrografias observamos o remodelamento benéfico no grupo AT-BMC14 dias e AT-BMC 21 dias, com a organização estrutural similar ao grupo CO. Vesículas de pinocitose, projeção da célula muscular lisa e a delaminação da lamina elástica interna são observados nos grupos AT 14 dias e AT 21 dias. Célula endotelial preservada, com lamina elástica interna de contorno regular e contínua é observada no grupo CO e nos grupos AT-BMC 14 dias e AT-BMC 21 dias. Como conclusão, os nossos resultados reforçam o conceito de que, em um modelo aterosclerótico utilizando camundongos e dieta aterogênica, a injeção de BMCs melhora os níveis de glicose, metabolismo lipídico e ocasiona um remodelamento benéfico na parede da aorta.

MARISA-MDD: uma abordagem para transformações entre modelos orientados a aspectos: dos requisitos ao projeto detalhado

Aspect Oriented approaches associated to different activities of the software development process are, in general, independent and their models and artifacts are not aligned and inserted in a coherent process. In the model driven development, the various models and the correspondence between them are rigorously specified. With the integration of aspect oriented software development (DSOA) and model driven development (MDD) it is possible to automatically propagate models from one activity to another, avoiding the loss of information and important decisions established in each activity. This work presents MARISA-MDD, a strategy based on models that integrate aspect-oriented requirements, architecture and detailed design, using the languages AOV-graph, AspectualACME and aSideML, respectively. MARISA-MDD defines, for each activity, representative models (and corresponding metamodels) and a number of transformations between the models of each language. These transformations have been specified and implemented in ATL (Atlas Definition Language), in the Eclipse environment. MARISA-MDD allows the automatic propagation between AOV-graph, AspectualACME, and aSideML models. To validate the proposed approach two case studies, the Health Watcher and the Mobile Media have been used in the MARISA-MDD environment for the automatic generation of AspectualACME and aSideML models, from the AOV-graph model

CrossMDA2: Uma abordagem para minimizar o problema da fragilidade de pointcuts na evolução de sistemas orientados a aspectos

This work proposes a model based approach for pointcut management in the presence of evolution in aspect oriented systems. The proposed approach, called conceptual visions based pointcuts, is motivated by the observation of the shortcomings in traditional approaches pointcuts definition, which generally refer directly to software structure and/or behavior, thereby creating a strong coupling between pointcut definition and the base code. This coupling causes the problem known as pointcut fragility problem and hinders the evolution of aspect-oriented systems. This problem occurs when all the pointcuts of each aspect should be reviewed due to any software changes/evolution, to ensure that they remain valid even after the changes made in the software. Our approach is focused on the pointcuts definition based on a conceptual model, which has definitions of the system's structure in a more abstract level. The conceptual model consists of classifications (called conceptual views) on entities of the business model elements based on common characteristics, and relationships between these views. Thus the pointcuts definitions are created based on the conceptual model rather than directly referencing the base model. Moreover, the conceptual model contains a set of relationships that allows it to be automatically verified if the classifications in the conceptual model remain valid even after a software change. To this end, all the development using the conceptual views based pointcuts approach is supported by a conceptual framework called CrossMDA2 and a development process based on MDA, both also proposed in this work. As proof of concept, we present two versions of a case study, setting up a scenario of evolution that shows how the use of conceptual visions based pointcuts helps detecting and minimizing the pointcuts fragility. For the proposal evaluation the Goal/Question/Metric (GQM) technique is used together with metrics for efficiency analysis in the pointcuts definition

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

CrossMDA-SPL: uma abordagem para gerência de variabilidades dirigida por modelos e aspectos

This paper proposes a systematic approach to management of variability modelsdriven and aspects using the mechanisms of approaches Aspect-Oriented Software Development (AOSD) and Model-Driven Development (MDD). The main goal of the approach, named CrossMDA-SPL, is to improve the management(gerência), modularization and isolation ou separation of the variability of the LPSs of architecture in a high level of abstraction (model) at the design and implementing phases of development Software Product Lines (SPLs), exploiting the synergy between AOSD and MDD. The CrossMDA-SPL approach defines some artifacts basis for advance the separation clear in between the mandatory (bounden) and optional features in the architecture of SPL. The artifacts are represented by two models named: (i) core model (base domain) - responsible for specify the common features the all members of the SPL, and (ii) variability model - responsible for represent the variables features of SPL. In addition, the CrossMDA-SPL approach is composed of: (i) guidelines for modeling and representation of variability, (ii) CrossMDA-SPL services and process, and (iii) models of the architecture of SPL or product instance of SPL. The guidelines use the advantages of AOSD and MDD to promote a better modularization of the variable features of the architecture of SPL during the creation of core and variability models of the approach. The services and sub-processes are responsible for combination automatically, through of process of transformation between the core and variability models, and the generation of new models that represent the implementation of the architecture of SPL or a instance model of SPL. Mechanisms for effective modularization of variability for architectures of SPL at model level. The concepts are described and measured with the execution of a case study of an SPL for management systems of transport electronic tickets

Curtumes : aspectos ambientais

Consultoria Legislativa - Área XI - Meio Ambiente e Direito Ambiental, Organização Territorial, Desenvolvimento Urbano e Regional.

FRIDA: um método para elicitação e modelagem de RNFs

Os requisitos direcionam o desenvolvimento de software porque são cruciais para a sua qualidade. Como conseqüência tanto requisitos funcionais quanto não funcionais devem ser identificados o mais cedo possível e sua elicitação deve ser precisa e completa. Os requisitos funcionais exercem um papel importante uma vez que expressam os serviços esperados pela aplicação. Por outro lado, os requisitos não funcionais estão relacionados com as restrições e propriedades aplicadas ao software. Este trabalho descreve como identificar requisitos não funcionais e seu mapeamento para aspectos. O desenvolvimento de software orientado a aspectos é apontado como a solução para os problemas envolvidos na elicitação e modelagem dos requisitos não funcionais. No modelo orientado a aspectos, o aspecto é considerado o elemento de primeira ordem, onde o software pode ser modelado com classes e aspectos. As classes são comumente usadas para modelar e implementar os requisitos funcionais, já os aspectos são adotados para a modelagem e implementação dos requisitos não funcionais. Desse modo, é proposta a modelagem dos requisitos não funcionais através das fases do ciclo de vida do software, desde as primeiras etapas do processo de desenvolvimento. Este trabalho apresenta o método chamado FRIDA – From RequIrements to Design using Aspects, cujo objetivo é determinar uma forma sistemática para elicitar e modelar tanto os requisitos funcionais quanto os não funcionais, desde as fases iniciais do ciclo de desenvolvimento. Em FRIDA, a elicitação dos requisitos não funcionais é realizada usando-se checklists e léxicos, os quais auxiliam o desenvolvedor a descobrir os aspectos globais – utilizados por toda a aplicação – bem como, os aspectos parciais que podem ser empregados somente a algumas partes da aplicação. O próximo passo consiste na identificação dos possíveis conflitos gerados entre aspectos e como resolvê-los. No método FRIDA, a identificação e resolução de conflitos é tão importante quanto a elicitação de requisitos não funcionais, nas primeiras fases do ciclo de vida do software. Além disso, é descrito como usar a matriz de conflitos para automatizar esse processo sempre que possível. A extração dos aspectos e sua modelagem visual são características muito importantes, suportadas pelo método, porque elas possibilitam a criação de modelos que podem ser reutilizados no futuro. Em FRIDA, é demonstrado como transformar os requisitos em elementos da fase de projeto (classes e aspectos) e como traduzir esses elementos em código. Outra característica do método FRIDA é que a conexão entre diagramas, que pertencem a diferentes fases do processo de desenvolvimento do software, permite um alto nível de rastreabilidade. Em resumo, FRIDA requer que o desenvolvedor migre de uma visão puramente funcional para outra que contemple também os requisitos não funcionais.

Mecanismo de desenvolvimento limpo do Protocolo de Kyoto: há perspectivas para o setor sucro-alcooleiro paulista?

É notória a contribuição passada e potencial do setor sucro-alcooleiro para a mitigação do problema global das mudanças climáticas. Mas tendo em vista, por um lado, as regras emergentes para apresentação e aceitação de projetos em países em desenvolvimento, para implementação no âmbito do mecanismo de desenvolvimento limpo do Protocolo de Kyoto e a obtenção do direito a créditos de carbono a serem comercializados no mercado internacional, e, por outro, critérios empresariais para a implantação de projetos de investimento, originou-se a questão central deste estudo, que é identificar se há perspectivas para o setor sucro-alcooleiro paulista implementar projetos em larga escala no âmbito do CDM. Verifica-se que a geração de energia elétrica a partir da cana-de-açúcar e sua utilização em substituição a fontes mais emissoras de gases de efeito estufa faz sentido do ponto-de-vista ambiental e constitui-se um potencial projeto para implementação no CDM. O uso deste mecanismo global como uma fonte de recursos financeiros serve como um incentivo adicional para perseguir tecnologias mais modernas, agregando mais um fator de rentabilidade e atratividade aos projetos. E em cenários específicos de custos de capital, combinados a determinados preços de créditos de carbono, estimados a partir de expectativas e estudos de mercado, verifica-se que a obtenção e venda dos créditos no mercado internacional pode até mesmo modificar o "status" de alguns projetos, de destruidores para criadores de valor. Adotando-se como ferramenta de tomada de decisão o uso combinado de critérios empresariais de análise de investimentos, obtém-se uma visão mais acurada da perspectiva de atratividade e do valor criado por projetos CDM.

Aspectos biológicos de Chrysoperla raimundoi Freitas & Penny (Neuroptera, Chrysopidae)

Os crisopídeos são importantes predadores e são encontrados em diversos agroecossistemas. A temperatura é um dos fatores determinantes para o desenvolvimento dos insetos, sendo que existe um gradiente de variação aceitável para cada espécie. Portanto, objetivou-se com este estudo verificar a influência de diferentes temperaturas sobre o desenvolvimento embrionário e pós-embrionário de C. raimundoi assim como verificar as conseqüências nas diferentes gerações. As fases jovens foram criadas em três ambientes com temperaturas constantes de 19,0, 25,0 e 31,0ºC e em um ambiente externo sem controle dos fatores abióticos. Foram observados a duração do período embrionário, do primeiro, segundo e terceiro ínstares, a duração do período larval, pupal e ovo-adulto, assim como, a sobrevivência em cada estágio, estádio e a porcentagem de emergência. O desenvolvimento embrionário e pós-embrionário diferiu entre as gerações F2 e F4. Quanto à influência de diferentes temperaturas para a geração F2, os indivíduos criados a 31,0ºC demonstraram redução na taxa de desenvolvimento com relação aos outros dois ambientes. Para a geração F4, observou-se que as diferentes temperaturas influenciaram no desenvolvimento, sendo que a 19,0ºC houve prolongamento do mesmo.

A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts