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.

Flexible multibody dynamics and intelligent control of a hydraulically driven hybrid redundant robot machine

The assembly and maintenance of the International Thermonuclear Experimental Reactor (ITER) vacuum vessel (VV) is highly challenging since the tasks performed by the robot involve welding, material handling, and machine cutting from inside the VV. The VV is made of stainless steel, which has poor machinability and tends to work harden very rapidly, and all the machining operations need to be carried out from inside of the ITER VV. A general industrial robot cannot be used due to its poor stiffness in the heavy duty machining process, and this will cause many problems, such as poor surface quality, tool damage, low accuracy. Therefore, one of the most suitable options should be a light weight mobile robot which is able to move around inside of the VV and perform different machining tasks by replacing different cutting tools. Reducing the mass of the robot manipulators offers many advantages: reduced material costs, reduced power consumption, the possibility of using smaller actuators, and a higher payload-to-robot weight ratio. Offsetting these advantages, the lighter weight robot is more flexible, which makes it more difficult to control. To achieve good machining surface quality, the tracking of the end effector must be accurate, and an accurate model for a more flexible robot must be constructed. This thesis studies the dynamics and control of a 10 degree-of-freedom (DOF) redundant hybrid robot (4-DOF serial mechanism and 6-DOF 6-UPS hexapod parallel mechanisms) hydraulically driven with flexible rods under the influence of machining forces. Firstly, the flexibility of the bodies is described using the floating frame of reference method (FFRF). A finite element model (FEM) provided the Craig-Bampton (CB) modes needed for the FFRF. A dynamic model of the system of six closed loop mechanisms was assembled using the constrained Lagrange equations and the Lagrange multiplier method. Subsequently, the reaction forces between the parallel and serial parts were used to study the dynamics of the serial robot. A PID control based on position predictions was implemented independently to control the hydraulic cylinders of the robot. Secondly, in machining, to achieve greater end effector trajectory tracking accuracy for surface quality, a robust control of the actuators for the flexible link has to be deduced. This thesis investigates the intelligent control of a hydraulically driven parallel robot part based on the dynamic model and two schemes of intelligent control for a hydraulically driven parallel mechanism based on the dynamic model: (1) a fuzzy-PID self-tuning controller composed of the conventional PID control and with fuzzy logic, and (2) adaptive neuro-fuzzy inference system-PID (ANFIS-PID) self-tuning of the gains of the PID controller, which are implemented independently to control each hydraulic cylinder of the parallel mechanism based on rod length predictions. The serial component of the hybrid robot can be analyzed using the equilibrium of reaction forces at the universal joint connections of the hexa-element. To achieve precise positional control of the end effector for maximum precision machining, the hydraulic cylinder should be controlled to hold the hexa-element. Thirdly, a finite element approach of multibody systems using the Special Euclidean group SE(3) framework is presented for a parallel mechanism with flexible piston rods under the influence of machining forces. The flexibility of the bodies is described using the nonlinear interpolation method with an exponential map. The equations of motion take the form of a differential algebraic equation on a Lie group, which is solved using a Lie group time integration scheme. The method relies on the local description of motions, so that it provides a singularity-free formulation, and no parameterization of the nodal variables needs to be introduced. The flexible slider constraint is formulated using a Lie group and used for modeling a flexible rod sliding inside a cylinder. The dynamic model of the system of six closed loop mechanisms was assembled using Hamilton’s principle and the Lagrange multiplier method. A linearized hydraulic control system based on rod length predictions was implemented independently to control the hydraulic cylinders. Consequently, the results of the simulations demonstrating the behavior of the robot machine are presented for each case study. In conclusion, this thesis studies the dynamic analysis of a special hybrid (serialparallel) robot for the above-mentioned special task involving the ITER and investigates different control algorithms that can significantly improve machining performance. These analyses and results provide valuable insight into the design and control of the parallel robot with flexible rods.

The Relationship of Organizational Culture, Employee Motivation and Innovativeness: Evidence from Finnish Technology Industries

