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.

As zonas de processamento de exportação como instrumento de desenvolvimento e redução das desigualdades regionais

The existence of inequalities among the Brazilian regions is an indeed fact along the country s history. Before this reality the constitutional legislator inserted into the Federal Constitution of 1988, as a purpose of the Federative Republic of Brazil, the reduction of regional inequalities. The development has also been included as a purpose from the State, because there is an straight relation with the reduction of regional inequalities. In both situations is searched the improvement of people s living conditions. . In pursuit of this achievement, the State must implement public policy, and, for this to happen, it needs the ingress of income inside of the public coffers and support of economic agents, therefore the importance of constitucionalization of the economic policy. The 1988 s Constitution adopted a rational capitalism regime consentaneous with current legal and social conceptions, that s why it enabled the State s intervention into economy to correct the so-called market failures or to make the established objectives fulfilled. About this last one, the intervention may happen by induction through the adoption of regulatory Standards of incentive or disincentive of economic activity. Among the possible inductive ways there are the tax assessments that aim to stimulate the economic agents behavior in view of finding that the development doesn t occur with the same intensity in all of the country s regions. Inside this context there are the Export Processing Zones (EPZs) which are special areas with different customs regime by the granting of benefits to the companies that are installed there. The EPZs have been used, by several countries, in order to develop certain regions, and economic indicators show that they promoted economic and social changes in the places where they are installed, especially because, by attracting companies, they provide job creation, industrialization and increased exports. In Brazil, they can contribute decisively to overcome major obstacles or decrease the attraction of economic agents and economic development of the country. In the case of an instrument known to be effective to achieve the goals established by the Constitution, it is duty of the Executive to push for the law that governs this customs regime is effectively applied. If the Executive doesn t fulfill this duty, incurs into unjustifiable omission, correction likely by the Judiciary, whose mission is to prevent acts or omissions contrary to constitutional order

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

Evolving Future Internet clean-slate Entity Title Architecture with quality-oriented control-plane extensions

A Internet atual vem sofrendo vários problemas em termos de escalabilidade, desempenho, mobilidade, etc., devido ao vertiginoso incremento no número de usuários e o surgimento de novos serviços com novas demandas, propiciando assim o nascimento da Internet do Futuro. Novas propostas sobre redes orientadas a conteúdo, como a arquitetura Entidade Titulo (ETArch), proveem novos serviços para este tipo de cenários, implementados sobre o paradigma de redes definidas por software. Contudo, o modelo de transporte do ETArch é equivalente ao modelo best-effort da Internet atual, e vem limitando a confiabilidade das suas comunicações. Neste trabalho, ETArch é redesenhado seguindo o paradigma do sobreaprovisionamento de recursos para conseguir uma alocação de recursos avançada integrada com OpenFlow. Como resultado, o framework SMART (Suporte de Sessões Móveis com Alta Demanda de Recursos de Transporte), permite que a rede defina semanticamente os requisitos qualitativos das sessões para assim gerenciar o controle de Qualidade de Serviço visando manter a melhor Qualidade de Experiência possível. A avaliação do planos de dados e de controle teve lugar na plataforma de testes na ilha do projeto OFELIA, mostrando o suporte de aplicações móveis multimídia com alta demanda de recursos de transporte com QoS e QoE garantidos através de um esquema de sinalização restrito em comparação com o ETArch legado