Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Particle model for simulating limestone reactions in novel fluidised bed energy applications

The development of carbon capture and storage (CCS) has raised interest towards novel fluidised bed (FB) energy applications. In these applications, limestone can be utilized for S02 and/or CO2 capture. The conditions in the new applications differ from the traditional atmospheric and pressurised circulating fluidised bed (CFB) combustion conditions in which the limestone is successfully used for SO2 capture. In this work, a detailed physical single particle model with a description of the mass and energy transfer inside the particle for limestone was developed. The novelty of this model was to take into account the simultaneous reactions, changing conditions, and the effect of advection. Especially, the capability to study the cyclic behaviour of limestone on both sides of the calcination-carbonation equilibrium curve is important in the novel conditions. The significances of including advection or assuming diffusion control were studied in calcination. Especially, the effect of advection in calcination reaction in the novel combustion atmosphere was shown. The model was tested against experimental data; sulphur capture was studied in a laboratory reactor in different fluidised bed conditions. Different Conversion levels and sulphation patterns were examined in different atmospheres for one limestone type. The Conversion curves were well predicted with the model, and the mechanisms leading to the Conversion patterns were explained with the model simulations. In this work, it was also evaluated whether the transient environment has an effect on the limestone behaviour compared to the averaged conditions and in which conditions the effect is the largest. The difference between the averaged and transient conditions was notable only in the conditions which were close to the calcination-carbonation equilibrium curve. The results of this study suggest that the development of a simplified particle model requires a proper understanding of physical and chemical processes taking place in the particle during the reactions. The results of the study will be required when analysing complex limestone reaction phenomena or when developing the description of limestone behaviour in comprehensive 3D process models. In order to transfer the experimental observations to furnace conditions, the relevant mechanisms that take place need to be understood before the important ones can be selected for 3D process model. This study revealed the sulphur capture behaviour under transient oxy-fuel conditions, which is important when the oxy-fuel CFB process and process model are developed.

Container logistic innovations in forest-energy sector: Markets, future service concepts and technical improvements

The report presents the results of the commercialization project called the Container logistic services for forest bioenergy. The project promotes new business that is emerging around overall container logistic services in the bioenergy sector. The results assess the European markets of the container logistics for biomass, enablers for new business creation and required service bundles for the concept. We also demonstrate the customer value of the container logistic services for different market segments. The concept analysis is based on concept mapping, quality function deployment process (QFD) and business network analysis. The business network analysis assesses key shareholders and their mutual connections. The performance of the roadside chipping chain is analysed by the logistic cost simulation, RFID system demonstration and freezing tests. The EU has set the renewable energy target to 20 % in 2020 of which Biomass could account for two-thirds. In the Europe, the production of wood fuels was 132.9 million solid-m3 in 2012 and production of wood chips and particles was 69.0 million solidm3. The wood-based chips and particle flows are suitable for container transportation providing market of 180.6 million loose- m3 which mean 4.5 million container loads per year. The intermodal logistics of trucks and trains are promising for the composite containers because the biomass does not freeze onto the inner surfaces in the unloading situations. The overall service concept includes several packages: container rental, container maintenance, terminal services, RFID-tracking service, and simulation and ERP-integration service. The container rental and maintenance would provide transportation entrepreneurs a way to increase the capacity without high investment costs. The RFID-concept would lead to better work planning improving profitability throughout the logistic chain and simulation supports fuel supply optimization.

Predicting variety composite means without diallel crossing

Prediction of variety composite means was shown to be feasible without diallel crossing the parental varieties. Thus, the predicted mean for a quantitative trait of a composite is given by: Yk = a1 sigmaVj + a2sigmaTj + a3 - a4, with coefficients a1 = (n - 2k)/k²(n - 2); a2 = 2n(k - 1)/k²(n - 2); a3 = n(k - 1)/k(n - 1)(n - 2); and a4 = n²(k - 1)/k(n - 1)(n - 2); summation is for j = 1 to k, where k is the size of the composite (number of parental varieties of a particular composite) and n is the total number of parent varieties. Vj is the mean of varieties and Tj is the mean of topcrosses (pool of varieties as tester), and and are the respective average values in the whole set. Yield data from a 7 x 7 variety diallel cross were used for the variety means and for the "simulated" topcross means to illustrate the proposed procedure. The proposed prediction procedure was as effective as the prediction based on Yk = - ( -)/k, where and refer to the mean of hybrids (F1) and parental varieties, respectively, in a variety diallel cross. It was also shown in the analysis of variance that the total sum of squares due to treatments (varieties and topcrosses) can be orthogonally partitioned following the reduced model Yjj’ = mu + ½(v j + v j’) + + h j+ h j’, thus making possible an F test for varieties, average heterosis and variety heterosis. Least square estimates of these effects are also given

