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.

Raskaan liikenteen uudet enimmäismitat : Toimenpideselvitys Uudenmaan ELY-keskuksen alueella

Lokakuussa 2013 voimaan astuneella asetuksella ja sen sallimilla suuremmilla ajoneuvomassoilla ja -mitoilla on pyritty parantamaan Suomen logistista kilpailukykyä. Uudenmaan ELY-keskus halusi selvittää toiminta-alueellaan eli Uudellamaalla, Kanta- ja Päijät-Hämeessä suurempien ajoneuvojen käyttöönottoa, sijoittumista liikenneverkolla, vaikutuksia kuljetustoimintaan sekä edelleen muutok-sista aiheutuvia liikenteellisiä pullonkauloja ja kehittämistarpeita. Toteutetussa selvityksessä pyrittiin tunnistamaan lisäksi tärkeimmät lähivuosien kehittämistoimenpiteet. Selvitystyö toteutettiin lokakuun 2013 ja huhtikuun 2014 välisenä aikana. Keskeisiä työmenetelmiä työssä ovat olleet aineisto- ja paikkatietoanalyysit sekä kuljetustoimintaa harjoittavien yritysten ja muiden sidosryhmien kuuleminen. Yrityksiltä ja näitä edustavilta etujärjestöiltä on selvitetty arvioita massa- ja mittamuutoksen vaikutuksista kuljetustoimintaan, kuljetus-reittien muutoksista sekä tietoa mahdollisista tunnistamatta jääneistä liikenteellisistä pullonkauloista. Eri toimialat ovat ottaneet uusien mittojen ja massojen mukaisia ajoneuvoja käyttöön eri tahdissa. Selvityksen perusteella etenkin metsäteollisuus, maanrakentaminen ja muut raskaita tavaraeriä liikuttavat toimialat ovat ottamassa laajasti käyttöön kuljetuskalustoa uusilla massoilla ja mitoilla. Näiden alojen oletettiin jo ennakolta hyötyvän asetusmuutoksesta. Suurempien ajoneuvojen käyttöönotto tulee vähentämään jonkin verran ajoneuvosuoritteen määrää. Asetuksen todelliset vaikutukset kuljetuksiin ja liikenteeseen todentuvat tulevina vuosina, kun uutta kuljetuskalustoa otetaan laajemmin käyttöön. Yritystenkin suunnitelmat kuljetusten muutoksista, kaluston käyttöönoton aikataulusta ja reiteistä ovat vielä monelta osin puutteellisia tai epävarmoja. Merkittävimmän esteen uusien massojen ja mittojen käyttöönotolle muodostavat painorajoitteiset ja alikulkukorkeudeltaan rajoittavat sillat. Siltojen kehittämistarpeet priorisoitiin työssä. Uudenmaan ELY-keskuksen toiminta-alueella kuljetuksia rajoittavat siltakohteet sijoittuvat pääsääntöisesti vähäliikenteiselle tieverkolle. Tällä hetkellä Uudenmaan ELY-keskuksen alueella on 53 painorajoitettua siltaa ja 22 alikulkurajoitetta. Päätieverkon osalta ongelmakohteet saadaan jo lähiaikoina korjattua. Lisäksi verkon tiheydestä johtuen kuljetuksille löytyy yleensä jokin suhteellisen lyhyt ja kustannustehokas vaihtoehtoinen reitti. Uudenmaan ELY-keskuksen alueella tilanne on kohtalainen. Keskeisiä toimenpiteitä ovat rajoittavien siltojen parantaminen kehittämisinvestoinneilla, talvikunnossapidon kehittäminen, tiedostuskanavan kehittäminen sekä tieverkon ja siltojen kunnon tehostettu seuranta uusia teknologioita hyödyntäen.

Floristic composition and phytogeography of the tree component of Araucaria Forest fragments in southern Brazil

The present study examined the floristic composition of three fragments of Araucaria Forest (AF) in the Planalto Catarinense region of southern Brazil as well as the floristic contextualization of these areas in relation to other remnant AF sites. Three AF fragments at different altitudes were analyzed in the municipalities of Campos Novos, Lages, and Painel. Fifty 200 m² plots were examined in each fragment and all of the trees with CBH (circumference at breast height) > 15.7 cm were identified. In order to floristically contextualize the study fragments, comparisons were made with other remnant AF sites by way of dendrograms and NMDS (Non-metric multidimensional scaling). Environmental and spatial variables were plotted on the diagram produced by the NMDS to evaluate their influence on the floristic patterns encountered. The forest fragments studied demonstrated high floristic heterogeneity, indicating that AFs cannot be considered homogeneous formations and they could be classified into 3 phytogeographical categories: i) high altitude areas influenced by cloud cover/fog, including the Painel region; ii) areas of lesser altitude and greater mean annual temperatures situated in the Paraná River basin, and iii) areas situated in the Paraná and Upper-Uruguay river basins and the smaller basins draining directly into the southern Atlantic, near Campos Novos and Lages. The environmental variables most highly correlated with species substitutions among the sites were altitude, mean annual temperature, and the mean temperature of the most humid trimester.

