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

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmiss��o de fluxo de dados baseado em restri����es de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

ArchWiSeN: uma estrat��gia baseada em modelos para desenvolvimento de aplica����es para redes de sensores e atuadores sem fio

Wireless Sensor and Actuator Networks (WSAN) are a key component in Ubiquitous Computing Systems and have many applications in different knowledge domains. Programming for such networks is very hard and requires developers to know the available sensor platforms specificities, increasing the learning curve for developing WSAN applications. In this work, an MDA (Model-Driven Architecture) approach for WSAN applications development called ArchWiSeN is proposed. The goal of such approach is to facilitate the development task by providing: (i) A WSAN domain-specific language, (ii) a methodology for WSAN application development; and (iii) an MDA infrastructure composed of several software artifacts (PIM, PSMs and transformations). ArchWiSeN allows the direct contribution of domain experts in the WSAN application development without the need of specialized knowledge on WSAN platforms and, at the same time, allows network experts to manage the application requirements without the need for specific knowledge of the application domain. Furthermore, this approach also aims to enable developers to express and validate functional and non-functional requirements of the application, incorporate services offered by WSAN middleware platforms and promote reuse of the developed software artifacts. In this sense, this Thesis proposes an approach that includes all WSAN development stages for current and emerging scenarios through the proposed MDA infrastructure. An evaluation of the proposal was performed by: (i) a proof of concept encompassing three different scenarios performed with the usage of the MDA infrastructure to describe the WSAN development process using the application engineering process, (ii) a controlled experiment to assess the use of the proposed approach compared to traditional method of WSAN application development, (iii) the analysis of ArchWiSeN support of middleware services to ensure that WSAN applications using such services can achieve their requirements ; and (iv) systematic analysis of ArchWiSeN in terms of desired characteristics for MDA tool when compared with other existing MDA tools for WSAN.

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

A evolu����o das políticas p��blicas e dos modelos assistenciais de sa��de bucal no Brasil do s��culo XX

O desenvolvimento deste trabalho tem como objetivo o estudo das políticas p��blicas e dos modelos assistenciais de sa��de bucal no Brasil a partir do s��culo XX atrav��s de uma revis��o da literatura. Foram pesquisadas bases de dados em l��ngua portuguesa da biblioteca do Google Acad��mico, do Scielo e do Bireme. Al��m de artigos cient��ficos, foram pesquisados documentos oficiais do Sistema ��nico de Sa��de (SUS), da Assembleia Legislativa de Minas Gerais, do Conselho Regional de Odontologia de Minas Gerais (CRO - MG). A pesquisa foi realizada no per��odo de novembro de 1981 a mar��o de 2013. Foi observado o aumento da aten����o dada �� sa��de bucal nos sistemas p��blicos de sa��de e o Programa de Sa��de da Fam��lia destacou-se como modelo assistencial.

Morbidade referida e utiliza����o de serviços de sa��de em localidades urbanas brasileiras: metodologia

A reformula����o do sistema de sa��de, que vem ocorrendo em n��vel nacional e particularmente no Estado de S��o Paulo, tem motivado revis��es do processo de planejamento, criando novas necessidades na ��rea de informa����es. A cria����o do Sistema ��nico de Sa��de e o processo de municipaliza����o retomaram as propostas de integra����o das atividades curativas e preventivas, bem como a estrutura����o de sistemas de sa��de regionalizados e hierarquizados. Nesse contexto, surgem como ��reas de conhecimento, de particular interesse, o perfil de morbidade populacional e o padr��o de utiliza����o de serviços de sa��de. As respostas a essas necessidades podem ser dadas por inqu��ritos domiciliares de sa��de. Descreve-se a metodologia utilizada em um inqu��rito domiciliar realizado em munic��pios da regi��o sudoeste da ��rea Metropolitana de S��o Paulo, SP, Brasil, no per��odo de julho de 1989 a junho de 1990. Esse inqu��rito apresenta algumas caracter��sticas metodol��gicas espec��ficas, entre elas o processo amostral utilizado, que definiu dom��nios para a amostra que permitiram an��lise de grupos pouco representados na popula����o, como os menores de um ano de idade e a popula����o idosa, bem como o ajuste da amostra a partir dos dados censit��rios de 1991.

Desenvolvimento e valida����o de metodologia anal��tica para determina����o de itraconazol em produtos farmac��uticos por CLAE

