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.

Skill Development in Music Reading. The Eye-Movement Approach

This dissertation examined skill development in music reading by focusing on the visual processing of music notation in different music-reading tasks. Each of the three experiments of this dissertation addressed one of the three types of music reading: (i) sight-reading, i.e. reading and performing completely unknown music, (ii) rehearsed reading, during which the performer is already familiar with the music being played, and (iii) silent reading with no performance requirements. The use of the eye-tracking methodology allowed the recording of the readers’ eye movements from the time of music reading with extreme precision. Due to the lack of coherence in the smallish amount of prior studies on eye movements in music reading, the dissertation also had a heavy methodological emphasis. The present dissertation thus aimed to promote two major issues: (1) it investigated the eye-movement indicators of skill and skill development in sight-reading, rehearsed reading and silent reading, and (2) developed and tested suitable methods that can be used by future studies on the topic. Experiment I focused on the eye-movement behaviour of adults during their first steps of learning to read music notation. The longitudinal experiment spanned a nine-month long music-training period, during which 49 participants (university students taking part in a compulsory music course) sight-read and performed a series of simple melodies in three measurement sessions. Participants with no musical background were entitled as “novices”, whereas “amateurs” had had musical training prior to the experiment. The main issue of interest was the changes in the novices’ eye movements and performances across the measurements while the amateurs offered a point of reference for the assessment of the novices’ development. The experiment showed that the novices tended to sight-read in a more stepwise fashion than the amateurs, the latter group manifesting more back-and-forth eye movements. The novices’ skill development was reflected by the faster identification of note symbols involved in larger melodic intervals. Across the measurements, the novices also began to show sensitivity to the melodies’ metrical structure, which the amateurs demonstrated from the very beginning. The stimulus melodies consisted of quarter notes, making the effects of meter and larger melodic intervals distinguishable from effects caused by, say, different rhythmic patterns. Experiment II explored the eye movements of 40 experienced musicians (music education students and music performance students) during temporally controlled rehearsed reading. This cross-sectional experiment focused on the eye-movement effects of one-bar-long melodic alterations placed within a familiar melody. The synchronizing of the performance and eye-movement recordings enabled the investigation of the eye-hand span, i.e., the temporal gap between a performed note and the point of gaze. The eye-hand span was typically found to remain around one second. Music performance students demonstrated increased professing efficiency by their shorter average fixation durations as well as in the two examined eye-hand span measures: these participants used larger eye-hand spans more frequently and inspected more of the musical score during the performance of one metrical beat than students of music education. Although all participants produced performances almost indistinguishable in terms of their auditory characteristics, the altered bars indeed affected the reading of the score: the general effects of expertise in terms of the two eye- hand span measures, demonstrated by the music performance students, disappeared in the face of the melodic alterations. Experiment III was a longitudinal experiment designed to examine the differences between adult novice and amateur musicians’ silent reading of music notation, as well as the changes the 49 participants manifested during a nine-month long music course. From a methodological perspective, an opening to research on eye movements in music reading was the inclusion of a verbal protocol in the research design: after viewing the musical image, the readers were asked to describe what they had seen. A two-way categorization for verbal descriptions was developed in order to assess the quality of extracted musical information. More extensive musical background was related to shorter average fixation duration, more linear scanning of the musical image, and more sophisticated verbal descriptions of the music in question. No apparent effects of skill development were observed for the novice music readers alone, but all participants improved their verbal descriptions towards the last measurement. Apart from the background-related differences between groups of participants, combining verbal and eye-movement data in a cluster analysis identified three styles of silent reading. The finding demonstrated individual differences in how the freely defined silent-reading task was approached. This dissertation is among the first presentations of a series of experiments systematically addressing the visual processing of music notation in various types of music-reading tasks and focusing especially on the eye-movement indicators of developing music-reading skill. Overall, the experiments demonstrate that the music-reading processes are affected not only by “top-down” factors, such as musical background, but also by the “bottom-up” effects of specific features of music notation, such as pitch heights, metrical division, rhythmic patterns and unexpected melodic events. From a methodological perspective, the experiments emphasize the importance of systematic stimulus design, temporal control during performance tasks, and the development of complementary methods, for easing the interpretation of the eye-movement data. To conclude, this dissertation suggests that advances in comprehending the cognitive aspects of music reading, the nature of expertise in this musical task, and the development of educational tools can be attained through the systematic application of the eye-tracking methodology also in this specific domain.