The purpose of this thesis is to analyze the effects of tangible and intangible incentives on the dimensions of motivation and organizational innovativeness in the context of different organizational cultures. Theory suggests that an antecedent of innovativeness is individual creativity of employees, which is influenced by intrinsic motivation, flexible organizational structures, and transformational leadership. Empirical evidence for this research is derived from 424 respondents representing technology-driven industries in Finland. Data is collected through an online questionnaire and analyzed using SPSS statistics software. The results imply that intangible incentives and intrinsic motivation have an important role in determining organizational innovativeness. The positive relationships of intangible incentives, intrinsic motivation and innovativeness seem to be higher in flexible organizational cultures. As practical implications, managers should foster flexible organizational cultures that highlight employee empowerment. The motivating power of non-financial intrinsic incentives and recognition of good work should not be undermined when compared to tangible monetary rewards.

Issues with Fedora & Hydra, experiences from a research-data-driven implementation

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Memoria virtualis - death and mourning rituals in online environments

The main objective of this work has been to understand the ritual aspect of how private people use the Internet to mourn and honor their intimates in various online environments. The research material was compiled in 2007–2013 through ethnographic and autoethnographic observations in social media applications, online memorial websites, one shared virtual environment (Second Life) and one massive multi-player online role-playing game (World of Warcraft). The research material consists of – in addition to the ethnographic observations – three online surveys with 153 respondents (mainly from Finland, the United States and the United Kingdom). In addition, the researcher conducted 38 longer online interviews (i.e. via email, an avatar). The theoretical framework is derived from ritual theory, hermeneutic-phenomenological anthropology and discourse analysis. The research questions are as follows: Why are death rituals practiced in online environments? How are virtual memorials created in various online environments? What kind of systems of meanings are virtual memorials constructed from? The results indicate that online mourning and honoring is appropriated in addition to the “traditional” offline rituals. In online environments the bereaved can choose, where, when, how and with whom they share their grief and loss. Memorials are created in the web intentionally and unintentionally, where the latter refers inter alia to the Facebook profile of the deceased where his/her intimates gather to mourn and honor immediately after the death. The first refers to intentionally memorialized online places spaces via different service providers. Virtual memorials are a way to construct the identity of the deceased, as well as the bereaved in multiple ways. They also re-enforce and create a sense of communality both privately and publicly, and enable one meaningful online place where all the intimates of the deceased can gather together to mourn and honor despite the geographical or time distances. Tämä väitöstutkimus tarkastelee miten nykyiset kuolemanrituaalit ovat digitalisoituneet verkkoympäristöihin. Tutkimus on suoritettu verkkoetnografisin sekä autoetnografisin menetelmin sosiaalisen median sivustoilla, virtuaalimuistomerkkipalveluissa, yhdestä virtuaalimaailmassa (Second Life) sekä yhdestä reaaliaikaisessa verkkopelissä (World of Warcraft) vuosina 2007–2013. Tutkimusaineisto koostuu etnografisten havainnointien lisäksi kolmesta verkkokyselystä, joissa vastaajia on yhteensä 153 pääasiassa Suomesta, Yhdysvalloista sekä Iso-Britanniasta. Kyselyjen lisäksi tutkija on tehnyt myös 38 laajempaa verkkohaastattelua eri ympäristöissä (esim. sähköposti, avatar virtuaalimaailmassa). Teoreettinen kehys koostuu rituaaliteoriasta, hermeneuttis-phenomenologiasta sekä diskurssianalyysista. Tutkimuskysymykset ovat seuraavat: miksi kuolemanrituaaleja harjoitetaan verkkoympäristöissä, miten virtuaalisia muistomerkkejä luodaan verkkoon, sekä millaisista merkitysjärjestelmistä virtuaaliset muistomerkit muodostuvat? Tutkimustulosten mukaan verkkosureminen ja muistaminen ovat tulleet perinteisten kuolemanrituaalien rinnalle, jolloin sureva itse voi päättää miten, missä, milloin sekä kenen kanssa suree läheistään. Muistomerkkejä verkkoon luodaan suunnitellusti (intentional) sekä suunnittelemattomasti (unintentional), jolloin jälkimmäinen viittaa esimerkiksi edesmenneen Facebook profiiliin, missä hänen läheisensä kokoontuvat muistelemaan ja suremaan välittömästi kuoleman jälkeen. Ensimmäinen taas viittaa suunnitelmalliseen muistomerkin luomiseen, jota varten löytyy useita palveluntarjoajia. Virtuaalimuistomerkit ovat keino rakentaa sekä edesmenneen että surevan identiteettiä, vahvistaa ja luoda yhteisöllisyyttä niin yksityisesti kuin julkisesti, sekä luoda yksi yhteinen aina ja kaikkialta saavutettavissa oleva merkityksellinen paikka verkkoon, missä kaikki läheiset voivat ajasta ja paikasta riippumatta muistella ja surra läheistään.

