Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Um modelo conceitual baseado em MDD e padrões para evolução de sistemas OA

Aspect-Oriented Software Development (AOSD) is a technique that complements the Object- Oriented Software Development (OOSD) modularizing several concepts that OOSD approaches do not modularize appropriately. However, the current state-of-the art on AOSD suffers with software evolution, mainly because aspect definition can stop to work correctly when base elements evolve. A promising approach to deal with that problem is the definition of model-based pointcuts, where pointcuts are defined based on a conceptual model. That strategy makes pointcut less prone to software evolution than model-base elements. Based on that strategy, this work defines a conceptual model at high abstraction level where we can specify software patterns and architectures that through Model Driven Development techniques they can be instantiated and composed in architecture description language that allows aspect modeling at architecture level. Our MDD approach allows propagate concepts in architecture level to another abstraction levels (design level, for example) through MDA transformation rules. Also, this work shows a plug-in implemented to Eclipse platform called AOADLwithCM. That plug-in was created to support our development process. The AOADLwithCM plug-in was used to describe a case study based on MobileMedia System. MobileMedia case study shows step-by-step how the Conceptual Model approach could minimize Pointcut Fragile Problems, due to software evolution. MobileMedia case study was used as input to analyses evolutions on software according to software metrics proposed by KHATCHADOURIAN, GREENWOOD and RASHID. Also, we analyze how evolution in base model could affect maintenance on aspectual model with and without Conceptual Model approaches

PUPSI :uma proposta de processo unificado para políticas de segurança da informação

The way to deal with information assets means nowadays the main factor not only for the success but also for keeping the companies in the global world. The number of information security incidents has grown for the last years. The establishment of information security policies that search to keep the security requirements of assets in the desired degrees is the major priority for the companies. This dissertation suggests a unified process for elaboration, maintenance and development of information security policies, the Processo Unificado para Políticas de Segurança da Informação - PUPSI. The elaboration of this proposal started with the construction of a structure of knowledge based on documents and official rules, published in the last two decades, about security policies and information security. It's a model based on the examined documents which defines the needed security policies to be established in the organization, its work flow and identifies the sequence of hierarchy among them. It's also made a model of the entities participating in the process. Being the problem treated by the model so complex, which involves all security policies that the company must have. PUPSI has an interative and developing approach. This approach was obtained from the instantiation of the RUP - Rational Unified Process model. RUP is a platform for software development object oriented, of Rational Software (IBM group). Which uses the best practice known by the market. PUPSI got from RUP a structure of process that offers functionality, diffusion capacity and comprehension, performance and agility for the process adjustment, offering yet capacity of adjustment to technological and structural charges of the market and the company

O impacto da utilização de design patterns nas métricas e estimativas de projetos de software: a utilização de padrões tem alguma influência nas estimativas?

VALENTIM, R. A. M. ; SOUZA NETO, Plácido Antônio de. O impacto da utilização de design patterns nas métricas e estimativas de projetos de software: a utilização de padrões tem alguma influência nas estimativas?. Revista da FARN, Natal, v. 4, p. 63-74, 2006

Um ambiente integrado para manipulação de tráfego multicast

In the two last decades of the past century, following the consolidation of the Internet as the world-wide computer network, applications generating more robust data flows started to appear. The increasing use of videoconferencing stimulated the creation of a new form of point-to-multipoint transmission called IP Multicast. All companies working in the area of software and the hardware development for network videoconferencing have adjusted their products as well as developed new solutionsfor the use of multicast. However the configuration of such different solutions is not easy done, moreover when changes in the operational system are also requirede. Besides, the existing free tools have limited functions, and the current comercial solutions are heavily dependent on specific platforms. Along with the maturity of IP Multicast technology and with its inclusion in all the current operational systems, the object-oriented programming languages had developed classes able to handle multicast traflic. So, with the help of Java APIs for network, data bases and hipertext, it became possible to the develop an Integrated Environment able to handle multicast traffic, which is the major objective of this work. This document describes the implementation of the above mentioned environment, which provides many functions to use and manage multicast traffic, functions which existed only in a limited way and just in few tools, normally the comercial ones. This environment is useful to different kinds of users, so that it can be used by common users, who want to join multimedia Internet sessions, as well as more advenced users such engineers and network administrators who may need to monitor and handle multicast traffic

Construção e avaliação térmica de um fogão solar tipo caixa

The present work presents a contribution in the study of modelings of transference of heat for foods submitted to the experimental tests in the considered solar oven, where the best modeling for the beefburger of chicken in study was evaluated, comparing the results, considering this food as a half-infinite(1er object considered model) and,after that, considered the chicken beefburger as a plain plate in transient regimen in two distinct conditions: not considering and another model considering the contribution of the generation term, through the Criterion of Pomerantsev. The Sun, beyond life source, is the origin of all the energy forms that the man comes using during its history and can be the reply for the question of the energy supplying in the future, a time that learns to use to advantage in rational way the light that this star constantly special tax on our planet. Shining more than the 5 billion years, it is calculated that the Sun still in them will privilege for others 6 billion years, or either, it is only in the half of its existence and will launch on the Earth, only in this year, 4000 times more energy that we will consume. Front to this reality, would be irrational not to search, by all means technical possible, to use to advantage this clean, ecological and gratuitous power plant. In this dissertation evaluate the performance of solar cooker of the type box. Laboratory of Solar Energy of the Federal University of the Great River of North - UFRN was constructed by the group (LES) a model of solar stove of the type box and was tested its viability technique, considering modeling foods submitted when baking in the solar oven, the cooker has main characteristic the easiness of manufacture and assembly, the low cost (was used material accessible composition to the low income communities) and simplicity in the mechanism of movement of the archetype for incidence of the direct solar light. They had been proposals modeling for calculations of food the minimum baking time, considering the following models of transference of heat in the transient state: object the halfinfinite, plain plate and the model of the sphere to study the necessary temperature for the it bakes of bread (considering spherical geometry). After evaluate the models of transmission of heat will be foods submitted you the processes of to it bakes of, the times gotten for the modeling with the experimental times of it bakes in the solar oven had been compared, demonstrating the modeling that more good that it portraies the accuracies of the results of the model

