MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Peroxisome proliferator-activated receptor alpha in the human breast cancer cell lines MCF-7 and MDA-MB-231

Peroxisome proliferator-activated receptor (PPAR) alpha is a ligand-activated transcription factor that has been linked with rodent hepatocarcinogenesis. It has been suggested that PPARalpha mRNA expression levels are an important determinant of rodent hepatic tumorigenicity. Previous work in rat mammary gland epithelial cells showed significantly increased PPARalpha mRNA expression in carcinomas, suggesting the possible role of this isoform in rodent mammary gland carcinogenesis. In this study we sought to determine whether PPARalpha is expressed and dynamically regulated in human breast cancer MCF-7 and MDA-MB-231 cells. Having established the presence of PPARalpha in both cell types, we then examined the consequence of PPARa activation, by its ligands Wy-14,643 and clofibrate, on proliferation. With real-time reverse transcriptase-polymerase chain reaction, we showed that PPARalpha mRNA was dynamically regulated in MDA-MB-231 cells and that PPARalpha activation significantly increased proliferation of the cell line. In contrast, PPARalpha expression in MCF-7 cells did not change with proliferation during culture and was present at significantly lower levels than in MDA-MB-231 cells. However, PPARalpha ligand activation still significantly increased the proliferation of MCF-7 cells. The promotion of proliferation in breast cancer cell lines following PPARalpha activation was in stark contrast to the effects of PPARgamma-activating ligands that decrease proliferation in human breast cancer cells. our results established the presence of PPARalpha in human breast cancer cell lines and showed for the first time that activation of PPARalpha in human breast cancer cells promoted proliferation. Hence, this pathway may be significant in mammary gland tumorigenesis. (C) 2002 Wiley-Liss, Inc.

Criação e atualização de aplicações para área de retalho por MDA

Nos últimos anos tem-se verificado a constante evolução dos mercados em plataformas na Internet como forma de melhoria não só dos serviços prestados, mas também para o aumento de vendas de produtos e respetiva internacionalização dos mesmos. Este aumento da procura por este tipo de softwares, assim como a constante evolução e atualização dos mesmos tem contribuído para que estas aplicações evoluam em termos de funcionalidades e complexidade. Isto contribui cada vez para a dificuldade de formar equipas capazes de manter e desenvolver estes sistemas sem que comprometa em grandes custos para as organizações. Neste sentido surgiram diversas ferramentas que permitem criar soluções pré desenvolvidas de aplicações na Internet denominadas de "E-commerce applications". Estas plataformas, apesar do utilizador não ter obrigatoriamente que deter conhecimentos de programação para proceder à sua instalação, são bastante restritas tanto aos serviços que podem ser usados, e na sua escalabilidade, visto que normalmente correm em servidores específicos e por vezes as configurações necessárias para instalação tornam-se bastante complexas de ser efetuadas. Pretende-se no âmbito desta dissertação de mestrado propor um modelo de uma arquitetura de um sistema baseado em mecanismos MDA para a área de retalho, particularmente em ambientes de e-commerce. Serão inicialmente sistematizados os principais tipos de ecommerce numa perspetiva de evolução histórica. Será igualmente enquadrado o MDA no desenvolvimento de um sistema de e-commerce. Neste sentido, serão equacionadas as diferenças entre o modelo típico de desenvolvimento de software e o desenvolvimento de software orientado pelas metodologias do MDA. No processo de especificação e desenvolvimento do modelo proposto será realizada uma análise de requisitos, assim como, a proposta do modelo da arquitetura de um sistema baseado em mecanismos MDA, tendo como orientação os requisitos e arquitetura definida na fase de análise. Finalmente no sentido de analisar o resultado esperado para um sistema orientado por metodologias definidas por MDA, serão realizado alguns testes no sistema desenvolvido de forma a analisar o seu desempenho e validar a sua adequabilidade no âmbito do processo de desenvolvimento de sistemas e-commerce

A new MDA-SOA based framework for intercloud interoperability