Factors Affecting Customer Profitability: a Bibliometric Study

The first objective of the thesis is to find out which factors impact on customer profitability has been studied in scientific articles. The second objective is to find out the main authors and publishers from the subject area. Expectations were to find factors from marketing and management accounting literature, but this study did not succeed to gather management accounting perspective on the subject area. This study used bibliometric methods. The data for this study was collected manually from Scopus and Web of Science databases. Search words resulted 770 articles and from those 82 were included to further analyze. Descriptive analysis, citation analysis and content analysis were made. Bibexcel and Pajek software were used in this study. Publication activity was concentrated on years 2004-2013. The most productive author around the subject area is Kumar Vipin from Georgia State University (USA). A multiple customer profitability factors were identified. A lot of research was made for example about satisfaction, relationship duration, loyalty, marketing actions and customer equity drivers. The research is concentrated on service sector. The results are suggesting that there are research gaps in business-to-business and manufacturing sector.

The Role of Non-Coercive Influence Tactics in Online Marketing

This thesis examines the effectiveness of non-coercive influence tactics in the context of consumer online behaviour. The objective of this study is to develop a comprehensive understanding of consumer online behaviour and the role of information types in affecting the consumer’s cognitive responses and behavioural outcomes. The theoretical part of the study examines the academic literature on consumer online behaviour and influence tactics used both in traditional buyer/seller relationships as well as in relationships mediated by online technologies. The empirical part of the study is carried out with four experiments that utilise non-coercive influence tactics to affect online consumer behaviour. The consumers included in this study are 18-28 year-old structural and civil engineering students in Finland, United Kingdom, United States and India. The findings suggest that non-coercive influence tactics are applicable in the online marketing context and generate cognitive responses of site awareness, site involvement and exploratory behaviour which subsequently results in behavioural outcomes of compliance, eWOM and site abandonment.

The Pay-Off Method as a Tool for Evaluating the Risk and Profitability of Public Real Estate Investments

Real option valuation, in particular the fuzzy pay-off method, has proven to be useful in defining risk and visualizing imprecision of investments in various industry applications. This study examines whether the evaluation of risk and profitability for public real estate investments can be improved by using real option methodology. Firstly, the context of real option valuation in the real estate industry is examined. Further, an empirical case study is performed on 30 real estate investments of a Finnish government enterprise in order to determine whether the presently used investment analysis system can be complemented by the pay-off method. Despite challenges in the application of the pay-off method to the case company’s large investment base, real option valuation is found to create additional value and facilitate more robust risk analysis in public real estate applications.

Kolmen hyvinvointiaseman toimintakustannusten määritys Etelä-Karjalassa