Um framework de agentes de recomendação para sistemas Web

The World Wide Web has been consolidated over the last years as a standard platform to provide software systems in the Internet. Nowadays, a great variety of user applications are available on the Web, varying from corporate applications to the banking domain, or from electronic commerce to the governmental domain. Given the quantity of information available and the quantity of users dealing with their services, many Web systems have sought to present recommendations of use as part of their functionalities, in order to let the users to have a better usage of the services available, based on their profile, history navigation and system use. In this context, this dissertation proposes the development of an agent-based framework that offers recommendations for users of Web systems. It involves the conception, design and implementation of an object-oriented framework. The framework agents can be plugged or unplugged in a non-invasive way in existing Web applications using aspect-oriented techniques. The framework is evaluated through its instantiation to three different Web systems

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

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

O impacto da utilização de design patterns nas métricas e estimativas de projetos de software: a utilização de padrões tem alguma influência nas estimativas?

VALENTIM, R. A. M. ; SOUZA NETO, Plácido Antônio de. O impacto da utilização de design patterns nas métricas e estimativas de projetos de software: a utilização de padrões tem alguma influência nas estimativas?. Revista da FARN, Natal, v. 4, p. 63-74, 2006

Finanças públicas na nova ordem constitucional brasileira: uma análise comportamental dos municípios potiguares, nos anos antecedentes e posteriores à lei de responsabilidade fiscal LRF

The object of the present dissertation is to analyze the behavior of the public finances of the districts of the state of Rio Grande do Norte (RN), taking as reference a period fundamentally previous to the implementation of the Fiscal Responsibility Law LRF, comparatively to the first years, immediately after the advent of the mentioned institutional milestone. The central hypothesis of this study proposes that, from the institutions' viewpoint, the LRF sets securely consistent rules, in the orchestration of the behavior of the municipal revenues and expenses. These regulations, on the other hand, might be effective and reach the districts of the RN indiscriminately, apart from stabilizing tendencies and which are sustainable in the long run. In spite of this, the indicators calculated reveal that the districts researched show, during all the period under analysis, a diminished capacity of self-tax collection , and consequently, a high participation of the intergovernmental transfers in the composition of the current revenues. This behavior indicates that the goal of strengthening the municipal public finances, forecast in the LRF, tends to be only partially accomplished, due to the fiscal decentralism. The analysis and interpretation of the data are conducted from the literature of institutionalist orientation and in descriptive statistical tools applied to the municipal strata of the state of Rio Grande do Norte. Further on, it's used the econometrical method Pooled OLS, which demands the elimination of the municipal strata in order to allow the use of the model, in the attempt to strengthen and/or ratify the results of the research. Finally, the evidence reached in the dissertation show that the LRF brings better conditions to the potiguar municipal public finances, predominantly to the economically stronger districts; whereas the less dynamic municipal entities show rather divergent evidence, that is, their economies seem to be more oriented to a more pronounced state participation; therefore, it generates in the state of RN a certain antithesis in the results reached in the dissertation

A transversalidade no currículo do ensino fundamental: as questões ambientais em foco

This thesis is the result of an investigation about the transversality of the environmental issues into the daily curriculum of High Schools (from first to eighth grade). The research field was the county of Santo Antonio de Jesus in the state of Bahia, Brazil. The investigation is related with the challenge that the present model of social development and organization has put to the school institution: to bring the regular discussion about Environmental Education (EE) to the school s daily life. Facing the complexity of the socio-environmental issues and the basic functions of Education, the object of study was restricted to the identification of the challenges and paradoxes of the EE inside the curriculum organization of Politic-Pedagogic Project of the schools and the teachers daily practices. About the methodology, we adopted different references for the qualitative research: sociology, history, economy, and education. As for the investigative procedures about the teacher s practices, we related the school s daily practices to the context of the community. We also adopted several investigative procedures, such as questionnaires, interviews, observations and formative intervention. The theoretical basis was organized based on references to curriculum organization, environmental culture, teacher education and also considering the pillars of a capitalistic system that is based on consumerism and that generates social exclusion. At the initial considerations, we contextualized the contemporary environmental issues in an attempt to interpret the conditions of the EE transversality into the school s daily practices, which are still oriented to the traditional Cartesian Education. Based on the collected data, we found the reasons for the teachers dilemma and reluctances to the insertion of the environmental issues into the organization of the work plan and into the management of a school. Nevertheless, the results also signed promising possibilities to the EE tranversality, in case the curriculum of the school could be more sensible towards the cultural and social-economical issues of a community. We especially questioned The National Curriculum Parameter s (PCN), which is considered highly insufficient to inform the teachers about the environmental issues, facing the actual local conditions of social and pedagogic work. The final considerations showed the role and the importance of this research as one strategy to organize the curriculum education into the perspective of the transversality of environmental issues inside the education of both teacher and student

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