Multifactorial control of water and saline intake: role of a2-adrenoceptors

Water and saline intake is controlled by several mechanisms activated during dehydration. Some mechanisms, such as the production of angiotensin II and unloading of cardiovascular receptors, activate both behaviors, while others, such as the increase in blood osmolality or sodium concentration, activate water, but inhibit saline intake. Aldosterone probably activates only saline intake. Clonidine, an a2-adrenergic agonist, inhibits water and saline intake induced by these mechanisms. One model to describe the interactions between these multiple mechanisms is a wire-block diagram, where the brain circuit that controls each intake is represented by a summing point of its respective inhibiting and activating factors. The a2-adrenoceptors constitute an inhibitory factor common to both summing points

DNA-lipid systems: A physical chemistry study

It is well known that the interaction of polyelectrolytes with oppositely charged surfactants leads to an associative phase separation; however, the phase behavior of DNA and oppositely charged surfactants is more strongly associative than observed in other systems. A precipitate is formed with very low amounts of surfactant and DNA. DNA compaction is a general phenomenon in the presence of multivalent ions and positively charged surfaces; because of the high charge density there are strong attractive ion correlation effects. Techniques like phase diagram determinations, fluorescence microscopy, and ellipsometry were used to study these systems. The interaction between DNA and catanionic mixtures (i.e., mixtures of cationic and anionic surfactants) was also investigated. We observed that DNA compacts and adsorbs onto the surface of positively charged vesicles, and that the addition of an anionic surfactant can release DNA back into solution from a compact globular complex between DNA and the cationic surfactant. Finally, DNA interactions with polycations, chitosans with different chain lengths, were studied by fluorescence microscopy, in vivo transfection assays and cryogenic transmission electron microscopy. The general conclusion is that a chitosan effective in promoting compaction is also efficient in transfection.

Highlights of the 3rd International Conference on High Pressure Bioscience and Biotechnology

The 3rd International Conference on High Pressure Bioscience and Biotechnology was held in the city of Rio de Janeiro from September 27 to September 30, 2004. The meeting, promoted by the International Association of High Pressure Bioscience and Biotechnology (IAHPBB), congregated top scientists and researchers from all over the world. In common, they shared the use of hydrostatic pressure for research, technical development, or industrial applications. The meeting consisted of invited lectures, contributed papers and a well-attended poster session. Very exciting discussions were held inside and outside the sessions, and the goals of discussing state-of-the-art data and establishing working collaborations and co-operations were fully attained.

Protein dynamics: hydration and cavities

The temperature-pressure behavior of proteins seems to be unique among the biological macromolecules. Thermodynamic as well as kinetic data show the typical elliptical stability diagram. This may be extended by assuming that the unfolded state gives rise to volume and enthalpy-driven liquid-liquid transitions. A molecular interpretation follows from the temperature and the pressure dependence of the hydration and cavities. We suggest that positron annihilation spectroscopy can provide additional quantitative evidence for the contributions of cavities to the dynamics of proteins. Only mature amyloid fibrils that form from unfolded proteins are very resistant to pressure treatment.

The powerful high pressure tool for protein conformational studies

The pressure behavior of proteins may be summarized as a the pressure-induced disordering of their structures. This thermodynamic parameter has effects on proteins that are similar but not identical to those induced by temperature, the other thermodynamic parameter. Of particular importance are the intermolecular interactions that follow partial protein unfolding and that give rise to the formation of fibrils. Because some proteins do not form fibrils under pressure, these observations can be related to the shape of the stability diagram. Weak interactions which are differently affected by hydrostatic pressure or temperature play a determinant role in protein stability. Pressure acts on the 2º, 3º and 4º structures of proteins which are maintained by electrostatic and hydrophobic interactions and by hydrogen bonds. We present some typical examples of how pressure affects the tertiary structure of proteins (the case of prion proteins), induces unfolding (ataxin), is a convenient tool to study enzyme dissociation (enolase), and provides arguments to understand the role of the partial volume of an enzyme (butyrylcholinesterase). This approach may have important implications for the understanding of the basic mechanism of protein diseases and for the development of preventive and therapeutic measures.