Laser cladding with scanning optics

Scanning optics create different types of phenomena and limitation to cladding process compared to cladding with static optics. This work concentrates on identifying and explaining the special features of laser cladding with scanning optics. Scanner optics changes cladding process energy input mechanics. Laser energy is introduced into the process through a relatively small laser spot which moves rapidly back and forth, distributing the energy to a relatively large area. The moving laser spot was noticed to cause dynamic movement in the melt pool. Due to different energy input mechanism scanner optic can make cladding process unstable if parameter selection is not done carefully. Especially laser beam intensity and scanning frequency have significant role in the process stability. The laser beam scanning frequency determines how long the laser beam affects with specific place local specific energy input. It was determined that if the scanning frequency in too low, under 40 Hz, scanned beam can start to vaporize material. The intensity in turn determines on how large package this energy is brought and if the intensity of the laser beam was too high, over 191 kW/cm2, laser beam started to vaporize material. If there was vapor formation noticed in the melt pool, the process starts to resample more laser alloying due to deep penetration of laser beam in to the substrate. Scanner optics enables more flexibility to the process than static optics. The numerical adjustment of scanning amplitude enables clad bead width adjustment. In turn scanner power modulation (where laser power is adjusted according to where the scanner is pointing) enables modification of clad bead cross-section geometry when laser power can be adjusted locally and thus affect how much laser beam melts material in each sector. Power modulation is also an important factor in terms of process stability. When a linear scanner is used, oscillating the scanning mirror causes a dwell time in scanning amplitude border area, where the scanning mirror changes the direction of movement. This can cause excessive energy input to this area which in turn can cause vaporization and process instability. This process instability can be avoided by decreasing energy in this region by power modulation. Powder feeding parameters have a significant role in terms of process stability. It was determined that with certain powder feeding parameter combinations powder cloud behavior became unstable, due to the vaporizing powder material in powder cloud. Mainly this was noticed, when either or both the scanning frequency or powder feeding gas flow was low or steep powder feeding angle was used. When powder material vaporization occurred, it created vapor flow, which prevented powder material to reach the melt pool and thus dilution increased. Also powder material vaporization was noticed to produce emission of light at wavelength range of visible light. This emission intensity was noticed to be correlated with the amount of vaporization in the powder cloud.

Kallet til livets embete : mødre i helse og lidelse