Portfolio Selection via Composite Measure Analysis: Evidence from the U.S. Stock Market

The aim of this research is to examine the pricing anomalies existing in the U.S. market during 1986 to 2011. The sample of stocks is divided into decile portfolios based on seven individual valuation ratios (E/P, B/P, S/P, EBIT/EV, EVITDA/EV, D/P, and CE/P) and price momentum to investigate the efficiency of individual valuation ratio and their combinations as portfolio formation criteria. This is the first time in financial literature when CE/P is employed as a constituent of composite value measure. The combinations are based on median scaled composite value measures and TOPSIS method. During the sample period value portfolios significantly outperform both the market portfolio and comparable glamour portfolios. The results show the highest return for the value portfolio that was based on the combination of S/P & CE/P ratios. The outcome of this research will increase the understanding on the suitability of different methodologies for portfolio selection. It will help managers to take advantage of the results of different methodologies in order to gain returns above the market.

Polysiloxane/PVA-glutaraldehyde hybrid composite as solid phase for immunodetections by ELISA

We developed an efficient method to prepare a hybrid inorganic-organic composite based on polyvinyl alcohol (PVA) and polysiloxane using the sol-gel disc technique. Antigen obtained from Yersinia pestis was covalently immobilized onto these discs with glutaraldehyde and used as solid phase in ELISA for antibody detection in serum of rabbits experimentally immunized with plague. Using 1.25 µg antigen per disc, a peroxidase conjugate dilution of 1:4,000 and a serum dilution of 1:200 were adequate for the establishment of the procedure. These values are similar to those used for PVA-glutaraldehyde discs, plasticized filter paper discs and the polyaniline-Dacron composite discs. This procedure is comparable to that which utilizes the adsorption of the antigen to conventional PVC plates, with the amount of antigen being one fourth that employed in conventional PVC plates (5 µg/well). In addition to the performance of the polysiloxane/PVA-glutaraldehyde disc as a matrix for immunodetection, its easy synthesis and low cost are additional advantages for commercial application.

The reliability of the Brazilian version of the Composite International Diagnostic Interview (CIDI 2.1)

The objective of the present study was to determine the reliability of the Brazilian version of the Composite International Diagnostic Interview 2.1 (CIDI 2.1) in clinical psychiatry. The CIDI 2.1 was translated into Portuguese using WHO guidelines and reliability was studied using the inter-rater reliability method. The study sample consisted of 186 subjects from psychiatric hospitals and clinics, primary care centers and community services. The interviewers consisted of a group of 13 lay and three non-lay interviewers submitted to the CIDI training. The average interview time was 2 h and 30 min. General reliability ranged from kappa 0.50 to 1. For lifetime diagnoses the reliability ranged from kappa 0.77 (Bipolar Affective Disorder) to 1 (Substance-Related Disorder, Alcohol-Related Disorder, Eating Disorders). Previous year reliability ranged from kappa 0.66 (Obsessive-Compulsive Disorder) to 1 (Dissociative Disorders, Maniac Disorders, Eating Disorders). The poorest reliability rate was found for Mild Depressive Episode (kappa = 0.50) during the previous year. Training proved to be a fundamental factor for maintaining good reliability. Technical knowledge of the questionnaire compensated for the lack of psychiatric knowledge of the lay personnel. Inter-rater reliability was good to excellent for persons in psychiatric practice.

Magnetization studies of polystyrene/multiwall carbon nanotube composite films