Itraconazole is a synthetic antifungal drug administered orally with a broad spectrum of activity against mycotic infections. The present work consists of the development and validation of analytical methodology for evaluation of itraconazole in pharmaceutical products by high performance liquid chromatography. The separation was made using the reversed-phase column LC-18, acetonitrile/diethylamine 0.05% v/v, 60:40 v/v, pH 8.0 as mobile phase, methanol as solvent and detection and quantification at 254 nm. The results here obtained show that the analytical methodology is accurate, reproducible, robust and linear over the concentration range 8.0-12.0 ��g/mL of itraconazole. The method was applied to pharmaceutical capsules containg itraconazole pellets and showed to be efficient, yielding good results.

Desenvolvimento e valida����o de metodologia de an��lise de misturas biodiesel: diesel utilizando cromatografia gasosa-espectrometria de massas

The aim of this work was to develop and validate a method of analysis of biodiesel:diesel blends using HRGC-MS in SIM mode. The proposed method is applicable to biodiesel from linoleic oils, such as soybean oil. The following results were obtained: linearity over the methyl linoleate concentration range of 250-2500 mg L-1 (R�� > 0.999); limits of detection and quantification of 2 and 5 mg L-1, respectively; recovery from 82 to 96% of biodiesel in diesel and repeatability < 2% (RSD). Comparison between two operators showed that it is not necessary the same operator to do the analysis.

Desenvolvimento e valida����o de metodologia anal��tica por CLAE-IR para determina����o de artemisinina em Artemisia annua L

The aim of this work was to develop and validate an analytical methodology for determination of artemisinin used as antimalaric. The method was based on high performace liquid chromatography, using a CN column with mobile phase composed of methanol : H2O 50:50 (V/V). The results showed that the method presented linearity from 50 to 1500 ��g/mL. It was considered selective, accurate, precise according to the specific resolution from ANVISA, the Brazilian regulatory agency.

DESENVOLVIMENTO E VALIDA����O DE METODOLOGIA ANAL��TICA POR ESPECTROFOTOMETRIA NO VIS��VEL PARA QUANTIFICA����O DE TANINOS TOTAIS NA CASCA DO CAULE DE Simarouba amara Aubl.

As cascas do caule de Simarouba amara Aubl., Simaroubaceae, s��o amplamente utilizadas pela medicina popular brasileira e de v��rios pa��ses das Am��ricas Central e do Sul para o tratamento de mal��ria, parasitas intestinais, diarreia, anemia e febre. Apesar de os quassinoides serem considerados os marcadores quimiotaxon��micos da esp��cie, a indisponibilidade de padr��es para comercializa����o tem sido um dos grandes obst��culos �� realiza����o de seu controle de qualidade. Diante disso, o prop��sito deste estudo foi o desenvolvimento e valida����o de metodologia anal��tica por espectrofotometria para a quantifica����o do teor de taninos totais das cascas do caule de S. amara, visto que esta classe de metab��litos �� uma das mais abundantes e representativas j�� descritas para a esp��cie. O m��todo proposto baseou-se na quantifica����o a 760 nm, ap��s a adi����o do reagente Folin-Ciocalteu, e sua valida����o incluiu todos os par��metros preconizados pela RE 899. Os resultados indicaram que o m��todo proposto foi adequadamente desenvolvido e validado, constituindo ferramenta anal��tica ��til para o controle de qualidade de S. amara.

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

Uma abordagem dirigida por modelos para ger��ncia de variabilidade e execu����o de processos de software

This dissertation presents a model-driven and integrated approach to variability management, customization and execution of software processes. Our approach is founded on the principles and techniques of software product lines and model-driven engineering. Model-driven engineering provides support to the specification of software processes and their transformation to workflow specifications. Software product lines techniques allows the automatic variability management of process elements and fragments. Additionally, in our approach, workflow technologies enable the process execution in workflow engines. In order to evaluate the approach feasibility, we have implemented it using existing model-driven engineering technologies. The software processes are specified using Eclipse Process Framework (EPF). The automatic variability management of software processes has been implemented as an extension of an existing product derivation tool. Finally, ATL and Acceleo transformation languages are adopted to transform EPF process to jPDL workflow language specifications in order to enable the deployment and execution of software processes in the JBoss BPM workflow engine. The approach is evaluated through the modeling and modularization of the project management discipline of the Open Unified Process (OpenUP)

Dos requisitos �� arquitetura em linhas de produtos de software: uma estrat��gia de transforma����es entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAF�� Quality Model

Desenvolvimento e valida����o de metodologia anal��tica e estudo de estabilidade de tigeciclina em produto farmac��utico

Funda����o de Amparo �� Pesquisa do Estado de S��o Paulo (FAPESP)