Mothers represent the natural caring. Natural caring is the object of caring science and of research interest because it establishes the central core of professional caring. In this study, we encounter patients who are mothers in need of care in a psychiatric context. Motherhood involves taking responsibility that extends beyond one's own life, because the child represents possibilities in a yet unknown future. Understanding and knowledge about the mothers' struggle in health and suffering are of crucial importance to enable clinical practice to make provisions for and adapt to the individual patient. The overall purpose of this dissertation is to illuminate how the innermost essence of caring emerges in health and suffering in patients who are mothers in psychiatric care. The purpose of the study in a clinical sense is to seek to understand and illuminate the patient's inner world in health and suffering in terms of contextual, existential, ontological and ethical dimensions. The dissertation is exploratory and descriptive in nature and encompasses induction, deduction and abduction as logics tools of reasoning. A theoretical model of natural caring and a universal theoretical model of the innermost essence of caring is developed as seen from the patient's world in a psychiatric context. The dissertation is anchored in human science's view of the human being and the world and in caring science's perspective. Caring science's view of the human being as a unity comprising body, soul and spirit is central in the study's concept of the patient. This multi-dimensional conception of the human being encompasses the dissertation's basic values and is decisive for choice of methodology. Hermeneutic epistemology guided the interpretation of the empirical data, the paradigmatic theses and assumptions. The dialectical movement in interpretation moves back and forth between empirical data, caring science theory and philosophical theory and reveals deeper insight into meaningful content in the clinical context. The interpretation process comprises four levels of abstraction: rational, contextual, existential and ontological. Hermeneutic philosophy guides the inductive and deductive approach to interpretation, as well as the movement between the clinical context and the caring science paradigm. In this encounter between the visible and invisible reality, the image of natural caring – motherliness emerged. The dissertation consists of four studies. The first study is a systematic review of nineteen research articles. The three other studies are hermeneutical interpretations based on text materials from open interviews. Fifteen participants were interviewed, all of whom are mothers of children between 0 and 18 years of age. All were outpatients in the psychiatric specialist health service. In the interpretation process, the mothers' struggle in health and suffering emerges as a struggle between the inner and outer world. Being a mother and patient in health and suffering in a psychiatric context means to struggle to be oneself, to create oneself, to live and realize one's good deeds as a mother and human being. To be oneself, to possess oneself as a mother is not only a question of tending, playing and learning in order to master a practical situation or to survive. It involves constituting a deep, inner desire to courageously create oneself so that the child is able to realize his or her potential in health and suffering. Motherliness manifests itself in caring as a call to ministering humanity and life. The voice of motherliness is understood as the voice of life—the eternal, inner call of love and freedom. The inner call craves fulfilment. Motherliness in natural caring does not retreat. Motherliness defines the Other as freedom and proceeds without regard for all other exterior requirements to realizing wellbeing. The inner essence of caring is attentive, aware and heeds the call of the heart. The innermost essence of caring is to be and to make oneself responsible for the Other. Responsibility cannot be relinquished; free choice consists in whether or not to follow the call. To renounce the inner call to responsibility is to deny oneself and one's dignity as a human being. The theoretical models provide clinical and systematic caring science with knowledge and understanding based on the natural caring spirit inherent in the human being. The study elucidates and strengthens the ontological basic assumptions about the human being as a unity of body, soul and spirit, the sanctity of the human being and the core of caring, ethos. The results of the dissertation will provide clinical practice with knowledge about the inner movements of the mothers' souls in relation to their responsibility as mothers and human beings. Being able to understand the basic conditions for responsibility is crucial for developing care that encompasses mother and child and the mutual relationship between them. This is basic knowledge for developing attitudes and actions that meet and provide for the needs of the patient as mother and as a whole, suffering human being.

Innovation management of biorefineries in Finnish forest sector

The aim of this report is to give a comprehensive overview of the opportunities integrated biorefining can offer to Finnish forest industry companies and to assess what changes it would require from these companies to implement biorefining into their business. Also the strengths and weaknesses of the Finnish forest industry companies connected to biorefining are examined through innovation management theory frames, industry comparisons, company examples and couple of case-examples. The conclusions of the report include the statement that the Finnish forest industry has a good starting point for biorefinering and many advantages compared to other countries and industries. Unfortunately the history of the industry is holding it back and the thinking patterns would have to be altered to a more innovative and co-operational direction.

Kiteen mekaanisten värähtelyjen vaimentaminen takaisinkytkennällä

Pulseri on laite, joka tuottaa noin 10 MHz:n taajuudella olevan sähköisen pulssin, joka ohjataan kiteeseen. Kide lähettää korkeataajuuksisen ääniaallon ja toimii samalla vastaanottimena kaikuna heijastuneille ääniaalloille. Kide ja membraanikalvo ovat vedessä. Ääniaalto heijastuu takaisin suodatusmembraanikalvosta, jolla on tarkoitus erotella epäpuhtauksia. Membraanikalvo ja kide ovat millimetrin etäisyydellä toisistaan ja ääniaalloilla kestää noin 1,3 mikrosekuntia kulkea kiteestä membraanikalvon pinnalle ja siitä kaikuna takaisin kiteeseen. Saadaksemme luotettavia tuloksia ääniaallon kulkuajasta, kiteen tulee olla värähtelemättömässä tilassa silloin, kun kaikuna palaava pulssi saapuu takaisin. Työssä keskitytään kiteen vaimentamiseen mahdollisimman nopeasti lähetetyn pulssin jälkeen ja siihen liittyviin ongelmiin.

Location intelligence strategisen päätöksenteon tukena