Lappeenranta University of Technology School of Technology Technical Physics Evgenii Zhukov MAGNETIZATION STUDIES OF POLYSTYRENE/MULTIWALL CARBON NANOTUBE COMPOSITE FILMS Master’s thesis 2015 55 pages, 41 pictures, 9 Tables. Examiners: Professor Erkki Lähderanta D.Sc. Ivan Zakharchuk Keywords: polystyrene, multi-walled carbon nanotubes, MWCNT, composite, magnetization, SQUID. In this thesis magnetic properties of polystyrene/multiwall carbon nanotube (MWCNT) composites are investigated with Quantum Design SQUID magnetometer (MPMS XL). The surface of the composite films is studied via BRUKER Multimode 8 Atomic Force Microscope, as well. The polystyrene/MWCNT composites have been prepared by the group of professor Okotrub (Physics Chemistry of Nanomaterials laboratory, Nikolaev Institute of Inorganic Chemistry, Russia). The composite films have been prepared by solution processing and stretching method. The approximate length and inner diameter of the MWCNTs used in fabrication are 260 μm and 10 nm, respectively. The content of MWCNTs is 1 and 2.5 contents percent (wt%) for studied samples. The stretching of the samples is 30% for samples with 1 and 2.5 wt% content, and one sample with 1 wt% loading of MWCNTs is 100% stretched. MWCNTs aligned perpendicular to a silicon substrate are used as a reference sample. The magnetization field dependencies of the samples exhibit hysteresis behavior. The values of saturation magnetization of composite films are much less compared to that of the reference sample. The saturation magnetization coercitivity field value drops with decrease of MWCNT content. At high magnetic fields strong presence of diamagnetism is observed. Measurements in magnetic field parallel and perpendicular to the composite plate display anisotropy with respect to the direction of stretching. Temperature dependences of magnetization for all samples display difference between zero-field cooled and field-cooled curves of magnetization. This divergence confirms the presence of magnetic interactions in the material. The atomic force microscopy study of the composites’ surfaces revealed that they are relatively smooth and the nanotubes are aligned with the axis of stretching to some extent. 

Operant serial feature-positive conditional discrimination with composite features and different topography responses

In a serial feature-positive conditional discrimination procedure the properties of a target stimulus A are defined by the presence or not of a feature stimulus X preceding it. In the present experiment, composite features preceded targets associated with two different topography operant responses (right and left bar pressing); matching and non-matching-to-sample arrangements were also used. Five water-deprived Wistar rats were trained in 6 different trials: X-R®Ar and X-L®Al, in which X and A were same modality visual stimuli and the reinforcement was contingent to pressing either the right (r) or left (l) bar that had the light on during the feature (matching-to-sample); Y-R®Bl and Y-L®Br, in which Y and B were same modality auditory stimuli and the reinforcement was contingent to pressing the bar that had the light off during the feature (non-matching-to-sample); A- and B- alone. After 100 training sessions, the animals were submitted to transfer tests with the targets used plus a new one (auditory click). Average percentages of stimuli with a response were measured. Acquisition occurred completely only for Y-L®Br+; however, complex associations were established along training. Transfer was not complete during the tests since concurrent effects of extinction and response generalization also occurred. Results suggest the use of both simple conditioning and configurational strategies, favoring the most recent theories of conditional discrimination learning. The implications of the use of complex arrangements for discussing these theories are considered.

In vitro studies of multiwalled carbon nanotube/ultrahigh molecular weight polyethylene nanocomposites with osteoblast-like MG63 cells

Carbon nanotubes are highly versatile materials; new applications using them are continuously being developed. Special attention is being dedicated to the possible use of multiwalled carbon nanotubes in biomaterials contacting with bone. However, carbon nanotubes are also controversial in regards to effects exerted on living organisms. Carbon nanotubes can be used to improve the tribological properties of polymer/composite materials. Ultrahigh molecular weight polyethylene (UHMWPE) is a polymer widely used in orthopedic applications that imply wear and particle generation. We describe here the response of human osteoblast-like MG63 cells after 6 days of culture in contact with artificially generated particles from both UHMWPE polymer and multiwalled carbon nanotubes (MWCNT)/UHMWPE nanocomposites. This novel composite has superior wear behavior, having thus the potential to reduce the number of revision hip arthroplasty surgeries required by wear failure of acetabular cups and diminish particle-induced osteolysis. The results of an in vitro study of viability and proliferation and interleukin-6 (IL-6) production suggest good cytocompatibility, similar to that of conventional UHMWPE (WST-1 assay results are reported as percentage of control ± SD: UHMWPE = 96.19 ± 7.92, MWCNT/UHMWPE = 97.92 ± 8.29%; total protein: control = 139.73 ± 10.78, UHMWPE = 137.07 ± 6.17, MWCNT/UHMWPE = 163.29 ± 11.81 µg/mL; IL-6: control = 90.93 ± 10.30, UHMWPE = 92.52 ± 11.02, MWCNT/UHMWPE = 108.99 ± 9.90 pg/mL). Standard cell culture conditions were considered as control. These results, especially the absence of significant elevation in the osteolysis inductor IL-6 values, reinforce the potential of this superior wear-resistant composite for future orthopedic applications, when compared to traditional UHMWPE.