Cloud computing has been one of the most important topics in Information Technology which aims to assure scalable and reliable on-demand services over the Internet. The expansion of the application scope of cloud services would require cooperation between clouds from different providers that have heterogeneous functionalities. This collaboration between different cloud vendors can provide better Quality of Services (QoS) at the lower price. However, current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability to enable collaboration between cloud service providers. Hence, the PhD work is motivated to address interoperability issue between cloud providers as a challenging research objective. This thesis proposes a new framework which supports inter-cloud interoperability in a heterogeneous computing resource cloud environment with the goal of dispatching the workload to the most effective clouds available at runtime. Analysing different methodologies that have been applied to resolve various problem scenarios related to interoperability lead us to exploit Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) methods as appropriate approaches for our inter-cloud framework. Moreover, since distributing the operations in a cloud-based environment is a nondeterministic polynomial time (NP-complete) problem, a Genetic Algorithm (GA) based job scheduler proposed as a part of interoperability framework, offering workload migration with the best performance at the least cost. A new Agent Based Simulation (ABS) approach is proposed to model the inter-cloud environment with three types of agents: Cloud Subscriber agent, Cloud Provider agent, and Job agent. The ABS model is proposed to evaluate the proposed framework.

Development of Performance Properties of Ternary Mixtures and Concrete Pavement Mixture Design and Analysis (MDA): Effect of Paste Quality on Fresh and Hardened Properties of Ternary Mixtures, TPF-5(117), 2012

The purpose of this study was to investigate the effect of cement paste quality on the concrete performance, particularly fresh properties, by changing the water-to-cementitious materials ratio (w/cm), type and dosage of supplementary cementitious materials (SCM), and airvoid system in binary and ternary mixtures. In this experimental program, a total matrix of 54 mixtures with w/cm of 0.40 and 0.45; target air content of 2%, 4%, and 8%; a fixed cementitious content of 600 pounds per cubic yard (pcy), and the incorporation of three types of SCMs at different dosages was prepared. The fine aggregate-to- total aggregate ratio was fixed at 0.42. Workability, rheology, air-void system, setting time, strength, Wenner Probe surface resistivity, and shrinkage were determined. The effects of paste variables on workability are more marked at the higher w/cm. The compressive strength is strongly influenced by the paste quality, dominated by w/cm and air content. Surface resistivity is improved by inclusion of Class F fly ash and slag cement, especially at later ages. Ternary mixtures performed in accordance with their ingredients. The data collected will be used to develop models that will be part of an innovative mix proportioning procedure.

Concrete Pavement Mixture Design and Analysis (MDA) Guide Specification for Highway Concrete Pavements: Commentary, TPF-5(205), 2012

This guide specification and commentary for concrete pavements presents current state-of-the art thinking with respect to materials and mixture selection, proportioning, and acceptance. This document takes into account the different environments, practices, and materials in use across the United States and allows optional inputs for local application. The following concrete pavement types are considered: jointed plain concrete pavement, the most commonly used pavement type and may be doweled or non-doweled at transverse joints; and continuously reinforced concrete pavement, typically constructed without any transverse joints, typically used for locations with high truck traffic loads and/or poor support conditions.

Concrete Pavement Mixture Design and Analysis (MDA) Guide Specification for Highway Concrete Pavements, TPF-5(205), 2012

A guide specification and commentary have been prepared that lay out current state-of-the art thinking with respect to materials and mixture selection, proportioning, and acceptance. These documents take into account the different environments, practices, and materials in use across the US and allow optional inputs for local application.

Concrete Pavement Mixture Design and Analysis (MDA): Effect of Aggregate Systems on Concrete Properties, TPF-5(205), 2012

For years, specifications have focused on the water to cement ratio (w/cm) and strength of concrete, despite the majority of the volume of a concrete mixture consisting of aggregate. An aggregate distribution of roughly 60% coarse aggregate and 40% fine aggregate, regardless of gradation and availability of aggregates, has been used as the norm for a concrete pavement mixture. Efforts to reduce the costs and improve sustainability of concrete mixtures have pushed owners to pay closer attention to mixtures with a well-graded aggregate particle distribution. In general, workability has many different variables that are independent of gradation, such as paste volume and viscosity, aggregate’s shape, and texture. A better understanding of how the properties of aggregates affect the workability of concrete is needed. The effects of aggregate characteristics on concrete properties, such as ability to be vibrated, strength, and resistivity, were investigated using mixtures in which the paste content and the w/cm were held constant. The results showed the different aggregate proportions, the maximum nominal aggregate sizes, and combinations of different aggregates all had an impact on the performance in the strength, slump, and box test.