Kilpailuetua tavoittelevan yrityksen pitää kyetä jalostamaan tietoa ja tunnistamaan sen avulla uusia tulevaisuuden mahdollisuuksia. Tulevaisuuden mielikuvien luomiseksi yrityksen on tunnettava toimintaympäristönsä ja olla herkkänä havaitsemaan muutostrendit ja muut toimintaympäristön signaalit. Ympäristön elintärkeät signaalit liittyvät kilpailijoihin, teknologian kehittymiseen, arvomaailman muutoksiin, globaaleihin väestötrendeihin tai jopa ympäristön muutoksiin. Spatiaaliset suhteet ovat peruspilareita käsitteellistää maailmaamme. Pitney (2015) on arvioinut, että 80 % kaikesta bisnesdatasta sisältää jollakin tavoin viittauksia paikkatietoon. Siitä huolimatta paikkatietoa on vielä huonosti hyödynnetty yritysten strategisten päätösten tukena. Teknologioiden kehittyminen, tiedon nopea siirto ja paikannustekniikoiden integroiminen eri laitteisiin ovat mahdollistaneet sen, että paikkatietoa hyödyntäviä palveluja ja ratkaisuja tullaan yhä enemmän näkemään yrityskentässä. Tutkimuksen tavoitteena oli selvittää voiko location intelligence toimia strategisen päätöksenteon tukena ja jos voi, niin miten. Työ toteutettiin konstruktiivista tutkimusmenetelmää käyttäen, jolla pyritään ratkaisemaan jokin relevantti ongelma. Konstruktiivinen tutkimus tehtiin tiiviissä yhteistyössä kolmen pk-yrityksen kanssa ja siihen haastateltiin kuutta eri strategiasta vastaavaa henkilöä. Tutkimuksen tuloksena löydettiin, että location intelligenceä voidaan hyödyntää strategisen päätöksenteon tukena usealla eri tasolla. Yksinkertaisimmassa karttaratkaisussa halutut tiedot tuodaan kartalle ja luodaan visuaalinen esitys, jonka avulla johtopäätöksien tekeminen helpottuu. Toisen tason karttaratkaisu pitää sisällään sekä sijainti- että ominaisuustietoa, jota on yhdistetty eri lähteistä. Tämä toisen tason karttaratkaisu on usein kuvailevaa analytiikkaa, joka mahdollistaa erilaisten ilmiöiden analysoinnin. Kolmannen eli ylimmän tason karttaratkaisu tarjoaa ennakoivaa analytiikkaa ja malleja tulevaisuudesta. Tällöin ohjelmaan koodataan älykkyyttä, jossa informaation keskinäisiä suhteita on määritelty joko tiedon louhintaa tai tilastollisia analyysejä hyödyntäen. Tutkimuksen johtopäätöksenä voidaan todeta, että location intelligence pystyy tarjoamaan lisäarvoa strategisen päätöksenteon tueksi, mikäli yritykselle on hyödyllistä ymmärtää eri ilmiöiden, asiakastarpeiden, kilpailijoiden ja markkinamuutoksien maantieteellisiä eroavaisuuksia. Parhaimmillaan location intelligence -ratkaisu tarjoaa luotettavan analyysin, jossa tieto välittyy muuttumattomana päätöksentekijältä toiselle ja johtopäätökseen johtaneita syitä on mahdollista palata tarkastelemaan tarvittaessa uudelleen.

Recovery of carboxylic acids from aqueous streams by extraction and back extraction

Separation of carboxylic acids from aqueous streams is an important part of their manufacturing process. The aqueous solutions are usually dilute containing less than 10 % acids. Separation by distillation is difficult as the boiling points of acids are only marginally higher than that of water. Because of this distillation is not only difficult but also expensive due to the evaporation of large amounts of water. Carboxylic acids have traditionally been precipitated as calcium salts. The yields of these processes are usually relatively low and the chemical costs high. Especially the decomposition of calcium salts with sulfuric acid produces large amounts of calcium sulfate sludge. Solvent extraction has been studied as an alternative method for recovery of carboxylic acids. Solvent extraction is based on mixing of two immiscible liquids and the transfer of the wanted components form one liquid to another due to equilibrium difference. In the case of carboxylic acids, the acids are transferred from aqueous phase to organic solvent due to physical and chemical interactions. The acids and the extractant form complexes which are soluble in the organic phase. The extraction efficiency is affected by many factors, for instance initial acid concentration, type and concentration of the extractant, pH, temperature and extraction time. In this paper, the effects of initial acid concentration, type of extractant and temperature on extraction efficiency were studied. As carboxylic acids are usually the products of the processes, they are wanted to be recovered. Hence the acids have to be removed from the organic phase after the extraction. The removal of acids from the organic phase also regenerates the extractant which can be then recycled in the process. The regeneration of the extractant was studied by back-extracting i.e. stripping the acids form the organic solution into diluent sodium hydroxide solution. In the solvent regeneration, the regenerability of different extractants and the effect of initial acid concentration and temperature were studied.