Työn tavoitteena oli tutkia, millä tavalla perusterveydenhuollon perinteisestä terveysasemamallista hyvinvointiasemamalliin siirtyminen vaikuttaa sosiaali- ja terveyspalvelujen tarjonnan kustannuksiin, mikäli vaikutus on havaittavissa. Toisaalta tavoitteena oli kartoittaa, millä keinoilla hyvinvointiasemien kustannustehokkuutta voitaisiin parantaa tulevaisuudessa ja mitä kustannushyötyjä tiiviimmällä sosiaali- ja terveystoimen yhteistyöllä on mahdollista saavuttaa. Tutkimuksessa käsiteltiin terveyden ja hyvinvoinnin edistämisen roolin merkitystä perusterveydenhuollossa, sähköistä asiointipalveluja ja terveydenhuollon ammattiryhmien välistä työnjakoa sekä edelleen, miten näillä voidaan vaikuttaa tuottavuuteen ja vaikuttavuuteen. Havaittiin, että sähköisellä asioinnilla ja työnjaolla on selkeä yhteys kustannuksiin. Työn empiirisessä osassa tarkasteltiin kolmea hyvinvointiasemamallin pilottihankkeessa mukana olevaa asemaa Lauritsalassa, Lemillä ja Ruokolahdella. Kustannusten tarkastelu keskittyi henkilöstö- ja tilakustannuksiin. Tutkittiin myös, miten sähköinen asiointi ja Eksoten alueen puhelinpalvelujen keskittäminen vaikuttaa edellä mainittuihin kustannuseriin. Tutkimuksen tuloksina havaittiin, että hyvinvointiasemamallin pilotointi ei ole tutkittavilla asemilla merkittävästi vaikuttanut kustannuksiin henkilöstön osalta; tilakustannukset olivat pienentyneet Lemillä ja Ruokolahdella. Laskelmien perusteella muodostettujen tavoitteiden mukaisesti on hyvinvointiasemilla kuitenkin pyrittävä vähintään noin 14 % tai enintään 32 % säästöön henkilöstö- ja tilakustannuksissa pilottivaiheen kustannuksiin verrattuna. Tulevaisuudessa olennaiseksi kustannusten hallinnan edellytykseksi havaittiin työnjaon muuttaminen hoitajavetoisemmaksi ja sähköisten asiointipalvelujen lisääntyvä tarjonta. Sähköisten asioinnin lisääntyvällä käytöllä on mahdollista vähentää hoitohenkilöstön tarvetta kokonaisuudessaan. Sekä sähköisen asioinnin käytön lisäämisellä että puhelinpalvelujen keskittämisellä tulevaisuudessa havaittiin olevan huomattava vaikutus henkilöstöresurssien käyttöön ja edelleen kustannustehokkuuteen.

Communicating trustworthiness in online stores

Even though e-commerce systems are expected to have many advantages compared to the traditional ways of doing business, it is not always the reality. Lack of trust is still said to be one of the most important barriers to online shopping. In traditional stores, trust has usually been established in a direct contact between the customer and the company or its personnel. In online stores, there is no direct interaction. The purpose of this thesis is to identify the key antecedents to online trust and to distinguish between effective and ineffective practices. A model on how consumers establish initial trust towards an unknown online vendor was proposed based on previous theories. The model was tested empirically by targeting an online survey at higher degree students in Finland and in Germany. The data confirmed the proposed view that trusting intentions are affected by individual characteristics, characteristics of the company as well as characteristics of the website. Additionally national differences were found between Finnish and German respondents. The data suggested that online vendors can convey a message of trustworthiness by improving information quality and overall usefulness of the website. Perceived risk of online shopping was found to depend especially on general trust in the Internet, service quality and ease of use. A trustworthy online store should include several payment methods as well as means to access and modify given data. The vendors should also make sure that inquiries are addressed quickly, transactions are confirmed automatically and that customers have a possibility to track their order. A model that includes three different sources of trust should contribute to the theoretical understanding of trust formation in online stores. The resulting list of trust antecedents can also be used as a checklist when e-commerce practitioners wish to optimize the trust building.

Understanding Online Game Players' Post-adoption Behavior: an Investigation of Social Network Games in China