Adenovirus-mediated siRNA targeting TNF-α and overexpression of bone morphogenetic protein-2 promotes early osteoblast differentiation on a cell model of Ti particle-induced inflammatory response in vitro

Wear particles are phagocytosed by macrophages and other inflammatory cells, resulting in cellular activation and release of proinflammatory factors, which cause periprosthetic osteolysis and subsequent aseptic loosening, the most common causes of total joint arthroplasty failure. During this pathological process, tumor necrosis factor-alpha (TNF-α) plays an important role in wear-particle-induced osteolysis. In this study, recombination adenovirus (Ad) vectors carrying both target genes [TNF-α small interfering RNA (TNF-α-siRNA) and bone morphogenetic protein 2 (BMP-2)] were synthesized and transfected into RAW264.7 macrophages and pro-osteoblastic MC3T3-E1 cells, respectively. The target gene BMP-2, expressed on pro-osteoblastic MC3T3-E1 cells and silenced by the TNF-α gene on cells, was treated with titanium (Ti) particles that were assessed by real-time PCR and Western blot. We showed that recombinant adenovirus (Ad-siTNFα-BMP-2) can induce osteoblast differentiation when treated with conditioned medium (CM) containing RAW264.7 macrophages challenged with a combination of Ti particles and Ad-siTNFα-BMP-2 (Ti-ad CM) assessed by alkaline phosphatase activity. The receptor activator of nuclear factor-κB ligand was downregulated in pro-osteoblastic MC3T3-E1 cells treated with Ti-ad CM in comparison with conditioned medium of RAW264.7 macrophages challenged with Ti particles (Ti CM). We suggest that Ad-siTNFα-BMP-2 induced osteoblast differentiation and inhibited osteoclastogenesis on a cell model of a Ti particle-induced inflammatory response, which may provide a novel approach for the treatment of periprosthetic osteolysis.

Development and characterization of thin printed films for gas sensing applications

The monitoring and control of hydrogen sulfide (H2S) level is of great interest for a wide range of application areas including food quality control, defense and antiterrorist applications and air quality monitoring e.g. in mines. H2S is a very poisonous and flammable gas. Exposure to low concentrations of H2S can result in eye irritation, a sore throat and cough, shortness of breath, and fluid retention in the lungs. These symptoms usually disappear in a few weeks. Long-term, low-level exposure may result in fatigue, loss of appetite, headache, irritability, poor memory, and dizziness. Higher concentrations of 700 - 800 ppm tend to be fatal. H2S has a characteristic smell of rotten egg. However, because of temporary paralysis of olfactory nerves, the smelling capability at concentrations higher than 100 ppm is severely compromised. In addition, volatile H2S is one of the main products during the spoilage of poultry meat in anaerobic conditions. Currently, no commercial H2S sensor is available which can operate under anaerobic conditions and can be easily integrated in the food packaging. This thesis presents a step-wise progress in the development of printed H2S gas sensors. Efforts were made in the formulation, characterization and optimization of functional printable inks and coating pastes based on composites of a polymer and a metal salt as well as a composite of a metal salt and an organic acid. Different processing techniques including inkjet printing, flexographic printing, screen printing and spray coating were utilized in the fabrication of H2S sensors. The dispersions were characterized by measuring turbidity, surface tension, viscosity and particle size. The sensing films were characterized using X-ray photoelectron spectroscopy, X-ray diffraction, atomic force microscopy and an electrical multimeter. Thin and thick printed or coated films were developed for gas sensing applications with the aim of monitoring the H2S concentrations in real life applications. Initially, a H2S gas sensor based on a composite of polyaniline and metal salt was developed. Both aqueous and solvent-based dispersions were developed and characterized. These dispersions were then utilized in the fabrication of roll-to-roll printed H2S gas sensors. However, the humidity background, long term instability and comparatively lower detection limit made these sensors less favourable for real practical applications. To overcome these problems, copper acetate based sensors were developed for H2S gas sensing. Stable inks with excellent printability were developed by tuning the surface tension, viscosity and particle size. This enabled the formation of inkjet-printed high quality copper acetate films with excellent sensitivity towards H2S. Furthermore, these sensors showed negligible humidity effects and improved selectivity, response time, lower limit of detection and coefficient of variation. The lower limit of detection of copper acetate based sensors was further improved to sub-ppm level by incorporation of catalytic gold nano-particles and subsequent plasma treatment of the sensing film. These sensors were further integrated in an inexpensive wirelessly readable RLC-circuit (where R is resistor, L is inductor and C is capacitor). The performance of these sensors towards biogenic H2S produced during the spoilage of poultry meat in the modified atmosphere package was also demonstrated in this thesis. This serves as a proof of concept that these sensors can be utilized in real life applications.