Tavanomaisen irtaimen esineen sale and lease back -järjestely. Tarkastelussa erityisesti vuokralleottajan sivullissuoja.

Tutkielman aiheena on tavanomaisen irtaimen esineen sale and lease back -järjestely. Järjestelyyn kuuluu nimensä mukaisesti luovutus ja takaisinvuokraus. Kokonaisjärjestelyn avulla rahoittaja ja luotonsaaja pyrkivät luomaan luotonmaksun vakuudeksi omistusoikeuteen perustuvan esinevakuuden. Järjestelyn tavoitteena on, että luotonsaajan asemassa oleva myyjä pystyisi käyttämään samaa esinettä samanaikaisesti sekä va-kuusobjektina että elinkeinotoimintansa tuotantovälineenä. Juuri siitä syystä, että luo-tonsaaja tarvitsee esinettä koko ajan elinkeinotoiminnassaan, ei panttausta voida käyttää. Tutkielma on oikeusdogmaattinen ja sen pyrkimyksenä on antaa selkeä kokonaiskäsitys irtaimen esineen sale and lease back -järjestelystä ja sen käytettävyydestä vakuusjärjestelynä. Oikeusdogmaattiselle tutkimukselle tyypillisesti tutkielmassa tarkastellaan olemassa olevaa tietomateriaalia. Keskeisimmät tutkielmassa käytetyt kirjallisuuslähteet ovat Jarno Teporan useat sale and lease back -järjestelyyn keskittyvät artikkelit, Jarmo Tuomiston omistusvakuuksia koskeva kirjallisuus sekä Erkki Havansin esineoikeudellinen perusteos Esinevakuudet. Virallislähteistä selvästi merkittävimmät ovat vuonna 1997 voimaantullut maakaari ja sen esityöt. Tutkimuksessa keskitytään erityisesti vuokralleottajan sivullissuojaan. Näin ollen tärkeimmäksi tutkimuskysymykseksi jäsentyy se, voiko sale and lease back -järjestelyssä ostajan roolissa oleva sijoittaja tai rahoittaja saavuttaa järjestelyn avulla kollisiotilanteiden varalta turvaavan vakuusaseman. Tutkimuksen kannalta keskeinen omistusvakuus-järjestely on vakuusluovutus, jollaiseksi vakuustarkoituksessa tehty sale and lease back -järjestely melko vakiintuneesti tulkitaan. Tutkimuksessa tarkastellaan mahdollisuutta hyväksyä sale and lease back -järjestely rahoittajalle dynaamista kollisiosuojaa tarjoavaksi vakuusjärjestelyksi ilman julkivarmistusta. Toisaalta selvitetään julkivarmistuksen toteuttamisen mahdollisuutta ilman hallinnansiirtoa muun muassa maakaaren 14:4.1:n 1 kohdan mukaisen kirjaamisen avulla. Nykylainsäädännön puitteissa järjestelyn hyväksyminen itsenäiseksi omistusvakuudeksi näyttää olevan epätodennäköistä ja ilman julkivarmistusta dynaaminen sivullissuoja jää saavuttamatta, vaikka järjestely on sitova inter partes. Tutkimuksen loppupäätelmissä pohditaan, voisiko sale and lease back -järjestelyyn liittyviä ongelmia ratkaista muuttamalla voimassa olevaa lainsäädäntöä tai antamalla täysin uutta lainsäädäntöä. Asiaa pohditaan myös oikeusvertailun keinoin selvittäen muiden Pohjoismaiden sekä Saksan oikeusjärjestelmien kantaa järjestelyyn.