Concrete Pavement Mixture Design and Analysis (MDA): Assessment of Air Void System Requirements for Durable Concrete, TPF-5(205), 2012

Concrete will suffer frost damage when saturated and subjected to freezing temperatures. Frost-durable concrete can be produced if a specialized surfactant, also known as an air-entraining admixture (AEA), is added during mixing to stabilize microscopic air voids. Small and well-dispersed air voids are critical to produce frost-resistant concrete. Work completed by Klieger in 1952 found the minimum volume of air required to consistently ensure frost durability in a concrete mixture subjected to rapid freezing and thawing cycles. He suggested that frost durability was provided if 18 percent air was created in the paste. This is the basis of current practice despite the tests being conducted on materials that are no longer available using tests that are different from those in use today. Based on the data presented, it was found that a minimum air content of 3.5 percent in the concrete and 11.0 percent in the paste should yield concrete durable in the ASTM C 666 with modern AEAs and low or no lignosulfonate water reducers (WRs). Limited data suggests that mixtures with a higher dosage of lignosulfonate will need about 1 percent more air in the concrete or 3 percent more air in the paste for the materials and procedures used. A spacing factor of 0.008 in. was still found to be necessary to provide frost durability for the mixtures investigated.

Concrete Pavement Mixture Design and Analysis (MDA): Application of a Portable X-Ray Fluorescence Technique to Assess Concrete Mix Proportions , TPF-5(205), 2012

Any transportation infrastructure system is inherently concerned with durability and performance issues. The proportioning and uniformity control of concrete mixtures are critical factors that directly affect the longevity and performance of the portland cement concrete pavement systems. At present, the only means available to monitor mix proportions of any given batch are to track batch tickets created at the batch plant. However, this does not take into account potential errors in loading materials into storage silos, calibration errors, and addition of water after dispatch. Therefore, there is a need for a rapid, cost-effective, and reliable field test that estimates the proportions of as-delivered concrete mixtures. In addition, performance based specifications will be more easily implemented if there is a way to readily demonstrate whether any given batch is similar to the proportions already accepted based on laboratory performance testing. The goal of the present research project is to investigate the potential use of a portable x-ray fluorescence (XRF) technique to assess the proportions of concrete mixtures as they are delivered. Tests were conducted on the raw materials, paste and mortar samples using a portable XRF device. There is a reasonable correlation between the actual and calculated mix proportions of the paste samples, but data on mortar samples was less reliable.

Innate immune sensing of modified vaccinia virus Ankara (MVA) is mediated by TLR2-TLR6, MDA-5 and the NALP3 inflammasome.

Modified vaccinia virus Ankara (MVA) is an attenuated double-stranded DNA poxvirus currently developed as a vaccine vector against HIV/AIDS. Profiling of the innate immune responses induced by MVA is essential for the design of vaccine vectors and for anticipating potential adverse interactions between naturally acquired and vaccine-induced immune responses. Here we report on innate immune sensing of MVA and cytokine responses in human THP-1 cells, primary human macrophages and mouse bone marrow-derived macrophages (BMDMs). The innate immune responses elicited by MVA in human macrophages were characterized by a robust chemokine production and a fairly weak pro-inflammatory cytokine response. Analyses of the cytokine production profile of macrophages isolated from knockout mice deficient in Toll-like receptors (TLRs) or in the adapter molecules MyD88 and TRIF revealed a critical role for TLR2, TLR6 and MyD88 in the production of IFNbeta-independent chemokines. MVA induced a marked up-regulation of the expression of RIG-I like receptors (RLR) and the IPS-1 adapter (also known as Cardif, MAVS or VISA). Reduced expression of RIG-I, MDA-5 and IPS-1 by shRNAs indicated that sensing of MVA by RLR and production of IFNbeta and IFNbeta-dependent chemokines was controlled by the MDA-5 and IPS-1 pathway in the macrophage. Crosstalk between TLR2-MyD88 and the NALP3 inflammasome was essential for expression and processing of IL-1beta. Transcription of the Il1b gene was markedly impaired in TLR2(-/-) and MyD88(-/-) BMDM, whereas mature and secreted IL-1beta was massively reduced in NALP3(-/-) BMDMs or in human THP-1 macrophages with reduced expression of NALP3, ASC or caspase-1 by shRNAs. Innate immune sensing of MVA and production of chemokines, IFNbeta and IL-1beta by macrophages is mediated by the TLR2-TLR6-MyD88, MDA-5-IPS-1 and NALP3 inflammasome pathways. Delineation of the host response induced by MVA is critical for improving our understanding of poxvirus antiviral escape mechanisms and for designing new MVA vaccine vectors with improved immunogenicity.