Evaluation of the in vitro glycemic index of a fiber-rich extruded breakfast cereal produced with organic passion fruit fiber and corn flour

The aim of this study was to determine the influence of process parameters and Passion Fruit Fiber (PFF) addition on the Glycemic Index (GI) of an extruded breakfast cereal. A 2³ Central Composite Rotational Design (CCRD) was used, with the following independent variables: raw material moisture content (18-28%), 2nd and 3rd barrel zone temperatures (120-160 ºC), and PFF (0-30%). Raw materials (organic corn flour and organic PFF) were characterized as to their proximate composition, particle size, and in vitro GI. The extrudates were characterized as to their in vitro GI. The Response Surface Methodology (RSM) and Principal Component Analysis (PCA) were used to analyze the results. Corn flour and PFF presented 8.55 and 7.63% protein, 2.61 and 0.60% fat, 0.52 and 6.17% ash, 78.77 and 78.86% carbohydrates (3 and 64% total dietary fiber), respectively. The corn flour particle size distribution was homogeneous, while PFF presented a heterogeneous particle size distribution. Corn flour and PFF presented values of GI of 48 and 45, respectively. When using RSM, no effect of the variables was observed in the GI of the extrudates (average value of 48.41), but PCA showed that the GI tended to be lower when processing at lower temperatures (<128 ºC) and at higher temperatures (>158 ºC). When compared to white bread, the extrudates showed a reduction of the GI of up to 50%, and could be considered an interesting alternative in weight and glycemia control diets.

Biochemical characteristics of composite flours: influence of fermentation

The purpose of this study was to introduce yam in the development of two new composite flours containing soy and cassava. Two composite flours were obtained after fermentation of yam, soybean, and cassava in respectively 60, 30, and 10% proportions. Two varieties of yam were used: Dioscorea alata (variety "Bete bete") and Dioscorea cayenensis (variety "Lokpa"). Proximate composition, mineral content, some anti-nutritional factors (oxalates, phenols), microbiological quality, and α-amylase digestibility were determined for the fermented and unfermented composite flours. The results indicated that for the composite flours made of D. alata and D. cayenensis, fermentation increased ash and titrable acidity. Carbohydrates, pH, and energy decreased. Crude fat content was not affected by the fermentation process. Anti-nutritional factors such as oxalates and phenols were found to decrease significantly after the fermentation of the composite flours. Fermentation increased the mineral content (Mg, K, Fe, and Ca) of the composite flours. A decrease in P and Na was observed after fermentation. The microbiological study showed that safety flours contain no potential pathogenic germs. The in vitro α-amylase digestibility of the composite flours was significantly improved after fermentation. The biochemical characteristics and good hygienic quality of the obtained flours suggest that these flours can be considered as a feeding alternative for children in poor areas where yam is produced.

Microencapsulation of babassu coconut milk

The objective of this study was to obtain babassu coconut milk powder microencapsulated by spray drying process using gum Arabic as wall material. Coconut milk was extracted by babassu peeling, grinding (with two parts of water), and vacuum filtration. The milk was pasteurized at 85 ºC for 15 minutes and homogenized to break up the fat globules, rendering the milk a uniform consistency. A central composite rotatable design with a range of independent variables was used: inlet air temperature in the dryer (170-220 ºC) and gum Arabic concentration (10-20%, w/w) on the responses: moisture content (0.52-2.39%), hygroscopicity (6.98-9.86 g adsorbed water/100g solids), water activity (0.14-0.58), lipid oxidation (0.012-0.064 meq peroxide/kg oil), and process yield (20.33-30.19%). All variables influenced significantly the responses evaluated. Microencapsulation was optimized for maximum process yield and minimal lipid oxidation. The coconut milk powder obtained at optimum conditions was characterized in terms of morphology, particle size distribution, bulk and absolute density, porosity, and wettability.