Retaining players and re-attracting switching players has long been a central topic for SNG providers with regard to the post-adoption stage of playing an online game. However, there has not been much research which has explored players’ post-adoption behavior by incorporating the continuance intention and the switching intention. In addition, traditional IS continuance theories were mainly developed to investigate users’ continued use of utilitarian IS, and thus they may fall short when trying to explain the continued use of hedonic IS. Furthermore, compared to the richer literature on IS continuance, far too little attention has been paid to IS switching, leading to a dearth of knowledge on the subject, despite the increased incidence of the switching phenomenon in the IS field. By addressing the limitations of prior literature, this study seeks to examine the determinants of SNG players’ two different post-adoption behaviors, including the continuance intention and the switching intention. This study takes a positivist approach and uses survey research method to test five proposed research models based on Unified Theory of Acceptance and Use of Technology 2; Use and Gratification Theory; Push-Pull-Mooring model; Cognitive Dissonance Theory; and a self-developed model respectively with empirical data collected from the SNG players of one of the biggest SNG providers in China. A total of 3919 valid responses and 541 valid responses were used to examine the continuance intention and the switching intention, respectively. SEM is utilized as the data analysis method. The proposed research models are supported by the empirical data. The continuance intention is determined by enjoyment, fantasy, escapism, social interaction, social presence, social influence, achievement and habit. The switching intention is determined by enjoyment, satisfaction, subjective norms, descriptive norms, alternative attractiveness, the need for variety, change experience, and adaptation cost. This study contributes to IS theories in three important ways. Firstly, it shows IS switching should be included in IS post-adoption research together with IS continuance. Secondly, a modern IS is usually multi-functional and SNG players have multiple reasons for using a SNG, thus a player’s beliefs about the hedonic, social and utilitarian perceptions of their continued use of the SNG exert significant effects on the continuance intention. Thirdly, the determinants of the switch ing intention mainly exert push, pull, and mooring effects. Players’ beliefs about their current SNG and the available alternatives, as well as their individual characteristics are all significant determinants of the switching intention. SNG players combine these effects in order to formulate the switching intention. Finally, this study presents limitations and suggestions for future research.

Launch communications best practices: Online newspaper paywall context

The goal of the thesis is to identify the best practices of marketing communications in the context of online newspaper paywall launch. Theoretical point of views emphasize the value for the customer as an antecedent for a workable value proposition and marketing communications. Value-based communications contribute to the customer loyalty. The empirical evidence for this benchmark study was collected in seven company interviews. These firms represented several kinds of Finnish newspaper companies which had recently gone through the paywall launch and launch communications process. The results imply that there are multiple factors influencing on launch communications choices. However, recommendations can be drawn based on the common practices. The main managerial results were that the companies should utilize the online newspaper content and usage value as the core of the launch message, target both new and current readers and use multiple online and offline communications channels to reach the target audience. The launch communications message should be started with the emotional appeal, complemented with the more informative message later.

Online peer to peer lending: clustering borrowers using self-organizing maps

The purpose of this thesis is to find out whether all the peer to peer lenders are unworthy of credit and also if there are single qualities or combinations of qualities that determine the probability of default of a person or group of people. Distinguishing qualities are searched with self-organizing maps (SOM). Qualities and groups of people found by the self-organizing map are then compared to the average. The comparison is carried out by looking how big proportion of borrowers meeting the criteria is two months or more behind with their payments. Research data used is collected by an Estonian peer to peer lending company during the years of 2011-2014. Data consists of peer to peer borrowers and information gathered from them.

Molecular mimicry between cardiac myosin and Trypanosoma cruzi antigen B13: identification of a B13-driven human T cell clone that recognizes cardiac myosin

Previous reports from our group have demonstrated the association of molecular mimicry between cardiac myosin and the immunodominant Trypanosoma cruzi protein B13 with chronic Chagas' disease cardiomyopathy at both the antibody and heart-infiltrating T cell level. At the peripheral blood level, we observed no difference in primary proliferative responses to T. cruzi B13 protein between chronic Chagas' cardiopathy patients, asymptomatic chagasics and normal individuals. In the present study, we investigated whether T cells sensitized by T. cruzi B13 protein respond to cardiac myosin. T cell clones generated from a B13-stimulated T cell line obtained from peripheral blood of a B13-responsive normal donor were tested for proliferation against B13 protein and human cardiac myosin. The results showed that one clone responded to B13 protein alone and the clone FA46, displaying the highest stimulation index to B13 protein (SI = 25.7), also recognized cardiac myosin. These data show that B13 and cardiac myosin share epitopes at the T cell level and that sensitization of a T cell with B13 protein results in response to cardiac myosin. It can be hypothesized that this also occurs in vivo during T. cruzi infection which results in heart tissue damage in chronic Chagas' disease cardiomyopathy