Study of the advancement of innovations in communications industry. Case study: Russian Post Company

This study attempted to provide a project based on the already tested and successful results of foreign business which can help to contain the final price of innovation on desired levels. The research will attempt to dig out most of available information related to aforementioned definitions and thus completing theoretical background. Next author will explain used methodology and the process of evidence collection. After that the study will show the analysis of collected data in order to obtain results which are going to be compared with stated objectives in the final part. The conclusion of the research and proposed possibilities for additional work will be given in the last part. For this study author has chosen the qualitative model because it performs very well for analysis of small scale of data. The case study method was used because it gave author an opportunity to make an in-depth analysis of the collected information about particular organization so it became possible to analyze system's details in comparison. The results have been early considered valid and applicable to other studies. As the result thesis has proposed undertakings which reflect researches aimed on solving problems with provision of services and development of communications. In addition thesis has proposed formulation of database of postal service for Russian Post when (by request) customer possess an account where he or she can access postal services via PC or info table in postal office and order delivery of postal products which will be given private identification code. Project's payoff period has been calculated as well.

Geochemistry and water quality of Lake Qarun, Egypt

Water geochemistry is a very important tool for studying the water quality in a given area. Geology and climate are the major natural factors controlling the chemistry of most natural waters. Anthropogenic impacts are the secondary sources of contamination in natural waters. This study presents the first integrative approach to the geochemistry and water quality of surface waters and Lake Qarun in the Fayoum catchment, Egypt. Moreover, geochemical modeling of Lake Qarun was firstly presented. The Nile River is the main source of water to the Fayoum watershed. To investigate the quality and geochemistry of this water, water samples from irrigation canals, drains and Lake Qarun were collected during the period 2010‒2013 from the whole Fayoum drainage basin to address the major processes and factors governing the evolution of water chemistry in the investigation area. About 34 physicochemical quality parameters, including major ions, oxygen isotopes, trace elements, nutrients and microbiological parameters were investigated in the water samples. Multivariable statistical analysis was used to interpret the interrelationship between the different studied parameters. Geochemical modeling of Lake Qarun was carried out using Hardie and Eugster’s evolutionary model and a model simulated by PHREEQC software. The crystallization sequence during evaporation of Lake Qarun brine was also studied using a Jänecke phase diagram involving the system Na‒K‒Mg‒ Cl‒SO4‒H2O. The results show that the chemistry of surface water in the Fayoum catchment evolves from Ca- Mg-HCO3 at the head waters to Ca‒Mg‒Cl‒SO4 and eventually to Na‒Cl downstream and at Lake Qarun. The main processes behind the high levels of Na, SO4 and Cl in downstream waters and in Lake Qarun are dissolution of evaporites from Fayoum soils followed by evapoconcentration. This was confirmed by binary plots between the different ions, Piper plot, Gibb’s plot and δ18O results. The modeled data proved that Lake Qarun brine evolves from drainage waters via an evaporation‒crystallization process. Through the precipitation of calcite and gypsum, the solution should reach the final composition "Na–Mg–SO4–Cl". As simulated by PHREEQC, further evaporation of lake brine can drive halite to precipitate in the final stages of evaporation. Significantly, the crystallization sequence during evaporation of the lake brine at the concentration ponds of the Egyptian Salts and Minerals Company (EMISAL) reflected the findings from both Hardie and Eugster’s evolutionary model and the PHREEQC simulated model. After crystallization of halite at the EMISAL ponds, the crystallization sequence during evaporation of the residual brine (bittern) was investigated using a Jänecke phase diagram at 35 °C. This diagram was more useful than PHREEQC for predicting the evaporation path especially in the case of this highly concentrated brine (bittern). The predicted crystallization path using a Jänecke phase diagram at 35 °C showed that halite, hexahydrite, kainite and kieserite should appear during bittern evaporation. Yet the actual crystallized mineral salts were only halite and hexahydrite. The absence of kainite was due to its metastability while the absence of kieserite was due to opposed relative humidity. The presence of a specific MgSO4.nH2O phase in ancient evaporite deposits can be used as a paleoclimatic indicator. Evaluation of surface water quality for agricultural purposes shows that some irrigation waters and all drainage waters have high salinities and therefore cannot be used for irrigation. Waters from irrigation canals used as a drinking water supply show higher concentrations of Al and suffer from high levels of total coliform (TC), fecal coliform (FC) and fecal streptococcus (FS). These waters cannot be used for drinking or agricultural purposes without treatment, because of their high health risk. Therefore it is crucial that environmental protection agencies and the media increase public awareness of this issue, especially in rural areas.