Concrete Pavement Mixture Design and Analysis (MDA): Factors Influencing Drying Shrinkage, TPF-5(205), 2014

This literature review focuses on factors influencing drying shrinkage of concrete. Although the factors are normally interrelated, they can be categorized into three groups: paste quantity, paste quality, and other factors.

Concrete Pavement Mixture Design and Analysis (MDA): Development and Evaluation of Vibrating Kelly Ball Test (VKelly Test) for the Workability of Concrete, 2015

Due to the low workability of slipform concrete mixtures, the science of rheology is not strictly applicable for such concrete. However, the concept of rheological behavior may still be considered useful. A novel workability test method (Vibrating Kelly Ball or VKelly test) that would quantitatively assess the responsiveness of a dry concrete mixture to vibration, as is desired of a mixture suitable for slipform paving, was developed and evaluated. The objectives of this test method are for it to be cost-effective, portable, and repeatable while reporting the suitability of a mixture for use in slipform paving. The work to evaluate and refine the test was conducted in three phases: 1. Assess whether the VKelly test can signal variations in laboratory mixtures with a range of materials and proportions 2. Run the VKelly test in the field at a number of construction sites 3. Validate the VKelly test results using the Box Test developed at Oklahoma State University for slipform paving concrete The data collected to date indicate that the VKelly test appears to be suitable for assessing a mixture’s response to vibration (workability) with a low multiple operator variability. A unique parameter, VKelly Index, is introduced and defined that seems to indicate that a mixture is suitable for slipform paving when it falls in the range of 0.8 to 1.2 in./√s.

Concrete Pavement Mixture Design and Analysis (MDA): An Innovative Approach To Proportioning Concrete Mixtures, TPF-5(205), 2015

Mixture proportioning is routinely a matter of using a recipe based on a previously produced concrete, rather than adjusting the proportions based on the needs of the mixture and the locally available materials. As budgets grow tighter and increasing attention is being paid to sustainability metrics, greater attention is beginning to be focused on making mixtures that are more efficient in their usage of materials yet do not compromise engineering performance. Therefore, a performance-based mixture proportioning method is needed to provide the desired concrete properties for a given project specification. The proposed method should be user friendly, easy to apply in practice, and flexible in terms of allowing a wide range of material selection. The objective of this study is to further develop an innovative performance-based mixture proportioning method by analyzing the relationships between the selected mix characteristics and their corresponding effects on tested properties. The proposed method will provide step-by-step instructions to guide the selection of required aggregate and paste systems based on the performance requirements. Although the provided guidance in this report is primarily for concrete pavements, the same approach can be applied to other concrete applications as well.

Concrete Pavement Mixture Design and Analysis (MDA): Evaluation of Foam Drainage Test to Measure Air Void Stability in Concrete

The stability of air bubbles in fresh concrete can have a profound influence of the potential durability of the system, because excessive losses during placement and consolidation can compromise the ability of the mixture to resist freezing and thawing. The stability of air void systems developed by some air entraining admixtures (AEAs) could be affected by the presence of some polycarboxylate-based water reducing admixtures (WRAs). The foam drainage test provides a means of measuring the potential stability of air bubbles in a paste. A barrier to acceptance of the test was that there was little investigation of the correlation with field performance. The work reported here was a limited exercise seeking to observe the stability of a range of currently available AEA/WRA combinations in the foam drainage test; then, to take the best and the worst and observe their stabilities on concrete mixtures in the lab. Based on the data collected, the foam drainage test appears to identify stable combinations of AEA and WRA.