SEPARATION OF SATURED AND UNSATURATED FATTY ACIDS FROM PALM FATTY ACIDS DISTILLATES IN CONTINUOUS MULTISTAGE COUNTERCURRENT COLUMNS WITH SUPERCRITICAL CARBON DIOXIDE AS SOLVENT: A PROCESS DESIGN METHODOLOGY

In this work the separation of multicomponent mixtures in counter-current columns with supercritical carbon dioxide has been investigated using a process design methodology. First the separation task must be defined, then phase equilibria experiments are carried out, and the data obtained are correlated with thermodynamic models or empirical functions. Mutual solubilities, Ki-values, and separation factors aij are determined. Based on this data possible operating conditions for further extraction experiments can be determined. Separation analysis using graphical methods are performed to optimize the process parameters. Hydrodynamic experiments are carried out to determine the flow capacity diagram. Extraction experiments in laboratory scale are planned and carried out in order to determine HETP values, to validate the simulation results, and to provide new materials for additional phase equilibria experiments, needed to determine the dependence of separation factors on concetration. Numerical simulation of the separation process and auxiliary systems is carried out to optimize the number of stages, solvent-to-feed ratio, product purity, yield, and energy consumption. Scale-up and cost analysis close the process design. The separation of palmitic acid and (oleic+linoleic) acids from PFAD-Palm Fatty Acids Distillates was used as a case study.

Lectio praecursoria : Työntekijät julkisten sairaaloiden rakennemuutostarpeiden synnyttäjinä ja rakennemuutosten seurausten kokijoina

TtT Lauri Kokkisen sosiaali- ja terveyspolitiikan alaan kuuluva väitöskirja "Työntekijät julkisten sairaaloiden rakennemuutostarpeiden synnyttäjinä ja rakennemuutosten seurausten kokijoina" tarkastettiin 11.1.2013 Tampereen yliopistossa.

Lectio praecursoria : karisma on moni-ilmeinen ilmiö ja hankala käsite määritellä

TTT, FT, YTT Tuomo Takalan sosiologian alaan kuuluva väitöskirja "Tutkimuksia karismasta eri konteksteissaan" tarkastettiin 1.6.2013 Lapinn yliopistossa.

Simulation and material calibration of ultra high strength steel (UHSS) S960 welded joint under static tensile test utilizing finite element method (FEM)

The aim of this work was to calibrate the material properties including strength and strain values for different material zones of ultra-high strength steel (UHSS) welded joints under monotonic static loading. The UHSS is heat sensitive and softens by heat due to welding, the affected zone is heat affected zone (HAZ). In this regard, cylindrical specimens were cut out from welded joints of Strenx® 960 MC and Strenx® Tube 960 MH, were examined by tensile test. The hardness values of specimens’ cross section were measured. Using correlations between hardness and strength, initial material properties were obtained. The same size specimen with different zones of material same as real specimen were created and defined in finite element method (FEM) software with commercial brand Abaqus 6.14-1. The loading and boundary conditions were defined considering tensile test values. Using initial material properties made of hardness-strength correlations (true stress-strain values) as Abaqus main input, FEM is utilized to simulate the tensile test process. By comparing FEM Abaqus results with measured results of tensile test, initial material properties will be revised and reused as software input to be fully calibrated in such a way that FEM results and tensile test results deviate minimum. Two type of different S960 were used including 960 MC plates, and structural hollow section 960 MH X-joint. The joint is welded by BöhlerTM X96 filler material. In welded joints, typically the following zones appear: Weld (WEL), Heat affected zone (HAZ) coarse grained (HCG) and fine grained (HFG), annealed zone, and base material (BaM). Results showed that: The HAZ zone is softened due to heat input while welding. For all the specimens, the softened zone’s strength is decreased and makes it a weakest zone where fracture happens while loading. Stress concentration of a notched specimen can represent the properties of notched zone. The load-displacement diagram from FEM modeling matches with the experiments by the calibrated material properties by compromising two correlations of hardness and strength.

National exchange rate policies and international debt crises: how Brazil did not follow Argentina into a default in 2001-2002

This paper examines how exchange rate policies and IMF Stand-By Arrangements affect debt crises using econometrics and a comparison between Argentina and Brazil. It refines an existing diagram outlining crisis development to propose crisis prevention strategies. Flexible exchange rate policies reduce a country's probability of default by over 4%, but Stand-By Arrangements increase it by an inconsequential percentage. Unlike Argentina, Brazil avoided a default via a freely-floating exchange rate system, fiscal deficit reduction, and a cooperative and coordinated relationship with the IMF. The results provide policymakers from developing countries with lessons to manage their countries' default risks more effectively.